Wyniki wyszukiwania - BazTech

1

Automatic bridge between BPMN models and UML activity diagrams based on graph transformation

Rahmoune Yasmina, Chaoui Allaoua

Computer Science

|

2022

|

T. 23 (3)

411--445

EN

Model-driven engineering (MDE) provides the available tools, concepts, and languages for creating and transforming models. One of the most important successes of MDE is model transformation; it permits the transformion of models that are used by one community to equivalent models that can be used by another one. Moreover, each community of developers has its own tools for verification, testing, and test-case generation. Hence, a developer of one community who moves to another community needs a transformation process from the second community to his/her own community and vice versa. Therefore, the target community can benefit from the expertise of the source one, and the developers do not begin from zero. In this context, we propose an automatic transformation in this paper for creating a bridge between the BPMN and UML communities. We propose an approach and a visual tool for the automatic transformation of BPMN models to UML activity diagrams (UML-AD). The proposed approach is based on meta-modeling and graph transformation and uses the AToM3 tool. Indeed, we were inspired by the OMG meta-models of BPMN and UML-AD and implemented versions of both meta-models using AToM3 . This latter one allows for the automatic generation of a visual-modeling tool for each proposed meta-model. Based on these two meta-models, we propose a graph grammar that is composed of 58 rules that perform the transformation process. The proposed approach is illustrated through three case studies.

2

Simulation of the CDMM-P Paradigm-Driven Meta-Modeling Process

Zabawa P.

Technical Transactions

|

2017

|

Vol. 4(114)

143--153

EN

This article presents a simulation of the process of meta-model creation. The meta-model (modeling language) is created according to the Context-Driven Meta-Modeling Paradigm (CDMM-P) with the help of its implementation – Context-Driven Meta-Modeling Framework (CDMM-F). The simulation process may be applied to meta-model creation in an evolutionary approach to meta-modeling or may be used to check correctness of the meta-model, or to test the CDMM-F framework. This paper is focused on the verification and testing mentioned above.

PL

Artykuł prezentuje symulację procesu tworzenia meta-modelu. Metamodel ten (język modelowania) tworzony jest zgodnie z paradygmatem Context-Driven Meta-Modeling Paradigm (CDMM-P) z wykorzystaniem szkieletu (framework) stanowiącego jego implementację – Context-Driven Meta-Modeling Framework (CDMM-F). Proces symulacji może być zastosowany do tworzenia metamodeli zgodnie z podejściem ewolucyjnym do metamodelowania albo może być stosowany do weryfikowania poprawności metamodeli lub do testowania CDMM-F. Niniejszy artykuł koncentruje się na wspomnianym weryfikowaniu i testowaniu.

3

Software engineering standardization shift for enterprise systems development process

Zabawa P.

Information Systems in Management

|

2016

|

Vol. 5, No. 4

593--604

EN

The paper is focused on the processes of software development of enterprise systems. It is related to the new concept of software development paradigm named Context-Driven Meta-Modeling Paradigm (CDMM-P) introduced by the author. The CDMM-P can be applied to define modeling or meta-modeling languages, to construct enterprise systems data layer. The CDMM-P concept is based on application open ontologies in the form composed of notions characteristic for software engineering and it constitutes the first implementation and the first application of open ontologies in software engineering domain. The paper presents the concept of a shift of existing OMG standardization approach. It explains why the CDMM-P graph representation and its API should be the subject of standardization in place of MOFbased close ontology structures.

4

Meta-Modeling and Automatic Code Generation for Computer Aided Development of Logic Control Systems

Scopchanov M., Pietrusewicz K., Hristoskov H.

Pomiary Automatyka Robotyka

|

2015

|

R. 19, nr 4

27--32

EN

This article discusses some aspects of the computer aided development of logic control systems, namely the creation of a meta-model, a domain specific language serving as a base for the system modeling, as well as the formal rules for automatic transformation of the models designed by the experts using this meta-model into simulation models, a source PLC code and the relevant documentation. The problem is defined and proved as important from the point of view of the contemporary industrial software development in order to achieve more readable designs, which are later easier to be modified, to shorten the system development time, to obtain a fast proof-of-concept and to lessen the possibility of having errors in the design. Furthermore, some directions are pointed out regarding the possible future extension of the used techniques towards automatic testing and validation of the developed logic control systems.

PL

W artykule omówiono wybrane aspekty rozwoju komputerowego wspomagania systemów sterowania logicznego, a mianowicie: utworzenie meta-modelu oraz języka konkretnego obszaru zastosowań, będącego podstawą do modelowania systemu, jak i formalnych zasad automatycznego przekształcenia modeli zaprojektowanych przez ekspertów za pomocą meta-modelu do modeli symulacyjnych, kodu źródłowego dla sterowników PLC oraz odpowiedniej do potrzeb dokumentacji. W artykule zaprezentowana jego istotność z punktu widzenia tworzenia współczesnego oprogramowania przemysłowego, w celu osiągnięcia bardziej czytelnych wzorów, które następnie mogą być prosto modyfikowane, co przyczynia się do skrócenia czasu opracowania systemu, uzyskania tak zwanego proof-of-concept w krótkim czasie tak, aby zminimalizować występowanie błędów w projekcie. Ponadto, niektóre kierunki są wskazane w odniesieniu do ewentualnego przyszłego rozszerzenia zakresu stosowanych technik do celów automatycznego testowania i walidacji opracowanych systemów sterowania logicznego.