Petri nets: an introduction
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Types and modules for net specifications
Concurrency and nets: advances in Petri nets
PVM: a framework for parallel distributed computing
Concurrency: Practice and Experience
Design and validation of computer protocols
Design and validation of computer protocols
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Computer
Proceedings of the Workshop on Object-Oriented Technology
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
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
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Extending component-based design with hardware components
Science of Computer Programming - Special issue on new software composition concepts
The service creation environment: a telecom case study
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Concern-Specific Languages in a Visual Web Service Creation Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Life-Cycle Aware Modelling of Software Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Model-based runtime reconfiguration of component-based systems
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Parametric Performance Contracts for QML-specified Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Slicing of component behavior specification with respect to their composition
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Component simulation-based substitutivity managing QoS and composition issues
Science of Computer Programming
Modelling parametric contracts and the state space of composite components by graph grammars
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
Specification and evaluation of safety properties in a component-based software engineering process
Component-Based Software Development for Embedded Systems
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Hi-index | 0.00 |
While industrial middleware platforms such as CORBA, EJB, or .NET facilitate the development of distributed applications by providing certain infra-structural services required in many distributed systems (such as name services, remote method calls, parameter marshalling, etc.), these industrial platforms fail to support the development of distributed systems with independent components. In particular, their component models do not provide sufficient information for component interoperability checks or automated component adaptation. Especially when considering the personal and institutional separation between component developer and component vendor as one of the prerequisites of an independent component market, finding automatically as many component interoperability errors as possible is crucial. Hence, it is of practical concern that component interfaces not only model the correct way of calling the single methods but also the valid sequences of method calls. Likewise, practice clearly shows that component reuse usually requires component adaptation. This directly shows that only detecting incompatibilities is of limited use, but advocates for techniques of automated component adaptation.In this paper we describe algorithms and tools for specifying and analysing component interfaces in order to check interoperability and to generate adapted component interfaces automatically. Therefore, we introduce the concept of parameterised contracts and a new component interface model.