A calculus of mobile processes, I
Information and Computation
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
Regular types for active objects
Object-oriented software composition
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Message filters for object-oriented systems
Software—Practice & Experience
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
CORBA distributed objects: using Orbix
CORBA distributed objects: using Orbix
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
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Building systems from commerical components
Building systems from commerical components
Compatibility and inheritance in software architectures
Science of Computer Programming
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Abstracting Object Interactions Using Composition Filters
ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
Semantic and Usage Packaging for Software Components
Proceedings of the Workshop on Object-Oriented Technology
Dynamically Adapting the Behaviour of Software Components
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
A Protocol Based Approach to Specifying Interoperability between Objects
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
A Contract-Based Component Model for Embedded Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A Multilevel Composability Model for Semantic Web Services
IEEE Transactions on Knowledge and Data Engineering
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
ServiceMosaic project: modeling, analysis and management of web services interactions
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Invocation of replicated web services using smart proxies
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
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)
Extending metadata with scenarios in adaptive distributed system
Journal of Network and Computer Applications
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Goal-oriented composition of services
SC'08 Proceedings of the 7th international conference on Software composition
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Hi-index | 0.01 |
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the relative order in which they expect their methods to be called. Some of the existing proposals try to add protocol information to object interfaces, but most of them fail to do so in a modular way. In this paper we propose an extension of the CORBA IDL that uses a sugared subset of the polyadic 驴-calculus for describing object service protocols, based on the concept of roles. Roles allow the modular specification of the observable behavior of CORBA objects, reducing the complexity of the compatibility tests. Our main aim is the automated checking of protocol interoperability between CORBA objects in open component-based environments, using similar techniques to those used in software architecture description and analysis. In addition, our proposal permits the study of substitutability between CORBA objects, as well as the realization of dynamic compatibility tests during their runtime execution.