Affiliation:
1. University of South Brittany, Vannes Cedex, France
Abstract
Software systems have become increasingly complex and are often used in highly dynamic, distributed and mobile environments. Formal development of such software systems in order to guarantee their completeness and correctness is a large research challenge. This article presents the π-Method, a novel formal method that has been designed in the ArchWare European Project to address model-driven development of safe software systems. It is a well-founded theoretically method relying on formal foundations: its formal language for architecture description is based on the π-calculus, for architecture analysis on the μ-calculus, and for architecture transformation and refinement on the rewriting logic. The π-Method, like formal methods such as B, FOCUS, VDM, and Z, aims to provide full support for formal development of software systems. However, unlike these methods that do not provide any architectural support, the π-Method has been built from scratch to formally support architecture-centric component-based model-driven development. Furthermore, a major impetus behind defining formal languages and method is that their formality renders them suitable to be manipulated by software tools. Indeed, a comprehensive toolset supporting formal model-driven engineering has been developed.
Publisher
Association for Computing Machinery (ACM)
Reference73 articles.
1. Oquendo F. Warboys B. Morrison R. (Eds.): Software Architecture Springer-Verlag LNCS 3047 May 2004.]] Oquendo F. Warboys B. Morrison R. (Eds.): Software Architecture Springer-Verlag LNCS 3047 May 2004.]]
2. π-ADL
3. π-ARL
4. Formally refining software architectures with π-ARL
5. Derniame J-C. Oquendo F.: Key Issues and Future Directions in Software Process Technology. Novática Journal Special Issue on Software Process Technologies (invited paper) No. 171 September-October 2004 and co-printed at the European Journal: CEPIS Upgrade Vol. V No. 5 October 2004.]] Derniame J-C. Oquendo F.: Key Issues and Future Directions in Software Process Technology. Novática Journal Special Issue on Software Process Technologies (invited paper) No. 171 September-October 2004 and co-printed at the European Journal: CEPIS Upgrade Vol. V No. 5 October 2004.]]
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A model transformation approach for multiscale modeling of software architectures applied to smart cities;Concurrency and Computation: Practice and Experience;2021-06-13
2. A multi-scale modeling approach for systems of systems architectures;ACM SIGAPP Applied Computing Review;2017-11-14
3. On the Equivalence between Reference Architectures and Metamodels;Proceedings of the 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures;2015-05-06
4. Towards a Formal Description of Reference Architectures for Embedded Systems;Proceedings of the 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures;2015-05-06
5. MODELING AND VERIFYING COMPOSITE DYNAMIC EVOLUTION OF SOFTWARE ARCHITECTURES USING HYPERGRAPH GRAMMARS;International Journal of Software Engineering and Knowledge Engineering;2013-08