Keywords:
Astract: As the approach of Model-Driven Engineering (MDE) is becoming mainstream in modern software development practices, there is a growing variety of tools to support the lifecycle of modeling artifacts. Standards such as Meta-Object Facility (MOF) defined by the Object Management Group (OMG) help to avoid information loss when trying to integrate multiple modeling tools across their technical boundaries. The Eclipse-based modeling tool SERAPIS by Sphinx IT Consulting defines a proprietary meta-language which is not compliant to MOF or any other modeling standard. As a consequence, metamodels specified in this meta-language and therefore also the instantiations of these metamodels cannot be interchanged with existing tools based on standards such as MOF which results in a vendor-lock for customers. The contribution of this master thesis is to develop a transformation approach allowing to translate metamodels and models from the SERAPIS technical space to the Eclipse Modeling Framework (EMF), which employs the meta-language Ecore as the de facto standard corresponding to MOF. The strategy to achieve this is based on an approach presented in the Ph.D. thesis by Dr. Manuel Wimmer who suggests a semi-automatic transformation for metamodels by mapping the corresponding meta-languages. Moreover, we specialize this approach to also enable the automatic transformation of SERAPIS models based on the mappings of their metamodels. The transformation approach developed in this work is implemented in the Eclipse IDE in order to prove its feasibility and to evaluate the generated results.

Keywords:

Keywords:
Astract: Business Process Management (BPM) has gained significant adoption in practice for enabling organizations to increase their effectiveness, efficiency, and flexibility. This broad adoption has not only been fostered by a rich and wellestablished theory to model, analyze, simulate, and enact business processes, but also by internationally accepted standards and mature technologies. Caused by the ever increasing speed and volatility of markets and the dynamics of new technologies, such as cloud infrastructures and mobile communications, we face a new generation of business processes, which we refer to as living inter-organizational processes. Such processes are not in control of one single organization; instead, they are enacted by multiple organizations, where no participating party possesses full control over the entire process. Such processes often involve a high number of actors that might even be unknown in advance. These actors require various degrees in participation, they are acting in heterogeneous environments. Moreover, such processes are often weakly structured or designed in an ad-hoc manner, and have to be continuously subject to evolution. Unfortunately, existing theories, methodologies, and technologies cannot cope with this challenging combination of aspects, which all have to be considered when dealing with living inter-organizational processes. The state of the art typically addresses singular aspects in isolation. However, a holistic approach to these challenges bears a tremendous potential. This paper aims to contribute towards a holistic approach to living inter-organizational processes. To this end, we describe different perspectives on inter-organizational processes and identify challenges for making them living processes.

Keywords:

Keywords:
Astract: In model-driven engineering (MDE), models constitute the main development artifacts. As a consequence, their quality significantly affects the quality of the final product. Thus, adequate techniques are required for ensuring the quality of models. We present a testing framework, comprising a test specification language and an interpreter, for validating the functional correctness of UML activities. For this purpose, we utilize the executability of a subset of UML provided by the fUML standard. As UML activities are employed for different purposes, from high-level process specifications to low-level object manipulations, the proposed testing framework not only allows to validate the correctness in terms of input/output relations, but also supports testing intermediate results, as well as the execution order of activity nodes. First experiments indicate that the proposed testing framework is useful for ensuring the correct behavior of fUML activities.