1,707
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Mapping Object Diagrams into B Specifications

      Published
      proceedings-article
      , ,
      Proceedings of the Methods Integration Workshop (MI)
      Methods Integration Workshop
      25-26 March 1996
      Bookmark

            Abstract

            In this paper we study the combination of object-oriented and formal methods and more specifically the mapping of object models, that are used in business information system development methods, into the formal specification language of the B method. We retain as the starting point of our study a common core of object concepts accepted by most of the groups: object, entity, association, is-a link. The first aim is to formalize these concepts. The main idea is to organize the specification around sets of object identities. Thus associations are modelled using relations between these sets and is-a links are modelled by inclusion constraints between these sets. The second aim is to modularise the final formal specification. Our purpose is to keep as much as possible the initial object diagram structure in the formal specification. Thus each entity is mapped into one abstract machine, an association is put in a specific machine according to its own properties, inheritance is simulated by using the existing links between abstract machines.

            Content

            Author and article information

            Contributors
            Conference
            March 1996
            March 1996
            : 1-13
            Affiliations
            [0001]CEDRIC-IIE (CNAM) Laboratory

            18 allée Jean Rostand - 91025 Evry - France
            Article
            10.14236/ewic/MI1996.5
            164c7082-fce7-45d4-bb01-c1d2f6a15221
            © Philippe Facon et al. Published by BCS Learning and Development Ltd. Proceedings of the Methods Integration Workshop, Leeds

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the Methods Integration Workshop
            MI
            Leeds, UK
            25-26 March 1996
            Electronic Workshops in Computing (eWiC)
            Methods Integration Workshop
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/MI1996.5
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article