Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Toward user-defined element types and architectural styles
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Acme: architectural description of component-based systems
Foundations of component-based systems
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Modal and temporal properties of processes
Modal and temporal properties of processes
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
AML: An Architecture Meta-Language
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Architecting Software Systems with Process Algebras
Architecting Software Systems with Process Algebras
A formal approach to software architecture
A formal approach to software architecture
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Dependency Management in Software Component Deployment
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for supporting dynamic systems co-evolution
Automated Software Engineering
Aspect-oriented connectors for coordination
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Comparing architecture description languages for mobile software systems
Proceedings of the 1st international workshop on Software architectures and mobility
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
π-ADL.NET: a high level architecture description language compiler for the .NET platform
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Non-synchronous Communications in Process Algebraic Architectural Description Languages
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Characterizing Relations between Architectural Views
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Representing Service-Oriented Architectural Models Using Π-ADL
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
The Pi-ADL.NET project: an inclusive approach to ADL compiler design
WSEAS Transactions on Computers
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Architecture Description for Mobile Distributed Systems Using Typed π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Using mobile architecture modeling and simulation for enterprise applications
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
Journal of Systems and Software
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
An ADL-approach to specifying and analyzing centralized-mode architectural connection
ECSA'10 Proceedings of the 4th European conference on Software architecture
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
ECSA'10 Proceedings of the 4th European conference on Software architecture
ICICA'10 Proceedings of the First international conference on Information computing and applications
Formalizing high-level service-oriented architectural models using a dynamic ADL
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
A tile logic-based semantics for mobile software architectures
International Journal of Critical Computer-Based Systems
International Journal of Grid and Utility Computing
Modeling and analyzing mobile software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
A DDL–Based software architecture model
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Handling dynamic behaviour in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Architecture description for mobile distributed systems
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Multi-view refinement of AO-connectors in distributed software systems
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
A tile logic based semantics for mobile software architectures
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
Dynamic software architectures: formal specification and verification with CSP
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Debugging Mobile Agent Systems
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Transactions on Aspect-Oriented Software Development X
Hi-index | 0.00 |
A key aspect of the design of any software system is its architecture. An architecture description, from a runtime perspective, should provide a formal specification of the architecture in terms of components and connectors and how they are composed together. Further, a dynamic or mobile architecture description must provide a specification of how the architecture of the software system can change at runtime. Enabling specification of dynamic and mobile architectures is a large challenge for an Architecture Description Language (ADL). This article describes π-ADL, a novel ADL that has been designed in the ArchWare European Project to address specification of dynamic and mobile architectures. It is a formal, well-founded theoretically language based on the higher-order typed π-calculus. While most ADLs focus on describing software architectures from a structural viewpoint, π-ADL focuses on formally describing architectures encompassing both the structural and behavioural viewpoints. The π-ADL design principles, concepts and notation are presented. How π-ADL can be used for specifying static, dynamic and mobile architectures is illustrated through case studies. The π-ADL toolset is outlined.