Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study.
Boleslaw MikolajczakPublished in: SEKE (2008)
Keyphrases
- object oriented design
- petri net
- formal specification
- object oriented systems
- process algebra
- concurrent systems
- object oriented
- specification language
- source code
- petri net model
- software maintenance
- software engineering
- model checking
- discrete event systems
- reverse engineering
- formal methods
- colored petri nets
- fuzzy petri net
- web service composition
- software systems
- ims ld
- service composition
- stochastic petri net
- software design
- collaborative learning
- open source
- programmable logic controller
- databases
- asynchronous circuits
- temporal logic
- fuzzy sets
- cooperative
- database systems
- artificial intelligence