Integration of UML and B specification techniques: Systematic transformation from OCL expressions into B

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2002, Pages 495-504

  Ledang, H ^a   Souquieres J ^a  

^a LORIA   (France)

Author keywords

Application software; Collaboration; Computer industry; Programming; Software engineering; Unified modeling language

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; MATHEMATICAL PROGRAMMING; MODELING LANGUAGES; SOFTWARE ENGINEERING; SPECIFICATIONS;

CLASS INVARIANTS; COLLABORATION; COMPUTER INDUSTRY; INTEGRAL PART; OBJECT CONSTRAINT LANGUAGE; OCL SPECIFICATIONS; SPECIFICATION TECHNIQUE; STATE CHARTS;

UNIFIED MODELING LANGUAGE;

EID: 84862103424     PISSN: 15301362     EISSN: None     Source Type: Journal    
DOI: 10.1109/APSEC.2002.1183053     Document Type: Article

References (20)

1. J.R. Abrial. The B Book - Assigning Programs to Meanings. Cambridge University Press, 1996. ISBN 0-521-49619-5.
2. B-Core(UK) Ltd, Oxford (UK). B-Toolkit User's Manual, 1996. Release 3.2.
3. Thomas Baar, Bernhard Beckert, and Peter H. Schmitt. An extension of Dynamic Logic for modelling OCL's • pre operator. In Proceedings, Fourth Andrei Ershov International Conference, Perspectives of System Informatics, Novosibirsk, Russia, LNCS 2244, pages 47-54. Springer, 2001.
4. Bernhard Beckert, Uwe Keller, and Peter H. Schmitt. Translating the Object Constraint Language into first-order predicate logic. In Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark, 2002. To appear.
5. P. Behm, P. Desforges, and J.-M. Meynadier. MÉTÉOR: An Industrial Success in Formal Development, April 1998. An invited talk at the 2nd Int. B conference, LNCS 1939.
6. D. Coleman, P. Arnold, St. Bodoff, Ch. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994.
7. E.W.D. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, 1976.
8. D. Gries. The Science of Programming. Springer Verlag, New York (USA), 1981. 350 pages.
9. H. Habrias, editor. Putting Into Practice Methods and Tools for Information System Design - 1st Conference on the B Method, Nantes (F), November 1996.
10. R. Laleau and A. Mammar. A Generic Process to Refine a B Specification into a Relational Database Implementation. In ZB 2000: Formal Specification and Development in Z and B, LNCS 1878, York (UK), August/September 2000. Springer-Verlag.
11. K. Lano. The B Language and Method: A Guide to Practical Formal Development. FACIT. Springer-Verlag, 1996. ISBN 3-540-76033-4.
12. H. Ledang and J. Souquières. Formalizing UML Behavioral Diagrams with B. In the Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, pages 162-171, Tampa Bay, Florida (USA), October 15, 2001. Notheastern University Press. http://www.loria.fr/˜ledang/publications/oopsla01.ps.gz.
13. H. Ledang and J. Souquières. Modeling Class Operations in B: Application to UML Behavioural Diagrams. In ASE2001: the 16th IEEE International Conference on Automated Software Engineering, pages 289-296, Loews Coronado Bay, San Diego (USA), November 26-29, 2001. IEEE Computer Society. http://www.loria.fr/˜ledang/publications/ase01.ps.gz.
14. H. Ledang and J. Souquières. Derivation Schemes from OCL Expressions to B. Technical Report A02-R-042, Laboratoire Lorrain de Recherche en Informatique et ses Applications, May 2002. http://www.loria.fr/˜ledang/publications/oclb.ps.gz.
15. R. Marcano and N. Lévy. Transformation d'annotations OCL en expressions B. In Journées AFADL'2001: Approches Formelles dans l'Assistance au Développement de Logiciels, Nancy (F), 11-13 juin, 2001.
16. E. Meyer. Développements formels par objets: utilisation conjointe de B et d'UML. PhD thesis, LORIA - Université Nancy 2, Nancy (F), mars 2001.
17. E. Meyer and J. Souquières. A systematic approach to transform OMT diagrams to a B specification. In FM'99: World Congress on Formal Methods in the Development of Computing Systems, LNCS 1708, Toulouse (F), September 1999. Springer-Verlag.
18. H.P. Nguyen. Dérivation de spécifications formelles B à partir de spécifications semi-formelles. PhD thesis, Conservatoire National des Arts et Métiers - CEDRIC, Paris (F), décembre 1998.
19. The Object Management Group (OMG). OMG Unified Modeling Language Specification, June 1999. Version 1.3.
20. STERIA - Technologies de l'Information, Aix-en-Provence (F). Atelier B, Manuel Utilisateur, 1998. Version 3.5.