Architectural Artefacts for Autonomic Distributed Systems- Contract Language

In the last three years we have experimented using contracts as to enable the interoperability of distributed systems, with our main focus being autonomic systems. Starting with the definitions of contracts in the TM Forum's NGOSS architecture, we have experimented with contracts from three different viewpoints: architecture, meta-model and implementation. This paper introduces the results of that work, which we term Architectural Artefacts for Autonomic Distributed Systems (A3DS). We provide an overview of the architectural definitions, the designed meta-model and a more thorough discussion on practical terms such as the declarative contract language; and developed tools.

[1]  Gerard Florin,et al.  Design by Contract: analysis of hidden dependencies in component based application , 2004, J. Object Technol..

[2]  Santiago Comella-Dorda,et al.  Volume II: Technical Concepts of Component-Based Software Engineering , 2000 .

[3]  R. Scowen.  Extended BNF — A generic base standard , 1998 .

[4]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[5]  Jean-Marc Jézéquel,et al.  Design by Contract to Improve Software Vigilance , 2006, IEEE Transactions on Software Engineering.

[6]  G. Florin,et al.  Design by contracts : Analysis of hidden dependencies in component based applications , 2004 .

[7]  Isabel Nunes,et al.  Design by Contract Using Meta-Assertions , 2002, J. Object Technol..

[8]  R. S. Scowen.  Generic base standards , 1993, Proceedings 1993 Software Engineering Standards Symposium.

[9]  Holger Giese,et al.  Contract-based component system design , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[10]  Atul Gupta,et al.  Strengthening Method Contracts for Objects , 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

[11]  Gregor Engels,et al.  Executable visual contracts , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[12]  Terence Parr.  The Definitive ANTLR Reference: Building Domain-Specific Languages , 2007 .

[13]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[14]  Sven van der Meer,et al.  Technology Neutral Principles and Concepts for Autonomic Networking , 2007 .

[15]  Cui Zhang,et al.  Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z , 2006, 5th IEEE/ACIS International Conference on Computer and Information Science and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering,Software Architecture and Reuse (ICIS-COMSAR'06).

[16]  Jean-Marc Jézéquel,et al.  Robustness and diagnosability of OO systems designed by contracts , 2001, Proceedings Seventh International Software Metrics Symposium.