Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.
Yamine Aït AmeurIdir Aït-SadounePublished in: DEXA (1) (2012)
Keyphrases
- formal models
- web services
- formal model
- web technologies
- case study
- model checking
- distributed systems
- real world
- information systems
- rough sets
- formal descriptions
- rapid development
- business process
- business processes
- web applications
- real time
- e learning
- decision making
- artificial intelligence
- machine learning
- neural network