Communicating sequential processes
Communicating sequential processes
The blackboard model of problem solving
AI Magazine
Larger scale systems require higher-level abstractions
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The Z notation: a reference manual
The Z notation: a reference manual
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Selected papers of the Second Workshop on Concurrency and compositionality
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Design patterns for object-oriented software development
Design patterns for object-oriented software development
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A Domain-Specific Software Architecture for Adaptive Intelligent Systems
IEEE Transactions on Software Engineering - Special issue on software architecture
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
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
Adding implicit invocation to traditional programming languages
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Tutorial on Software Design Techniques
Tutorial on Software Design Techniques
A Formal Approach to Software Architectures
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
Formal Specifications as Reusable Frameworks
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Formalizing Design Spaces: Implicit Invocation Mechanisms
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Towards Formalized Software Architectures
Towards Formalized Software Architectures
Toward boxology: preliminary classification of 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
Software testing at the architectural level
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
Style-based refinement for software architecture
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
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Reasoning about implicit invocation
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Compositional specification of software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Using adapters to reduce interaction complexity in reusable component-based software development
SSR '99 Proceedings of the 1999 symposium on Software reusability
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
An extensible model of architecture description
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Towards the principled design of software engineering diagrams
Proceedings of the 22nd international conference on Software engineering
On the formalization of architectural types with process algebras
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A notation for problematic architecture interactions
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Architectural style requirements for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
The impact of component architectures on interoperability
Journal of Systems and Software
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Architectural Style of Component Programming
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Classifying Interoperability Conflicts
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Exogenous and Endogenous Extensions of Architectural Types
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Recovery of Architectural Structure: A Case Study
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Architectural Types Revisited: Extensible And/Or Connections
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Human exploration and development of space: using XML database space wide web
Information Sciences—Informatics and Computer Science: An International Journal - Internet computing
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
Composition and interfaces within software architecture
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Putting non-functional requirements into software architecture
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
The Golden Age of Software Architecture
IEEE Software
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Simplifying transformation of software architecture constraints
Proceedings of the 2006 ACM symposium on Applied computing
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Classifying architectural constraints as a basis for software quality assessment
Advanced Engineering Informatics
Systematic pattern selection using pattern language grammars and design space analysis
Software—Practice & Experience
Software pre-patterns as architectural knowledge
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Taxonomy of architectural style usage
Proceedings of the 2006 conference on Pattern languages of programs
Let It Flow: Building Mashups with Data Processing Pipelines
Service-Oriented Computing - ICSOC 2007 Workshops
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
Ontology-based modelling of architectural styles
Information and Software Technology
Monterey Phoenix, or how to make software architecture executable
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
Combining formal methods and aspects for specifying and enforcing architectural invariants
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
An architecture-driven software mobility framework
Journal of Systems and Software
Analyzing architectural styles
Journal of Systems and Software
A language for formal design of embedded intelligence research systems
Robotics and Autonomous Systems
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
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
Towards formalizing network architectural descriptions
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Embedded Systems Design
Consistent reconfiguration for publish/subscribe architecture styles
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
A formal model for automated software modularity and evolvability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
Journal of Systems and Software
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Hi-index | 0.00 |
The software architecture of most systems is usually described informally and diagrammatically by means of boxes and lines. In order for these descriptions to be meaningful, the diagrams are understood by interpreting the boxes and lines in specific, conventionalized ways. The informal, imprecise nature of these interpretations has a number of limitations. In this article we consider these conventionalized interpretations as architectural styles and provide a formal framework for their uniform definition. In addition to providing a template for precisely defining new architectural styles, this framework allows for analysis within and between different architectural styles.