Semantic constraint specification and verification of ebXML business process specifications.
Jong Woo KimHyoung Do KimPublished in: Expert Syst. Appl. (2004)
Keyphrases
- business process
- business rules
- formal verification
- business processes
- asynchronous circuits
- protocol specification
- formal specification
- high level
- workflow model
- model checker
- model checking
- formal methods
- semantic constraints
- specification language
- concurrent systems
- business process models
- process model
- ws bpel
- semantic web
- business process management
- web services
- control flow
- workflow management systems
- case study
- semantic annotation
- owl ontologies
- process mining
- formal language
- business process modeling
- workflow technology
- service oriented architecture
- business goals
- reverse engineering
- temporal logic
- workflow management
- distributed systems
- software engineering
- process execution
- virtual organization
- information systems