A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis.
Zachary J. OsterSyed Adeel AliGanesh Ram SanthanamSamik BasuPartha S. RoopPublished in: ICSOC (2012)
Keyphrases
- goal oriented
- requirements engineering
- model checking
- service composition
- abstract interpretation
- requirements analysis
- temporal logic
- web services
- formal verification
- web service composition
- verification method
- automated verification
- literature review
- petri net
- software development
- software engineering
- symbolic model checking
- development process
- business intelligence
- logical framework
- epistemic logic
- web services composition
- data mining
- requirements engineering process
- computation tree logic