Modeling Distributed Systems using Concurrent Object Oriented Petri Nets
|Published in||Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06. Turku (Finland) - 26 June 2006 - Hamburg: University of Hamburg. 2006, p. 103-122|
University of Hamburg, Technical Report; FBI-HH-B-272
|Abstract||In the software development process of transactional and concurrent object-oriented software systems, specialized modeling tools 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|
This document has no fulltext available yet, but you can contact its author by using the form below.
|CHEN, Ang et al. Modeling Distributed Systems using Concurrent Object Oriented Petri Nets. In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06. Turku (Finland). Hamburg : University of Hamburg, 2006. p. 103-122. (University of Hamburg, Technical Report; FBI-HH-B-272) https://archive-ouverte.unige.ch/unige:5098|