An ASM-based executable formal model of service-oriented component interactions and orchestration.
Elvinia RiccobenePatrizia ScandurraPublished in: BM-FA (2010)
Keyphrases
- formal model
- service oriented
- web services
- service oriented architecture
- highly dynamic
- service composition
- model driven
- workflow management
- composite services
- active shape model
- loosely coupled
- grid services
- predicate calculus
- cross organizational
- service selection
- business process management
- formal models
- web service composition
- semantic web services
- security properties
- service systems
- loose coupling