Sciweavers

131 search results - page 1 / 27
» On the Observable Behaviour of Composite Components
Sort
View
ENTCS
2010
88views more  ENTCS 2010»
13 years 4 months ago
On the Observable Behaviour of Composite Components
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
Rolf Hennicker, Stephan Janisch, Alexander Knapp
SEFM
2005
IEEE
13 years 10 months ago
On Compatibility and Behavioural Substitutability of Component Protocols
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
Nabil Hameurlain
AIPS
2009
13 years 5 months ago
Composition of Partially Observable Services Exporting their Behaviour
Giuseppe De Giacomo, Riccardo De Masellis, Fabio P...
WOA
2001
13 years 6 months ago
Multi-Agent Systems as Composition of Observable Systems
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
Mirko Viroli, Andrea Omicini
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
13 years 11 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro