Integrating Object Oriented design with concurrency using Petri Nets - A case study of a banking system and the SYROCO-MACAO environment

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2001, Pages 1559-1564

  Mikolajczak, Boleslaw ^a   Sefranek, Charles A ^a  

^a University of Massachusetts Dartmouth   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; OBJECT ORIENTED PROGRAMMING; RESPONSE TIME (COMPUTER SYSTEMS); UNIX; USER INTERFACES;

OBJECT ORIENTED DESIGN TECHNIQUES;

PETRI NETS;

EID: 0035720161     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. An overview of SYROCO
2. SYROCO: A C++ implementation of cooperative objects
3. A formal specification framework for object-oriented distributed systems
4. PNtalk - A computerized tool for object oriented Petri Nets modelling
5. A method of concurrent object-oriented design using high-level Petri Nets