Sciweavers

260 search results - page 15 / 52
» Top-Down Composition of Software Architectures
Sort
View
ESEC
1997
Springer
15 years 6 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
IEEESCC
2006
IEEE
15 years 8 months ago
Using Assumptions in Service Composition Context
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
Zheng Lu, Aditya Ghose, Peter Hyland, Ying Guan
ICSE
2005
IEEE-ACM
16 years 2 months ago
Re-engineering software architecture of home service robots: a case study
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin ...
OOPSLA
2005
Springer
15 years 7 months ago
A software product line architecture for distributed real-time and embedded systems: a separation of concerns approach
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
Shih-Hsi Liu
MIDDLEWARE
2004
Springer
15 years 7 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