UNIGE document Chapitre d'actes
previous document  unige:5098  next document
add to browser collection
Title

Modeling Distributed Systems using Concurrent Object Oriented Petri Nets

Authors
Chen, Ang
Lucio, Levi
Pedro, Luis
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
Collection 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 ModelingPetri netsConcurrrencyObject-oriented specificationAbstract data types
Full text
This document has no fulltext available yet, but you can contact its author by using the form below.
Structures
Citation
(ISO format)
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

274 hits

0 download

Update

Deposited on : 2010-02-01

Export document
Format :
Citation style :