The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Reuse contracts: managing the evolution of reusable assets
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML toolkit
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Compatibility and inheritance in software architectures
Science of Computer Programming
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Inheriting Synchronization Protocols via Sound Enrichment Rules
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Object Protocols as Functional Parsers
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
SOFA/DCUP: Architecture for Component Trading and Dynamic Updating
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Enhanced Component Interfaces to Support Dynamic Adaption and Extension
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Bounding Component Behavior via Protocols
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Protocols and Ports: Reusable Inter-Object Behavior Patterns
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A formal approach to software architecture
A formal approach to software architecture
Distributed Component System Based on Architecture Description: The SOFA Experience
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
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
A Framework for Evolutionary, Dynamically Updatable, Component-Based Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Distributed versioning model for MOF
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Enhancing component specification by behavior description: the SOFA experience
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
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
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
A Component-Based Architecture for Multi-Agent Systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science - Implementation and application of automata
Using role-based coordination to achieve software adaptability
Science of Computer Programming
A formal framework for middleware behavioural specification
ACM SIGSOFT Software Engineering Notes
Checking software component behavior using behavior protocols and spin
Proceedings of the 2007 ACM symposium on Applied computing
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and Generation of Environment for Model Checking of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic model-driven architecting of service-based software systems
Information and Software Technology
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking Distributed Components: The Vercors Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Environment for Component Model Checking from Hierarchical Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Coordination Model for Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Empirical Research Similarity Metrics For Software Component Interfaces
Journal of Integrated Design & Process Science
Getting 'Whole Picture' Behavior In A Use Case Model
Journal of Integrated Design & Process Science
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Effective verification of systems with a dynamic number of components
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Foundations of a simple and unified component-oriented language
Computer Languages, Systems and Structures
Component behavior relativity analysis
ACM SIGSOFT Software Engineering Notes
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
Risk analysis in reuse-oriented software development
International Journal of Information Technology and Management
Perspectives in component-based software engineering
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic model-driven development of web service architectures
International Journal of Web Engineering and Technology
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
Towards a Versatile Contract Model to Organize Behavioral Specifications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Modelling with Relational Calculus of Object and Component Systems - rCOS
The Common Component Modeling Example
The Common Component Modeling Example
The Common Component Modeling Example
Modes in component behavior specification via EBP and their application in product lines
Information and Software Technology
A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Carmen: Software Component Model Checker
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Life-Cycle Aware Modelling of Software Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Refinement and verification in component-based model-driven design
Science of Computer Programming
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Enhanced Property Specification and Verification in BLAST
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A perspective on service orchestration
Science of Computer Programming
Bridging the gap: Discrete-Event Systems for software engineering (short position paper)
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Interfaces of active objects with internal concurrency
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Contract-Based Coordination of Hardware Components for the Development of Embedded Software
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Extracting Behavior Specification of Components in Legacy Applications
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A formal model and composition language for context-aware service protocols
Proceedings of the first international workshop on Context-aware software technology and applications
A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing
Automated Construction of Reasonable Environment for Java Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Unifying Architectural and Behavioural Specifications of Distributed 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
Specifying Component Behavior with Port State Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
SCL: a simple, uniform and operational language for component-oriented programming in smalltalk
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
Slicing of component behavior specification with respect to their composition
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Extraction of component-environment interaction model using state space traversal
Proceedings of the 2010 ACM Symposium on Applied Computing
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Property-preserving evolution of components using VPA-based aspects
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Composite contract enforcement in hierarchical component systems
SC'07 Proceedings of the 6th international conference on Software composition
SC'07 Proceedings of the 6th international conference on Software composition
Composing components with shared services in the Kmelia model
SC'08 Proceedings of the 7th international conference on Software composition
Views on behaviour protocols and their semantic foundation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A new approach for component's port modeling in software architecture
Journal of Systems and Software
Behaviour Protocols for Interacting Stateful Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Architecture-centric component-based development needs a three-level ADL
ECSA'10 Proceedings of the 4th European conference on Software architecture
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Enriching Java Enterprise interfaces with formal sequential contracts
Proceedings of the Third Workshop on Behavioural Modelling
Modal interface theories for communication-safe component assemblies
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Automated generation of implementation from textual system requirements
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Enhanced Type-based Component Compatibility Using Deployment Context Information
Electronic Notes in Theoretical Computer Science (ENTCS)
ENT: A Generic Meta-Model for the Description of Component-Based Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
MASPEGHI 2004 mechanisms for specialization, generalization and inheritance
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Automating the building of software component architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
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 model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
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
Checking component composability
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
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Bridging the semantic gap between abstract models of embedded systems
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Component composition preserving behavioural contracts based on communication traces
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
An architecture for developing context-aware systems
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Analyzing component-based systems on the basis of architectural constraints
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A three-level component model in component based software development
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Partition refinement of Component Interaction Automata
Science of Computer Programming
A new formalism for describing concurrent systems
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
Service substitutability analysis based on behavior automata
Innovations in Systems and Software Engineering
Safe deployment for reconfigurable cyber-physical systems
Proceedings of the 18th international doctoral symposium on Components and architecture
SOFA 2 Component Framework and Its Ecosystem
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a verified component platform
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
| Hi-index | 0.01 |
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the interplay" on the component's interfaces and reflect step-by-step refinement of the component's specification during its design. In addition, the notation should be easy to comprehend and allow for formal reasoning about the correctness of the specification refinement and also about the correctness of an implementation in terms of whether it adheres to the specification. Targeting all these requirements together, the paper proposes employing behavior protocols which are based on a notation similar to regular expressions. As proof of the concept, the behavior protocols are used in the SOFA architecture description language at three levels: interface, frame, and architecture. Key achievements of this paper include the definitions of bounded component behavior and protocol conformance relation. Using these concepts, the designer can verify the adherence of a component's implementation to its specification at runtime, while the correctness of refining the specification can be verified at design time.