Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search

@inproceedings{Kessentini2010ExampleBasedSD,
  title={Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search},
  author={Marouane Kessentini and Arbi Bouchoucha and Houari A. Sahraoui and Mounir Boukadoum},
  booktitle={ECMFA},
  year={2010}
}
Dynamic 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 SD… CONTINUE READING