A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management.
Iman PoernomoTimur UmarovPublished in: CEE-SET (2009)
Keyphrases
- data centric
- business processes
- business process management
- business process
- web services
- information management
- process model
- business rules
- data management
- information systems
- requirements engineering
- service oriented
- application specific
- xml schema
- data driven
- wireless sensor networks
- databases
- service oriented architecture
- information integration
- application development
- software engineering
- distributed systems
- data processing
- data streams