Formal Specification and Verification of XML-Based Business Domain Models.
Wolfgang SchuetzelhoferKarl M. GöschkaPublished in: ICEIS (3) (2004)
Keyphrases
- formal specification
- domain models
- model checking
- concurrent systems
- model checker
- formal methods
- domain knowledge
- process algebra
- description language
- temporal logic
- asynchronous circuits
- business rules
- protocol specification
- formal verification
- knowledge structures
- process model
- business process
- information systems
- decision making
- data mining
- business processes
- web services
- grid workflow
- reverse engineering
- natural language text
- semantic web technologies
- xml data
- knowledge base
- expert systems
- database
- high level
- database systems
- information technology