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

https://hal.inria.fr/inria-00284514
Contributor : Anne-Françoise Le Meur <>
Submitted on : Tuesday, June 3, 2008 - 11:29:23 AM
Last modification on : Saturday, December 12, 2020 - 6:08:04 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

275