Sciweavers

131 search results - page 2 / 27
» On the Observable Behaviour of Composite Components
Sort
View
FM
2003
Springer
89views Formal Methods» more  FM 2003»
13 years 10 months ago
Team Automata Satisfying Compositionality
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...
Maurice H. ter Beek, Jetty Kleijn
FORTE
2007
13 years 6 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat
SEFM
2007
IEEE
13 years 11 months ago
Run-time Composition and Adaptation of Mismatching Behavioural Transactions
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
Javier Cámara, Gwen Salaün, Carlos Can...
DAIS
2003
13 years 6 months ago
Towards an Intuitive Interface for Tailored Service Compositions
Abstract. Novel modes of interaction and tailored application delivery are a key challenge in ubiquitous computing. This paper proposes a method of adaptively delivering lightweigh...
Steffen Higel, Tony O'Donnell, David Lewis, Vincen...
FTDCS
1997
IEEE
13 years 9 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou