Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Real-time object-oriented modeling
Real-time object-oriented modeling
Seamless object-oriented software architecture: analysis and design of reliable systems
Seamless object-oriented software architecture: analysis and design of reliable systems
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Coordination as Comstrainted Interaction (Extended Abstract)
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Modeling Distributed Software Systems with Object Coordination Nets
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-oriented analysis and design with applications, third edition
Object-oriented analysis and design with applications, third edition
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
Enterprise modeling by means of UML instance models
ACM SIGSOFT Software Engineering Notes
Automating Performance Analysis from UML Design Patterns (Research Note)
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the increasing demands of todays systems, behavior aspects like concurrency, distribution and reactivity become more important. But the language concepts of the UML for describing behavioral aspects are weak compared to its concepts for describing structures. Besides a lack of visual expressiveness, a deeper integration with the structure specification is missing. In order to close this gap, an expressive language for modeling object-oriented behavior is proposed with the OCoN approach. It describes contracts, object scheduling as well as control and data flow of services in a Petri-net-like form. A seamless visual embedding of contract specifications into service and object scheduling specifications is provided by different net types.