Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of mobile processes, I
Information and Computation
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 2nd international workshop on Software and performance
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Proceedings of the 2nd international workshop on Software and performance
Architectural style requirements for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Combining stochastic process algebras and queueing networks for software architecture analysis
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Exogenous and Endogenous Extensions of Architectural Types
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Architectural Types Revisited: Extensible And/Or Connections
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Causal semantics for the algebra of connectors
Formal Methods in System Design
Self-management system based on self-healing mechanism
APNOMS'06 Proceedings of the 9th Asia-Pacific international conference on Network Operations and Management: management of Convergence Networks and Services
A multi-agent based context aware self-healing system
IDEAL'05 Proceedings of the 6th international conference on Intelligent Data Engineering and Automated Learning
Proactive self-healing system for application maintenance in ubiquitous computing environment
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |
Architectural styles play an important role in software engineering as they convey codified principles and experience which help the construction of software systems with high levels of efficiency and confidence. We address the problem of formalizing and analyzing architectural styles in an operational setting by introducing the intermediate abstraction of architectural type. We develop the concept of architectural type in a process algebraic framework because of its modeling adequacy and the availability of means, such as Milner's weak bisimulation equivalence, which allow us to reason compositionally and efficiently about the well formedness of architectural types.