Statecharts: A visual formalism for complex systems
Science of Computer Programming
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Communications of the ACM - Service-oriented computing
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
OMML: A Behavioural Model Interchange Format
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Proceedings of the 19th IEEE international conference on Automated software engineering
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
Formal functional description of semantic web services: the logic description method
Proceedings of the 2006 international workshop on Service-oriented software engineering
A framework for architecture-driven service discovery
Proceedings of the 2006 international workshop on Service-oriented software engineering
A Framework for Dynamic Service Discovery
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Replacement policies for service-based systems
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
A monitoring approach for runtime service discovery
Automated Software Engineering
UML-based service discovery framework
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Hi-index | 0.00 |
Interface descriptions, while adequate for describing relatively simple or uniform functionality, are too abstract to properly describe entities as complex as e-commerce services or feature rich telecommunications services. The web services community has partially acknowledged this, as description languages like WSCL and OWL-S have enriched interface information with additional fragments of component semantics. In this paper, we naturally extend this progression by proposing that services be described by (abstract) executable specification behavioral models instead of, or in addition to, these other descriptive formalisms. Our argument is based on the observation that at least three capabilities, service discovery, validation, and execution monitoring, are enabled or fundamentally improved by this idea. In addition to overviewing OpenModel, our distributed modeling framework, as one possible basis for this approach, we also describe case studies that support our claims, and review the limitations of existing approaches.