Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.
Filippo BonchiAntonio BrogiSara CorfiniFabio GadducciPublished in: Petri Nets (2008)
Keyphrases
- web services
- business processes
- web service composition
- case study
- high level
- business process
- service architecture
- service providers
- bpel ws
- description language
- business rules
- test bed
- web service discovery
- service selection
- formal verification
- collective decision making
- learning algorithm
- specification language
- formal methods
- semantic web services
- service oriented
- quality of service
- data intensive
- formal specification
- layered architecture
- user defined
- neural network