Add to ORKGA composition language based on a formal semantic foundation will facilitate precise specification of glue abstractions and compositions, and will support reasoning about their behaviour. The semantic foundation, however, must address a set of requirements like encapsulation, objects as processes, components as abstractions, plug compatibility, a formal object model, and scalability. In this work, we propose the piL-calculus, an extension of the pi-calculus, as a formal foundation for software composition, define a language in terms of it, and illustrate how this language can be used to plug components together
Abstract—Based on the notion of ‘design by contract’, components interaction patterns and process pa...
The way we have come to expect computer systems to behave is that we can simply add a new component ...
International audienceWe describe a process calculus featuring high level constructs for component-o...
When do we call a software development environment a composition environment? A composition environm...
Present-day applications are increasingly required to be flexible, or "open" in a variety of ways. B...
Many competing definitions of software components have been proposed over the years, but still today...
Object-oriented technology and design is not the final answer to the recurrent problem of making sys...
The last decade has shown that object-oriented technology alone is not enough to cope with the rapid...
Abstract. Companion papers give examples of the development of concur-rent programs using a design n...
For the development of present-day applications, programming languages supporting high order abstrac...
AbstractAlthough the term software component has become commonplace, there is no universally accepte...
www.iam.unibe.ch/∼scg Although the term software component has become commonplace, there is no unive...
Abstract The key requirement for open systems is that they be flexible, or recomposable. This sugges...
The development of flexible and reusable programming abstractions has suffered from the inherent pro...
Abstract. While current studies on Web services composition are mostly focused — from the technical ...
Abstract—Based on the notion of ‘design by contract’, components interaction patterns and process pa...
The way we have come to expect computer systems to behave is that we can simply add a new component ...
International audienceWe describe a process calculus featuring high level constructs for component-o...
When do we call a software development environment a composition environment? A composition environm...
Present-day applications are increasingly required to be flexible, or "open" in a variety of ways. B...
Many competing definitions of software components have been proposed over the years, but still today...
Object-oriented technology and design is not the final answer to the recurrent problem of making sys...
The last decade has shown that object-oriented technology alone is not enough to cope with the rapid...
Abstract. Companion papers give examples of the development of concur-rent programs using a design n...
For the development of present-day applications, programming languages supporting high order abstrac...
AbstractAlthough the term software component has become commonplace, there is no universally accepte...
www.iam.unibe.ch/∼scg Although the term software component has become commonplace, there is no unive...
Abstract The key requirement for open systems is that they be flexible, or recomposable. This sugges...
The development of flexible and reusable programming abstractions has suffered from the inherent pro...
Abstract. While current studies on Web services composition are mostly focused — from the technical ...
Abstract—Based on the notion of ‘design by contract’, components interaction patterns and process pa...
The way we have come to expect computer systems to behave is that we can simply add a new component ...
International audienceWe describe a process calculus featuring high level constructs for component-o...