Adding action refinement to a finite process algebra
Information and Computation
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 21st international conference on Software engineering
Secrecy by typing in security protocols
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
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
An Interaction-based Language and its Typing System
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Modelling Darwin in the Pi-Caculus
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Secure composition of untrusted code: box π, wrappers, and causality types
Journal of Computer Security - CSFW13
Communications of the ACM - Service-oriented computing
Authenticity by typing for security protocols
Journal of Computer Security - Special issue on CSFW14
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
An Adaptation-based Approach to Incrementally Build Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A Rigorous Model of Service Component Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Framework composition conformance via refinement checking
Proceedings of the 2008 ACM symposium on Applied computing
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
Conformance notions for the coordination of interaction components
Science of Computer Programming
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Hi-index | 0.00 |
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present here a formal methodology for the soft adaptation of components presenting mismatching interaction behaviour. The notions of access rights (associating components with the services they are allowed to use) and subservicing (providing alternative services in place of those requested by components lacking the required access rights) are exploited to feature a secure and flexible adaptation of third-party components.