Abstract
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.
This work was partially funded by the French ANR TL FAROS project.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. on Software Engineering 26(1), 70–93 (2000)
Nunziati, S.: Personal health record, http://www.d-m-p.org/docs/EnglishVersionDMP.pdf
Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (2004)
Barais, O., Lawall, J., Le Meur, A.F., Duchien, L.: Safe integration of new concerns in a software architecture. In: Proceedings of the 13th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS 2006), pp. 52–64. IEEE Computer Society, Los Alamitos (2006)
Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: An open component model and its support in Java. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 7–22. Springer, Heidelberg (2004)
OMG: CORBA Component Model, v4.0, formal/06-04-01 (April 2006)
BEA, IBM, Interface21, IONA, Oracle, SAP, Siebel, Sybase: Assembly Component Architecture - Assembly Model Specification Version 1.00. (March 2007)
Allen, R.: A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, CMU-CS-97-144 (January 1997)
Monroe, R.T.: Capturing Software Architecture Design Expertise with Armani (January 2001)
Kalibera, T., Tůma, P.: Distributed component system based on architecture description: The SOFA experience. In: CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519. pp. 981–994. Springer, Heidelberg (2002)
Collet, P., Rousseau, R.: Efficient Implementation Techniques for Advanced Assertion Languages. RSTI - Série L’Objet (RSTI-Objet) 5(3-4), 417–442 (1999)
IBM: WSLA Language Specification, V1.0. (2003)
OMG: Object Constraint Language (OCL). 2.0 edn. (May 2006)
Abadi, M., Lamport, L.: Composing specifications. ACM 15(1), 73–132 (1993)
Frolund, S., Koisten, J.: QML: A Language for Quality of Service Specification (1998)
Kildall, G.: A unified approach to global program optimization. In: 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973)
Xiangpeng, Z., Chao, C., Hongli, Y., Zongyan, Q.: A qos view of web service choreography. In: IEEE International Conference on e-Business Engineering, pp. 607–611 (2007)
AS-2 Embedded Computing Systems Committee SAE: Architecture Analysis & Design Language (AADL). SAE Standards nAS5506 (November 2004)
Zelesnik, G.: The UniCon Language Reference Manual (May 1996)
Roshandel, R., Medvidovic, N.: Multi-view software component modeling for dependability. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol. 3069, pp. 286–304. Springer, Heidelberg (2004)
Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Foundations of Component-Based Systems, pp. 47–68. Cambridge University Press, Cambridge (2000)
Dashofy, E.M., Van der Hoek, A.V., Taylor, R.N.: A highly-extensible, XML-based architecture description language. In: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA 2001), IEEE Computer Society Press, Los Alamitos (2001)
Waignier, G., Le Meur, A.F., Duchien, L.: Fiesta: A generic framework for integrating new functionalities into software architectures. International Journal of Cooperative Information Systems (IJCIS) 16(3/4), 367–391 (2007)
Van der Aalst, W.M., Beisiegel, M., Hee, K.M.V., König, D., Stahl, C.: An soa-based architecture framework. International Journal of Business Process Integration and Management 2(2), 91–101 (2007)
Magee, J.: Behavioral analysis of software architecture using ltsa. In: Proceedings of the 21st international conference on Software engineering, pp. 634–637. IEEE Computer Society, Los Alamitos (1999)
OMG: Business Process Model and Notation (BPMN) 2.0. (June 2007)
OASIS.: Web Services Business Process Execution Language Version 2.0. (April 2007)
Jung, H., Rubio-Medrano, C.E., Wong, W.E., Cheon, Y.: Architectural Assertions: Checking Architecrural Constraints at Run-Time
Medvidovic, N., Dashofy, E.M., Taylor, R.N.: Moving architectural description from under the technology lamppost. Journal of Information and Software Technology 49(1), 12–31 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Waignier, G., Le Meur, AF., Duchien, L. (2008). Architectural Specification and Static Analyses of Contractual Application Properties. In: Becker, S., Plasil, F., Reussner, R. (eds) Quality of Software Architectures. Models and Architectures. QoSA 2008. Lecture Notes in Computer Science, vol 5281. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87879-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-87879-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87878-0
Online ISBN: 978-3-540-87879-7
eBook Packages: Computer ScienceComputer Science (R0)