Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Statecharts as Protocols for Objects

    Rigorous Object-Oriented Methods 2000

    York, UK. 17 January 2000


    A. Laue, M. Liedtke, D. Moldt & I.Trickovic


    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.


    PDF filePDF Version of this Paper (74kb)