A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models-Reference-Cited by-同舟云学术

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models

Published:2014-12-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services
language:
Short-container-title:

Author:

Younes Ahlem Ben¹,Hlaoui Yousra BenDaly²,Ayed Leila Jemni Ben³

Affiliation:

1. Laboratory LaTICE / ENSIT_University of Tunis, Tunisia, 5, avenue Taha Hussein, B.P. 56 Bab Menara 1008, Tunis - Tunisia

2. Laboratory LaTICE - University of Tunis, Tunisia, 5, avenue Taha Hussein, B.P. 56 Bab, Menara 1008. Tunis -- Tunisia

3. Laboratory LaTICE -- University of Tunis, Tunisia, avenue Taha Hussein, B.P. 56 Bab, Menara 1008. Tunis - Tunisia

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2684200.2684341

Reference18 articles.

1. Abrial J.-R.1996 "The B Book. Assigning Programs to Meanings". Cambridge University Press. Abrial J.-R.1996 "The B Book. Assigning Programs to Meanings". Cambridge University Press.

2. Abrial J.-R. 2010. Modeling in Event-B: System and Software Engineering. Cambridge University Press. Abrial J.-R. 2010. Modeling in Event-B: System and Software Engineering. Cambridge University Press.

3. Jacobson J.R I. and Booch.G. 1998"The Unified Modelling Language reference Manual". Addison-Wesley. Jacobson J.R I. and Booch.G. 1998"The Unified Modelling Language reference Manual". Addison-Wesley.

4. Bendaly Hlaoui Y. and Jemni Ben Ayed L. 2008. Extended UML activity diagram for composing Grid services workflows. In CRiSIS 2008: page 207--212. Bendaly Hlaoui Y. and Jemni Ben Ayed L. 2008. Extended UML activity diagram for composing Grid services workflows. In CRiSIS 2008: page 207--212.