Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
The blackboard model of problem solving
AI Magazine
Module interconnection languages
Journal of Systems and Software
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
JSP and JSD: the Jackson approach to software development (2nd ed)
JSP and JSD: the Jackson approach to software development (2nd ed)
Design and validation of computer protocols
Design and validation of computer protocols
Specification and design of the X.25 protocol: a case study in CSP
Developments in concurrency and communication
A calculus of mobile processes, I
Information and Computation
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Introduction to the Special Issue on Software Architecture
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
IEEE Transactions on Software Engineering - Special issue on software architecture
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
ACM Computing Surveys (CSUR)
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
ICSE '93 Selected papers from the Workshop on Studies of Software Design
An Improved Failures Model for Communicating Processes
Seminar on Concurrency, Carnegie-Mellon University
A formal approach to software architecture
A formal approach to software architecture
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
Toward a formal theory of extensible software
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Software architecture and mobility
ISAW '98 Proceedings of the third international workshop on Software architecture
An architecture for constructing self-evolving software systems
ISAW '98 Proceedings of the third international workshop on Software architecture
Versioned software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
Multi-view description of software architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Separating fact from fiction in software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
Architecture-level dependence analysis in support of software maintenance
ISAW '98 Proceedings of the third international workshop on Software architecture
WWAC: WinWin abstraction based decision coordination
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
Using off-the-shelf middleware to implement connectors in distributed software architectures
Proceedings of the 21st international conference on Software engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
An architectural style for multiple real-time data feeds
Proceedings of the 21st 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
Robots: a real-time systems architectural style
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A mediation infrastructure for digital library services
DL '00 Proceedings of the fifth ACM conference on Digital libraries
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Towards the principled design of software engineering diagrams
Proceedings of the 22nd international conference on Software engineering
An approach to architectural analysis of product lines
Proceedings of the 22nd international conference on Software engineering
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 2nd international workshop on Software and performance
How system architectures impede interoperability
Proceedings of the 2nd international workshop on Software and performance
Towards agent oriented application frameworks
ACM Computing Surveys (CSUR)
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compiler and tool support for debugging object protocols
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
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
Increasing the confidence in off-the-shelf components: a software connector-based approach
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Reusable component interconnection patterns for distributed software architectures
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Functional paleontology: system evolution as the user sees it
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Model checking distributed objects design
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of 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
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for flexible evolution in distributed heterogeneous systems
Proceedings of the International Workshop on Principles of Software Evolution
IEEE Transactions on Software Engineering
A scalable approach to the design of SW architectures with dynamically created/destroyed components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
On the role of middleware in architecture-based software development
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A Methodology for Architecture-Level Reliability Risk Analysis
IEEE Transactions on Software Engineering
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Components for embedded software: the PECOS approach
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A Component Model for Perspective Management of Enterprise Software Reuse
Annals of Software Engineering
A Theory of Object-Oriented Design
Information Systems Frontiers
Facilitating system-of-systems evolution with architecture support
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
The impact of component architectures on interoperability
Journal of Systems and Software
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
An Integrated Network Component Architecture
IEEE Software
Architecture-Based Performance Analysis Applied to a Telecommunication System
IEEE Transactions on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
CASL: the common algebraic specification language
Theoretical Computer Science
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Functional Paleontology: The Evolution of User-Visible System Services
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Structured Component Composition Frameworks for Embedded System Design
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Systems Engineering Foundations of Software Systems Integration
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
A Compositional Approach to Connector Construction
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Algebraic Support for Service-Oriented Architecture
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Architecture Support for System-of-Systems Evolution
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Building Extensible Workflow Systems Using an Event-Based Infrastructure
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
ABC/ADL: An ADL Supporting Component Composition
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
An Architectural Meta-application Model for Coarse Grained Metacomputing
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
From UML Descriptions of High-Level Software Architectures to LQN Performance Models
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
The Common Framework Initiative for Algebraic Specification and Development of Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
New Issues in Object Interoperability
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Merging Integration Solutions for Architecture and Security Mismatch
ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
Identifying Evolvability for Integration
ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Introducing Connections Into Classes With Static Meta-Programming
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Acme-Based Software Architecture Interchange
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination Models and Software Architectures in a Unified Software Development Process
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Exogenous and Endogenous Extensions of Architectural Types
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Coordination for Orchestration
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Coordinating Software Evolution via Two-Tier Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Dynamically Adapting the Behaviour of Software Components
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Towards a Colimit-Based Semantics for Visual Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
On the Integration of Configuration and Meta-level Programming Approaches
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
CARP@ - A Reflection Based Tool for Observing Jini Services
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Packaging Predictable Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Scenario-Based Connector Optimization
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Interface Compatibility Checking for Software Modules
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Software Architecture-Based Adaptation for Pervasive Systems
ARCS '02 Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing
Architectural Types Revisited: Extensible And/Or Connections
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Using Model Checking to Detect Deadlocks in Distributed Object Systems
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Human exploration and development of space: using XML database space wide web
Information Sciences—Informatics and Computer Science: An International Journal - Internet computing
Modelling architectures for dynamic systems
Programming methodology
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
A feature manager approach to the analysis of component-interactions
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Proceedings of the 25th International Conference on Software Engineering
DADO: enhancing middleware to support crosscutting features in distributed, heterogeneous systems
Proceedings of the 25th International Conference on Software Engineering
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
The unified problem-solving method development language UPML
Knowledge and Information Systems
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
Journal of Systems and Software - Special issue on: Component-based software engineering
Analysis of a software product line architecture: an experience report
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Enforcing Business Policies Through Automated Reconfiguration
Proceedings of the 16th IEEE international conference on Automated software engineering
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Ontology support for web service processes
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static analysis of component systems using behavior protocols
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Uniform resource visualization: software and services
Performance analysis and grid computing
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Using Event-Based Translation to Support Dynamic Protocol Evolution
Proceedings of the 26th International Conference on Software Engineering
Proceedings of the 26th International Conference on Software Engineering
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Contract-Based Component Model for Embedded Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A basic model for components implementation of software architecture
ACM SIGSOFT Software Engineering Notes
Modeling Behavior in Compositions of Software Architectural Primitives
Proceedings of the 19th IEEE international conference on Automated software engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
System level modeling of component based software systems
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
Designing Interaction Systems for Distributed Applications
IEEE Distributed Systems Online
A comprehensive approach for the development of modular software architecture description languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A refinement calculus for software components and architectures
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Engineering agent interactions from ACL-based reusable connectors
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
DISCOA: architectural adaptations for security and QoS
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
Towards an architectural treatment of software security: a connector-centric approach
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
A framework for analyzing exception flow in software architectures
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
A Taxonomy of Software Component Models
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Interaction-based programming with classages
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using the web service modeling ontology to enable semantic e-business
Communications of the ACM - The semantic e-business vision
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Dream types: a domain specific type system for component-based message-oriented middleware
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
A specification language for coordinated objects
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Structural component composition for system-level models
Formal methods and models for system design
On contracting different behavioral properties in component-based systems
Proceedings of the 2006 ACM symposium on Applied computing
Synthesizing and integrating legacy components as services using adapters
Science of Computer Programming - Software analysis, evolution and re-engineering
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
On the semantics of software adaptation
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
AVDL: a highly adaptable architecture view description language
Journal of Systems and Software
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science - Implementation and application of automata
Component adaptation through flexible subservicing
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
A metadata-based architectural model for dynamically resilient systems
Proceedings of the 2007 ACM symposium on Applied computing
Towards Multiple Access in Generic Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Classifying architectural constraints as a basis for software quality assessment
Advanced Engineering Informatics
Modeling Product Line Architectures through Change Sets and Relationships
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Semantic model-driven architecting of service-based software systems
Information and Software Technology
A java beans component architecture for cryptographic protocols
SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7
Role-based Architectural Modelling of Socio-Technical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Interoperability Checking in Visual Coordination Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioural Types for Service Integration: Achievements and Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Revisiting a Formal Framework for Modeling Aspects in the Design Phase
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
Software Connector Classification and Selection for Data-Intensive Systems
IWICSS '07 Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques
Representing Hierarchical Mobility in Software Architectures
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Towards a Coordination Model for Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
Safe Adaptation of Component Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
A software architecture and framework for Web-based distributed Decision Support Systems
Decision Support Systems
The adequacy of languages for representing interaction mechanisms
Information Systems Frontiers
Supporting high interoperability of components by adopting an agent-based approach
Software Quality Control
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Aspect-oriented connectors for coordination
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
On the design of abstract binding connectors for high performance computing component models
Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing
IEEE Transactions on Software Engineering
Science of Computer Programming
A semantic framework for open processes
Theoretical Computer Science
Operational semantics of multiagent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Regression testing based-on slicing of component-based software architectures
ISEC '08 Proceedings of the 1st India software engineering conference
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
Architectural Connectors for Sequence Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting connector knowledge to efficiently disseminate highly voluminous data sets
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
An aspect-oriented approach for improving architecture design efficiency
Companion of the 30th international conference on Software engineering
Executable Specifications for Real-Time Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Semantic model-driven development of web service architectures
International Journal of Web Engineering and Technology
Taxonomy of architectural style usage
Proceedings of the 2006 conference on Pattern languages of programs
An Approach to Modelling and Verification of Component Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Robustness in Interaction Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems V
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
The Common Component Modeling Example
Non-synchronous Communications in Process Algebraic Architectural Description Languages
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Modeling Architectural Patterns' Behavior Using Architectural Primitives
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Pantaxou: a domain-specific language for developing safe coordination services
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Practical refactoring-based framework upgrade
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Compositional analysis of deadlock-freedom for tree-like component architectures
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
A modelling approach to service-oriented architecture
Enterprise Information Systems
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
An evolving hierarchical & modular approach to resilient software
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
The Future of Software: Adaptation and Dependability
Software Engineering
Implementing Services by Partial State Machines
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
A perspective on service orchestration
Science of Computer Programming
Direct model checking matrix algorithm
Journal of Computer Science and Technology
Software composition with Linda
Computer Languages, Systems and Structures
Typing Component-Based Communication Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
Ranking and Selecting Services
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
An Improvement of Software Architecture Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology-based modelling of architectural styles
Information and Software Technology
Discovery of architectural layers and measurement of layering violations in source code
Journal of Systems and Software
WSEAS Transactions on Computers
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
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic Development of Trustworthy Component Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Modeling Of Middleware-based Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generic Framework for Connector Architectures based on Components and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated adaptations to dynamic software architectures by using autonomous agents
Engineering Applications of Artificial Intelligence
Editorial: A roadmap of problem frames research
Information and Software Technology
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
A description language for composable components
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Context-based adaptation of component behavioural interfaces
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Architectural description languages (ADLs) vs UML: a review
ACM SIGSOFT Software Engineering Notes
Declarative mediation in distributed systems
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Extending architectural representation in UML with view integration
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Improving dependability of component-based systems via multi-versioning connectors
Architecting dependable systems
Increasing system dependability through architecture-based self-repair
Architecting dependable systems
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Slicing of component behavior specification with respect to their composition
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Science of Computer Programming
Interaction refinement in the design of business collaborations
Proceedings of the 2010 ACM Symposium on Applied Computing
Paving the road for formally defined architecture description in software development
Proceedings of the 2010 ACM Symposium on Applied Computing
Modeling the variability of architectural patterns
Proceedings of the 2010 ACM Symposium on Applied Computing
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Software of the future is the future of software?
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
A Bayesian model for predicting reliability of software systems at the architectural level
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Architectural verification of black-box component-based systems
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Managing socio-technical interactions in healthcare systems
BPM'07 Proceedings of the 2007 international conference on Business process management
International Journal of Autonomic Computing
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
Analyzing architectural styles
Journal of Systems and Software
Ensuring properties of interaction systems
Program analysis and compilation, theory and practice
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
Journal of Systems and Software
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
Reachability in Tree-Like Component Systems is PSPACE-Complete
Electronic Notes in Theoretical Computer Science (ENTCS)
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecting in software ecosystems: interface translucence as an enabler for scalable collaboration
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Software architecture awareness in long-term software product evolution
Journal of Systems and Software
A domain-specific approach to architecturing error handling in pervasive computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Elements of self-adaptive systems: a decentralized architectural perspective
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
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
Architecture-centric component-based development needs a three-level ADL
ECSA'10 Proceedings of the 4th European conference on Software architecture
Identifying architectural connectors through formal concept analysis of communication primitives
ECSA'10 Proceedings of the 4th European conference on Software architecture
A formal approach to designing secure software architectures
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Software architecture and software configuration management
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Formal verification of stochastic timing behavior in web-based business process collaboration
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
MMSA: metamodel multimedia software architecture
Advances in Multimedia
Component-oriented verification of noninterference
Journal of Systems Architecture: the EUROMICRO Journal
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Achieving reuse with pluggable software units
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
A practice-driven systematic review of dependency analysis solutions
Empirical Software Engineering
An architectural approach to end user orchestrations
ECSA'11 Proceedings of the 5th European conference on Software architecture
Layered patterns in modelling and transformation of service-based software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
2/3 alternating simulation between interface automata
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An architecture-centric approach for producing quality systems
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
How to implement software connectors? a reusable, abstract and adaptable connector
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A component language for structured parallel programming
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A new component-oriented programming language with the first-class connector
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
On a parthood specification method for component software
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Development of a synchronous subset of AADL
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Hierarchical integration of runtime models
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Description technique for component composition focusing on black-box view
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Service discovery protocol interoperability in the mobile environment
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Augmenting UML models for composition conflict analysis
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
A compositional approach to service validation
SDL'05 Proceedings of the 12th international conference on Model Driven
Towards architectural connectors for UML
Formal Methods in Software and Systems Modeling
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Symbolic equivalences for open systems
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Platform-independent modelling in MDA: supporting abstract platforms
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Preserving architectural properties in multithreaded code generation
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
A contracting system for hierarchical components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
A formal model for service-oriented interactions
Science of Computer Programming
Analysis of compositional conflicts in component-based systems
SC'05 Proceedings of the 4th international conference on Software Composition
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Ontology transformation and reasoning for model-driven architecture
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Ontology-based composition and transformation for model-driven service architecture
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Automatic checking of component protocols in component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Static verification of indirect data sharing in loosely-coupled component systems
SC'06 Proceedings of the 5th international conference on Software Composition
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Modeling composition in dynamic programming environments with model transformations
SC'06 Proceedings of the 5th international conference on Software Composition
Semantics-aware services for the mobile computing environment
Architecting Dependable Systems III
A feature-oriented alternative to implementing reliability connector wrappers
Architecting Dependable Systems III
Reasoning about exception flow at the architectural level
Rigorous Development of Complex Fault-Tolerant Systems
Architectural building blocks for plug-and-play system design
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Bounded analysis and decomposition for behavioural descriptions of components
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A specification language and a framework for the execution of composite models in systems biology
Transactions on Computational Systems Biology VII
Aspect-Oriented development of crosscutting features in distributed, heterogeneous systems
Transactions on Aspect-Oriented Software Development II
Software engineering techniques for the development of systems of systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Integrating architecture description languages: a semantics-based approach
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Component composition preserving behavioural contracts based on communication traces
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Reusable components for implementing agent interactions
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Compositional modelling and reasoning in an institution for processes and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Formalizing and verifying compatibility and consistency of SysML blocks
ACM SIGSOFT Software Engineering Notes
Analyzing component-based systems on the basis of architectural constraints
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
BeJC: checking compliance between Java implementation and behavior specification
Proceedings of the 17th international doctoral symposium on Components and Architecture
Property networks allowing oracle-based mode-change propagation in hierarchical components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Unblockable compositions of software components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
A three-level component model in component based software development
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Formal design of structural and dynamic features of publish/subscribe architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
View-based development of a simulation framework for multi-disciplinary environmental modelling
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Foundations of distributed multiscale computing: Formalization, specification, and analysis
Journal of Parallel and Distributed Computing
Representing dynamic pluggable software units
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Challenges for SoS architecture description
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
Reusing design experiences to materialize software architectures into object-oriented designs
Information Sciences: an International Journal
Journal of Systems and Software
The Journal of Supercomputing
Computer Science - Research and Development
| Hi-index | 0.00 |
As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and analyzing these designs. In the article we present a formal approach to one aspect of architectural design: the interactions among components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We further provide a formal semantics and show how this leads to a system in which architectural compatibility can be checked in a way analogous to type-checking in programming languages.