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.
Type de document :
Communication dans un congrès
Ralf Reussner. 4th International Conference on the Quality of Software-Architectures (QoSA 2008), Oct 2008, Karlsruhe (TH), Germany. Springer-Verlag, 5281, pp.152-170, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87879-7_10〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00284514
Contributeur : Anne-Françoise Le Meur <>
Soumis le : mardi 3 juin 2008 - 11:29:23
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

Collections

Citation

Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien. Architectural Specification and Static Analyses of Contractual Application Properties. Ralf Reussner. 4th International Conference on the Quality of Software-Architectures (QoSA 2008), Oct 2008, Karlsruhe (TH), Germany. Springer-Verlag, 5281, pp.152-170, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87879-7_10〉. 〈inria-00284514〉

Partager

Métriques

Consultations de la notice

172