@inproceedings{badb5d77610647a0b05dfbeaa0f6b1ae,
title = "Composition of use cases using synchronization and model checking",
abstract = "Capturing the behavior of a system by use cases have been intensively investigated in the last decade. The challenge is to find both the adequate model that fits the needs of the analyst and a formal composition mechanism which helps the generation of the expected behavior. In this paper, we propose a formal approach for specifying and composing use cases based on assignments. Those assignments are used to express new use cases. An assignment provides the join points and the composition operators that will be taken into account during the composition. These join points are, in fact, determined through a model checking step. They represent states where a property defined by the analyst holds. In order to evaluate these assignments, we define a composition mechanism based on the well known concept of synchronized product.",
keywords = "Composition operators, Model checking, Synchronized product, Use cases",
author = "R. Mizouni and A. Salah and S. Kolahi and R. Dssouli",
year = "2006",
doi = "10.1007/11888116_22",
language = "British English",
isbn = "3540462198",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "292--306",
editor = "Elie Najm and Jean-Fran{\c c}ois Pradat-Peyre and Donzeau-Gouge, {V{\'e}ronique Vigui{\'e}}",
booktitle = "Formal Techniques for Networked and Distributed Systems - FORTE 2006 - 26th IFIP WG 6.1 International Conference, Proceedings",
address = "Germany",
note = "26th IFIP WG 6.1 International Conference ; Conference date: 26-09-2006 Through 29-09-2006",
}