Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
Engineering real time systems: an object-oriented methodology using SDL
Engineering real time systems: an object-oriented methodology using SDL
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A collaboration-based approach to service specification and detection of implied scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Milestones: Mythical Signals in UML to Analyze and Monitor Progress
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Dealing with Active and Stateful Services in the Service-Oriented Architecture
Service-Oriented Computing - ICSOC 2007 Workshops
A development framework for component-based agent-oriented business services
International Journal of Agent-Oriented Software Engineering
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Describing component collaboration using goal sequences
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Contracts for multi-instance UML activities
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Proceedings of the 10th ACM international conference on Generative programming and component engineering
A compositional approach to service validation
SDL'05 Proceedings of the 12th international conference on Model Driven
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
Current trends in distributed computing and e-business processing suggest that many applications are evolving towards Service Oriented Computing (SOC) with technologies such as Web services. Services are autonomous platform-independent computational elements, and we observe an increasing need for core SOC technologies for dynamic discovery, selection, and composition of services. However, such technologies are often based on syntactic descriptions of the services and of their interfaces, which are insufficient to ensure that desired liveness properties are satisfied. In this paper, we propose an approach for the description, discovery, and selection of services based on role modeling and goal expressions that enables the definition of semantic interfaces and the evaluation of liveness properties. The same mechanisms also enable component reuse. We discuss how UML 2.0 can support the modeling of both the services and the desired properties. The approach is illustrated with telephony services.