en
Proceedings chapter
English

Modeling Distributed Systems using Concurrent Object Oriented Petri Nets

Presented at Turku (Finland), 26 June 2006
PublisherHamburg : University of Hamburg
Collection
  • University of Hamburg, Technical Report; FBI-HH-B-272
Publication date2006
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
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)
Identifiers
  • PID : unige:5098
577views
0downloads

Technical informations

Creation02/01/2010 4:22:00 PM
First validation02/01/2010 4:22:00 PM
Update time03/14/2023 3:23:36 PM
Status update03/14/2023 3:23:36 PM
Last indexation01/15/2024 7:31:16 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack