Architectural Specification and Static Analyses of Contractual Application Properties - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

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.

Dates and versions

inria-00284514 , version 1 (03-06-2008)

Identifiers

Cite

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⟩
60 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More