loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Flavio Oquendo

Affiliation: European University of Brittany, France

Keyword(s): Software Architecture, Architecture Analysis Language, Structural and Behavioral Properties, Modal µ-Calculus.

Related Ontology Subjects/Areas/Topics: Embedded Communications Systems ; Software Architectures ; Telecommunications

Abstract: Software has become a critical part of a rapidly growing range of products and services. Key aspects of the development of such software-intensive systems are the description and analysis of their software architecture, encompassing both the formal model of the component-based architecture and the formal specification of the correctness properties that the modeled architecture must satisfy. Therefore, an Architecture Description Language (ADL) must be complemented by an Architecture Analysis Language (AAL) enabling the specification of architecture-related correctness properties. A major challenge for an AAL is to provide ade-quate expressive power to specify both structural and behavioral correctness properties, and to be well-suited for machine-automated processing for verification, at a time. This paper presents how π-AAL complements π-ADL (designed in the ArchWare European Project) for enabling the specification of architectural correctness properties based on the modal π-calculu s. The toolset and its experimentation in industrial pilot projects are outlined. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.12.31

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Oquendo, F. (2009). ON THE CORRECTNESS OF SOFTWARE ARCHITECTURES - Formal Specification of Correctness Properties using π-AAL. In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT; ISBN 978-989-674-009-2; ISSN 2184-2833, SciTePress, pages 208-217. DOI: 10.5220/0002256302080217

@conference{icsoft09,
author={Flavio Oquendo.},
title={ON THE CORRECTNESS OF SOFTWARE ARCHITECTURES - Formal Specification of Correctness Properties using π-AAL},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT},
year={2009},
pages={208-217},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002256302080217},
isbn={978-989-674-009-2},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT
TI - ON THE CORRECTNESS OF SOFTWARE ARCHITECTURES - Formal Specification of Correctness Properties using π-AAL
SN - 978-989-674-009-2
IS - 2184-2833
AU - Oquendo, F.
PY - 2009
SP - 208
EP - 217
DO - 10.5220/0002256302080217
PB - SciTePress