Authors:
Lujain Al-Dakheel
and
Issam Al-Azzoni
Affiliation:
King Saud University, Saudi Arabia
Keyword(s):
Component Allocation, Coloured Petri Nets, Unified Modeling Language, Model-Driven Engineering, Embedded Systems, Heterogeneous Systems, Model-to-Model Transformation.
Related
Ontology
Subjects/Areas/Topics:
Methodologies, Processes and Platforms
;
Model Transformation
;
Model Transformations and Generative Approaches
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Software Engineering
Abstract:
Due to the popularity and heterogeneity of embedded systems, the problem of software component (SW-component) allocation in such systems is receiving increasing attention. Addressing this problem using a graphical modeling language such as Ecore will enable system designers to better and more easily allocate their components. However, the existing Ecore models do not address the problem of SW-component allocation in heterogeneous embedded systems. Because of Ecore informal semantics, Ecore models cannot be analyzed using mathematical tools. On the other hand, an approach based on colored Petri nets (CPNs) was proposed for the modeling and analysis of the software component allocation problem. The approach was shown to be applicable in the field not only with respect to the cost optimization problem, but also because it takes nonfunctional requirements into consideration. In this paper, we propose an approach for the automated transformation of an Ecore model into an equivalent CPN mo
del, which will help the modeler use the power of a formal modeling language by only modeling the system using a simple Ecore-based modeling language.
(More)