212
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Statecharts as Protocols for Objects

      , , ,

      Rigorous Object-Oriented Methods 2000 (ROOM)

      Rigorous Object-Oriented Methods

      17 January 2000

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until implementation, but for validation and verification purposes the merging of views is desirable already during specification. Motivated by this, a model of objects is proposed in which the different views on an object are regarded as independent and well-connected entities that are encapsulated inside of it.

          Reference nets, a powerful high-level Petri net formalism, are used as an underlying uniform modeling technique for objects and the two views on them considered here – protocols and functional parts. Protocols are defined as statecharts and mapped into Petri nets. Models become executable by utilizing Renew, a tool for drawing and simulating reference nets. In an example, the main ideas of the suggested approach are clarified.

          Related collections

          Most cited references 9

          • Record: found
          • Abstract: not found
          • Article: not found

          Statecharts: a visual formalism for complex systems

           David Harel (1987)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Programming with abstract data types

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              What is in a step: On the semantics of statecharts

               A. Pnueli,  M Shalev (1991)
                Bookmark

                Author and article information

                Contributors
                Conference
                January 2000
                January 2000
                : 1-16
                Affiliations
                Universität Hamburg, Fachbereich Informatik

                Vogt-Kölln-Straße 30, D-22527 Hamburg, Germany
                Article
                10.14236/ewic/ROOM2000.6
                © Annette Laue et al. Published by BCS Learning and Development Ltd. Rigorous Object-Oriented Methods 2000

                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/

                Rigorous Object-Oriented Methods 2000
                ROOM
                York, UK
                17 January 2000
                Electronic Workshops in Computing (eWiC)
                Rigorous Object-Oriented Methods
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article