The paper proposes a more formalized definition of UML 2.0 activity diagram semantics. A subset of activity diagram constructs relevant for business process modeling is considered. The semantics definition is based on the original token flow methodology, but a more constructive approach is used. The activity diagram virtual machine is defined by means of a… (More)
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-based transformation rules. The key language element is a graphical loop concept. The main goal of MOLA is to describe model transformations in a natural and easy readable way.
Tim Berners-Lee and co-authors in their seminal paper " The Semantic Web " , published in 2001, outlined their vision about the future Semantic Web. But today we are still far from the implementation of this vision. Despite fundamental achievements, like definition of OWL (Web Ontology Language) and rapid progress of RDF/OWL content creation, storage and… (More)
This paper provides a solution to the mandatory transformation example specified in MOLA – a graphical model transformation language developed at the University of Latvia. The solution is validated by executing it via the MOLA execution environment on several examples. In addition, a solution to one of the optional examples – determinization of a… (More)
Efficiency of pattern matching for MOLA model transformation language is analyzed in the paper. A virtual machine and pattern matching procedure based on it is proposed, which takes into account the specific requirements for efficient pattern matching in MOLA. On the basis of a typical MDA example it is shown that the proposed solution is optimal and the… (More)
Nowadays, more and more issues need to be considered when implementing tools for domain specific languages with an orientation to the business process management. It is not enough to build just an editor for the language, various specific services need to be provided as well. In this paper, we describe our approach how to develop new domain specific… (More)
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest possibility of wide practical usage-UML Activity diagrams (AD) and Business Process Modeling Notation (BPMN). The necessary in practice workflow aspects are briefly discussed, and… (More)
The paper offers basic elements of a new graphical model transformation language MOLA. The language combines the traditional structured programming with pattern-based transformation rules, the key element being a natural loop construct. The prime goal of MOLA is to provide a natural and highly readable representation of model transformation algorithms.