Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Architecture and Behaviour Analysis for Engineering Software Modes @INPROCEEDINGS{Fos09, title = {{Architecture and Behaviour Analysis for Engineering Software Modes}}, author = {{Howard} {Foster}}, booktitle = {in 2nd Workshop on Principles of Engineering Service Oriented Systems (PESOS) at ICSE 2009}, abstract = {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.}, publisher = {IEEE}, year = {2009}, url = {http://www.doc.ic.ac.uk/~hf1/papers/icse2009_pesos_modesanalysis.pdf}, address = {United Kingdom}, doi = {10.1109/PESOS.2009.5068812}, institution = {Imperial College London}, keywords = {activity diagrams, architecture, automotive software systems, Behavioural Equivalence, BPEL4WS, business process, constraints, contract policy matching, dynamic software architectures, Eclipse, model checking, model transformation, modelling, OCL, process algebra, reengineering, requirements, self-management, service composition, Service Level Agreements, service oriented computing, SOA, verification, visual editor, visual modeling}, main = {Y}, month = {May}, organization = {Imperial College London }, partner = {LSS-ICL}, school = {Department of Computing}, status = {public}, task = {WP6}, }
|