Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
| Autor: | Khaled Bsaïes, Inès Mouakher, Fatma Dhaou, Christian Attiogbé |
|---|---|
| Přispěvatelé: | Unité de Recherche en Programmation Algorithmique et Heuristique (URPAH), Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (FST), Université de Tunis El Manar (UTM)-Université de Tunis El Manar (UTM), Laboratoire des Sciences du Numérique de Nantes (LS2N), 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) |
| Rok vydání: | 2015 |
| Předmět: |
Theoretical computer science
Computer science Semantics (computer science) Distributed computing Liveness Communication diagram [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Causal Semantics Object (computer science) Semantics Operational semantics Sequence diagram Unified Modeling Language Computational semantics Event-B Sequence Diagram UML20 computer Failure semantics computer.programming_language |
| Zdroj: | ICSOFT-EA Proceedings of the 10th International Conference on Software Engineering and Applications |
| DOI: | 10.5220/0005517703390347 |
| Popis: | International audience; The imprecision of the definitions of UML2.0 sequence diagrams, given by the Object Management Group (OMG), does not allow the obtention of all the possible valid behaviours for a given distributed system, when communicating objects are independent. We choose the causal semantics, which is suitable for this kind of systems; we propose its extension to support complex behaviours, expressed with combined fragments. We propose the implementation of our approach with Event-B in order to check later on some properties of safety, liveness and fairness. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|