Refinement of UML2.0 Sequence Diagrams for Distributed Systems
| Autor: | Inès Mouakher, Khaled Bsaïes, J. Christian Attiogbé, Fatma Dhaou |
|---|---|
| Přispěvatelé: | Laboratoire d'Informatique, Programmation, Algorithmique et Heuristique (LIPAH), 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), 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)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Unité de Recherche en Programmation Algorithmique et Heuristique (URPAH), 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) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Correctness
Relation (database) Computer science Distributed computing Liveness Process (computing) Sequence Diagrams Refinement 020207 software engineering 02 engineering and technology [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] UML20 Sequence Diagrams Sequence diagram 020204 information systems 0202 electrical engineering electronic engineering information engineering Event-B Refinement Relation |
| Zdroj: | the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016) the 11th International Joint Conference on Software Technologies 2016), Jul 2016, Lisbon, Portugal ICSOFT-EA HAL |
| Popis: | International audience; Refinement process applied to UML2.0 Sequence Diagrams (SD) is adopted to deal with the complexity of modeling distributed systems. The various steps leading to the checking of the refinement of SDs theoretically as well as practically are explained. A refinement relation possessing the necessary properties, is formalized; its implementation in the Event-B method is proposed in order to check the correctness of the refinement of SDs, and to verify some safety, liveness properties and the termination of the new introduced events. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|