An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems
| Autor: | Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes |
|---|---|
| Přispěvatelé: | Université de Tunis El Manar, Faculté des Sciences de Tunis, LIPAH-LR 11ES14, 2092, Tunis, Tunisie, Faculté des Sciences de Tunis (FST), Faculté des Sciences de Tunis, Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - Faculté des Sciences et des Techniques, Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Architectures et Logiciels Sûrs (AeLoS), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - Faculté des Sciences et des Techniques, Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (FST), Université de Tunis El Manar (UTM), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) |
| Rok vydání: | 2018 |
| Předmět: |
Interpretation (logic)
Theoretical computer science Computer science Operational Semantics Computation Nested Combined Fragments Causal semantics 020207 software engineering [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] 0102 computer and information sciences 02 engineering and technology Causal Semantics 01 natural sciences Operational semantics UML2X Sequence Diagrams Sequence diagram 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering |
| Zdroj: | Communications in Computer and Information Science ISBN: 9783319941349 Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩ |
| DOI: | 10.1007/978-3-319-94135-6_8 |
| Popis: | International audience; UML2.X sequence diagrams (SD) are equipped with high structures: the combined fragments (CF) that permit to model complex behaviours of systems. CF can be nested to allow more sophisticated behaviours, however they complicate the interpretation of the SD and the computation of precedence relations between the events. In a previous work, we proposed a causal semantics for UML2.X SD. It is based partial order theory, its well-defined relations allow the computation of all precedence relations for the events of UML2.X SD with nested CF. We considered the most popular CF of control-flow alt, opt, loop, seq allowing to model respectively alternative, optional, iterative and sequential behaviours. In this work, we improve that previous work to consider a par CF allowing to model parallel behaviours, and we propose an operational semantics that is based on the causal semantics. The proposed operational semantics is a substantial step towards the refinement checking and the analysis of some properties of SD. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|