In: 06, 2006: Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06, Bericht 272, FBI-HH-B-272, pages 103-122. June 06.
Abstract: In the software development process of transactional and concurrent object-oriented software systems, specialized modeling are needed in order to capture and express its properties. These tools should also provide support to apprehend simultaneously the system's structure and the interactions between its environment. In this paper we present a specification language and a framework that allows modeling complex object-oriented software systems which can be at the same time transactional and concurrent. This framework allows to iterate in all the phases of the software development process between modeling and implementation.
Keywords: Modeling; Petri Nets; Concurrrency; Object-Oriented Specification; Abstract Data Types.
Back to the Petri Nets Bibliography