Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
The Unified Modeling Language user guide
The Unified Modeling Language user guide
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Heterogeneous view integration and its automation
Heterogeneous view integration and its automation
Software Performance Analysis in UML Models
FIRB-PERF '05 Proceedings of the 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Automating model transformation by example using inductive logic programming
Proceedings of the 2007 ACM symposium on Applied computing
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Towards Model Transformation Generation By-Example
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Survey of Traceability Approaches in Model-Driven Engineering
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
A hybrid optimization technique coupling an evolutionary and a local search algorithm
Journal of Computational and Applied Mathematics
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Generating model transformation rules from examples using an evolutionary algorithm
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |
Behavioral UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A common approach to circumvent the problem is to map these models to more formal representations. In this context, many works propose a rule-based approach to automatically translate behavioral models like SD into colored Petri nets (CPN). However, finding the rules for such SD-to-CPN transformations manually may be difficult, as the transformation rules are usually not obviously defined. We propose a solution that starts from the hypothesis that examples of good transformation of SD-to-CPN can be useful to automatically generate transformation rules. To this end, we describe an automated approach to find the rules that best match the meta-model elements of SD to corresponding elements in the CPN meta-model. Thus, our approach starts by randomly generating a set of rules, executing them to generate some target models. Then, it evaluates the quality of the proposed solution (rules) by comparing the generated target models to the expected ones in the base of examples. In this case, the search space is large and heuristic-search is needed. To achieve our goal, we combine two algorithms for global and local search, namely Particle Swarm Optimization (PSO) and Simulated Annealing (SA). Our empirical results show that the generated rules derive CPNs similar to the expected ones.