Analyzing Web Service Choreography Specifications Using Colored Petri Nets.
Enrique CalizKarthikeyan UmapathyArturo J. Sánchez-RuízSherif A. ElfayoumyPublished in: DESRIST (2011)
Keyphrases
- colored petri nets
- web services
- petri net
- service oriented architecture
- service oriented
- service composition
- service architecture
- web service composition
- service oriented computing
- service providers
- reactive systems
- high level
- business processes
- delay insensitive
- neural network
- functional requirements
- semantic web services
- data model
- information systems