Keywords:
Astract: Current optimistic model versioning systems, which are indispensable to coordinate the collaboration within teams, are able to detect several kinds of conflicts between two concurrently modified versions of one model. These systems support the detection of syntactical problems such as contradicting changes, violations of the underlying metamodel, and violations of OCL constraints. However, violations of the models' semantics remain unreported. In this paper, we suggest to use redundant information inherent in multi-view models to check if the semantics is violated during the merge process. In particular, we exploit the information encoded in state machine diagrams to validate evolving sequence diagrams by means of the model checker SPIN.

Keywords:

Keywords:
Astract: With the emergence of model-driven engineering (MDE), software models are considered as central artifacts in the software engineering process, going beyond their traditional use as sketches. In MDE, models rather act as the single source of information for automatically generating executable software. This shift poses several new research challenges. One of these challenges constitutes model versioning, which targets at enabling efficient team-based development of models. This compelling challenge induced a very active research community, who yielded remarkable methods and techniques ranging from model differencing to merging of models. In this tutorial, we give an introduction to the foundations of model versioning, the underlying technologies for processing models and their evolution, as well as the state of the art in model versioning. Thereby, we aim at equipping students and researchers alike that are new to this domain with enough information for commencing to contribute to this challenging research area.

Keywords:
Astract: In this paper we present the ERPEL approach towards executing on-the-fly e-business transactions between semantically enabled ERP systems. By on-the-fly e-business transactions we understand transactions that are conducted between companies, that are not yet in a partnership and dynamically find each other to engage in e-business transactions. Finding an appropriate business partner requires to know his business capabilities or in other words which products or services he offers. For this purpose, we develop a seamless integration of the product portfolios, held in the ERP systems, into the ERPEL registry. A search in the registry has to disclose the technical capabilities of a potential business partner to ensure interoperability. Overloaded business document standards and a variety of different communication protocols hamper an effective communication between enterprises. Thus, ERPEL follows a bottom-up approach starting from core documents with well-defined extension mechanisms. Furthermore, ERPEL comes with a default communication protocol specifically targeting SMEs. These unambiguous specifications allow the development of business service interfaces (BSI) that are integrated into the ERP systems.

Keywords:
Astract: The development of software in accordance with the model-driven engineering paradigm places model transformations at a central position. Desirable yet contradicting properties of model transformations are user-friendliness as offered by by-demonstration approaches and formal conciseness as provided by algebraic graph transformations which is indispensable for verification tasks. In this paper, we show how to unite the properties of the two different approaches. We employ the state-of-the-art by-demonstration environment EMO to prototype graph transformations by embedding the operations obtained from EMO in the formal framework of graph transformation theory.