HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Architectural Specification and Static Analyses of Contractual Application Properties

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.
Document type :
Conference papers
Complete list of metadata

Contributor : Anne-Françoise Le Meur Connect in order to contact the contributor
Submitted on : Tuesday, June 3, 2008 - 11:29:23 AM
Last modification on : Friday, February 4, 2022 - 3:15:35 AM

Links full text




Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien. Architectural Specification and Static Analyses of Contractual Application Properties. 4th International Conference on the Quality of Software-Architectures (QoSA 2008), Oct 2008, Karlsruhe (TH), Germany. pp.152-170, ⟨10.1007/978-3-540-87879-7_10⟩. ⟨inria-00284514⟩



Record views