Sciweavers

1528 search results - page 135 / 306
» Object-Oriented Software Composition
Sort
View
MIDDLEWARE
2004
Springer
14 years 1 months ago
Scooby: middleware for service composition in pervasive computing
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...
Jon Robinson, Ian Wakeman, Tim Owen
ECOOPW
1994
Springer
14 years 2 days ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler
SIGSOFT
2009
ACM
14 years 8 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
WADT
1999
Springer
14 years 7 days ago
From States to Histories
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
Manfred Broy
SIGSOFT
2008
ACM
14 years 8 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...