Formal Modelling and Verification in Service-Oriented Computing.
Maurice H. ter BeekStefania GnesiFabio MartinelliFranco MazzantiMarinella PetrocchiPublished in: ERCIM News (2007)
Keyphrases
- service oriented computing
- web services
- service composition
- grid computing
- service oriented
- formal methods
- service oriented architecture
- service discovery
- model checking
- grid systems
- web service composition
- loosely coupled
- computing paradigm
- conceptual framework
- databases
- distributed computing
- semantic web services
- database