Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
Towards Goal-Driven Self Optimisation of Service Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Goal-Driven Alignment of Services and Business Requirements
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
Service level agreements: web services and security
ICWE'07 Proceedings of the 7th international conference on Web engineering
From business models to service-oriented design: a reference catalog approach
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
Deriving business processes with service level agreements from early requirements
Journal of Systems and Software
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Agent-based prototyping of web-based systems
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Task model-driven realization of interactive application functionality through services
ACM Transactions on Interactive Intelligent Systems (TiiS)
Goal-based business service composition
Service Oriented Computing and Applications
| Hi-index | 0.00 |
We propose a methodology for designing webservices. The methodology is founded on Tropos[Perini01, Castro02], an agent-oriented softwaredevelopment technique, and supports early and laterequirements analysis, as well as architectural anddetailed design. An online retailer example is used forillustration of the proposed methodology. We alsocompare the generated design with a sample designpresented in [BPT01].