Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Transformation of UML Models for Service-Oriented Software Architectures
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
QoS-Aware Service Composition in Dino
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Modes in component behavior specification via EBP and their application in product lines
Information and Software Technology
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
UML extensions for service-oriented systems
Rigorous software engineering for service-oriented systems
Specification and analysis of dynamically-reconfigurable service architectures
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
Hi-index | 0.00 |
Engineering services in the framework of an Service-Oriented Architecture (SOA) is complex and open to mistakes if a rigorous approach is not taken. Combining SOA with features to support dynamic service discovery, management and binding, increase the chances that an architecture configuration has been incorrectly specified. To facilitate service engineers designing and implementing service systems we introduced the notion of Service Modes, that at design time provide an abstraction of service configurations given particular requirements for runtime. This paper describes how behaviour protocols are included in these configurations and how properties of combined architecture and behaviour models can be used to perform some useful analysis to assure dynamic service architecture configurations are safer and more resilient to incompatibilities. The modelling and analysis techniques are supported by an implementation in the LTSA WS-Engineer, a comprehensive integrated tool suite for verification and validation of service compositions.