Sciweavers

132 search results - page 17 / 27
» Component Contracts in Service-Oriented Architectures
Sort
View
COMPSAC
2004
IEEE
15 years 10 months ago
Cooperative and Group Testing in Verification of Dynamic Composite Web Services
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning L...
SCS
2003
15 years 8 months ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid
IROS
2006
IEEE
112views Robotics» more  IROS 2006»
16 years 18 days ago
Requirements to UPnP for Robot Middleware
– The UPnP (Universal Plug and Play) defines an architecture for pervasive peer-to-peer network connectivity of intelligent appliances. It shares the service oriented architectur...
Sang Chul Ahn, Jung-Woo Lee, Kiwoong Lim, Heedong ...
ICAC
2009
IEEE
15 years 10 months ago
A decentralized, architecture-based framework for self-growing applications
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
Ada Diaconescu, Philippe Lalanda
FASE
2008
Springer
15 years 8 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig