p-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems

Authors:
Christelle Chaudet;Flavio Oquendo
Affiliations:
-;-
Venue:
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Year:
2000

Citing 0
Cited 9

Monitoring Software Process Interactions: A Logic-Based Approach

EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures

ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study

ACM SIGSOFT Software Engineering Notes
π-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures

ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering

ACM SIGSOFT Software Engineering Notes
Model-driven refinement of software architectures with π-ARL

AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Handling dynamic behaviour in software architectures

EWSA'05 Proceedings of the 2nd European conference on Software Architecture
An active architecture approach to dynamic systems co-evolution

ECSA'07 Proceedings of the First European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an architecture description language, called p-SPACE, designed to cope with requirements on evolving software architectures. p-SPACE provides constructs for describing architectures based on the ?-calculus. It supports the adding, replacing and removing of components and connectors in an evolving software system. Applications of p-SPACE are motivated by work on the relationships between business processes (including software development) and the software systems, which support them. Businesses need flexible software that enhances their ability to adapt and survive in changing organisations.