A formal approach supporting the specification and verification of business conversation requirements.
Alessandra CherubiniEnzo ColomboChiara FrancalanciPaola SpoletiniPublished in: IADIS AC (2005)
Keyphrases
- formal methods
- requirements specification
- formal specification
- model checking
- formal verification
- business rules
- business processes
- reactive systems
- business process
- software requirements
- business requirements
- requirements engineering
- asynchronous circuits
- specification language
- formal language
- formal analysis
- specification languages
- information systems
- electronic commerce
- application specific
- protocol specification
- real world
- systems development
- process oriented
- operational semantics
- decision support
- decision making
- data quality
- business environment
- concurrent systems
- natural language
- web service compositions
- e learning
- high level
- knowledge management
- business intelligence
- temporal logic
- project management
- support systems
- business applications
- legacy systems
- project managers