From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.
Stanislav ChachkovDidier BuchsPublished in: ACSD (2001)
Keyphrases
- software components
- petri net
- formal specification
- object oriented
- concurrent processes
- object oriented design
- database schema
- software systems
- petri net model
- software development
- building blocks
- web services
- data model
- service composition
- colored petri nets
- software reuse
- process algebra
- software engineering
- object oriented databases
- programming language
- relational databases
- concurrent systems
- object oriented data models
- database applications
- web service composition
- component based architecture
- fuzzy petri net
- reverse engineering
- software design
- commercial off the shelf
- formal methods
- database design
- artificial intelligence
- conceptual model
- component based development
- design patterns
- stochastic petri net
- reusable components
- process model
- conceptual modeling
- database technology
- cooperative
- conceptual models