Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.
O. BibersteinDidier BuchsNicolas GuelfiPublished in: Concurrent Object-Oriented Programming and Petri Nets (2001)
Keyphrases
- state machines
- object oriented
- state machine
- petri net
- discrete event
- data model
- transition systems
- programming language
- formal language
- database applications
- knowledge representation
- reactive systems
- object oriented databases
- conceptual model
- recurrent networks
- operational semantics
- database schema
- concurrent systems
- database design
- relational databases
- conceptual graphs
- programming interface
- delay insensitive
- sequence diagrams
- conceptual models
- object oriented programming
- software engineering
- class diagram
- qualitative spatial
- cp nets
- data flow
- fault tolerant
- query language
- high level