1,346
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

      Statecharts as Protocols for Objects

      Published
      proceedings-article
      , , ,
      Rigorous Object-Oriented Methods 2000 (ROOM)
      Rigorous Object-Oriented Methods
      17 January 2000
      Bookmark

            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.

            Content

            Author and article information

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

            Vogt-Kölln-Straße 30, D-22527 Hamburg, Germany
            Article
            10.14236/ewic/ROOM2000.6
            aaf7757d-0d85-44d1-a67c-c4bd32b459c2
            © 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
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/ROOM2000.6
            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