Architectural Specification and Static Analyses of Contractual Application Properties

Being able to specify and verify contractual application properties at the architecture level allows architects to build better architected and more reliable systems. In this paper, we propose a model-based framework for designing contractualized architecture, independently of any paradigm (components or services). It enables a software architect to express the structural, behavioral, dataflow and QoS properties of his/her application. Our framework composes these properties in order to compute and check the properties of the assemblies incrementally. This allows architects to see the influence of their design decisions on the quality of his/her architecture and thus helps them to better design their systems architecture.

[1]  Martín Abadi,et al.  Composing specifications , 1989, TOPL.

[2]  Gary A. Kildall,et al.  A unified approach to global program optimization , 1973, POPL.

[3]  Carlos E. Rubio-Medrano,et al.  Architectural Assertions: Checking Architectural Constraints at Run-Time , 2007, Software Engineering Research and Practice.

[4]  Peter H. Golde,et al.  C# Language Specification , 2003 .

[5]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[6]  Thierry Coupaye,et al.  An Open Component Model and Its Support in Java , 2004, CBSE.

[7]  J. Magree,et al.  Behavioral analysis of software architectures using LTSA , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[8]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.

[9]  Cai Chao,et al.  A QoS View ofWeb Service Choreography , 2007, IEEE International Conference on e-Business Engineering (ICEBE'07).

[10]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[11]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[12]  Petr Tuma,et al.  Distributed Component System Based on Architecture Description: The SOFA Experience , 2002, OTM.

[13]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[14]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[15]  Kees M. van Hee,et al.  An SOA-based architecture framework , 2006, Int. J. Bus. Process. Integr. Manag..

[16]  Philippe Collet,et al.  Efficient Implementation Techniques for Advanced Assertion Languages , 1999, Obj. Logiciel Base données Réseaux.

[17]  William C. Chu,et al.  Roadmap to a Full Service Broker in Service-Oriented Architecture , 2007 .

[18]  Olivier Barais,et al.  Safe integration of new concerns in a software architecture , 2006, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).

[19]  Robert T. Monroe.  Capturing Software Architecture Design Expertise with Armani , 2000 .

[20]  Rogério de Lemos,et al.  Architecting Dependable Systems VI , 2009, WADS.

[21]  Richard N. Taylor,et al.  Moving Architectural Description from Under the Technology Lamppost , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[22]  Nenad Medvidovic,et al.  Multi-view Software Component Modeling for Dependability , 2003, WADS.

[23]  Anne-Françoise Le Meur,et al.  Fiesta: a Generic Framework for Integrating New Functionalities into Software Architectures , 2007, Int. J. Cooperative Inf. Syst..

[24]  Murali Sitaraman,et al.  Foundations of component-based systems , 2000 .

[25]  Richard N. Taylor,et al.  A highly-extensible, XML-based architecture description language , 2001, Proceedings Working IEEE/IFIP Conference on Software Architecture.