• Publications
  • Influence
Behavior Protocols for Software Components
TLDR
Using the definitions of bounded component behavior and protocol conformance relation, the designer can verify the adherence of a component's implementation to its specification at runtime, while the correctness of refining the specification can be verified at design time. Expand
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
TLDR
This paper shows how problems related to the lack of support for dynamic reconfigurations of hierarchical architectures can be addressed and presents an advanced component system SOFA 2.0 as a proof of the concept. Expand
SOFA/DCUP: architecture for component trading and dynamic updating
TLDR
SOFA and DCUP provide a small set of well scaling orthogonal abstractions which address three areas: the background for electronic commerce, the component model, and support for dynamic component updating in running applications. Expand
Determination of the number of light neutrino species
The cross-section for e+e− → hadrons in the vicinity of the Z boson peak has been measured with the ALEPH detector at the CERN Large Electron Positron collider, LEP. Measurements of the Z mass, Mz =Expand
DEECO: an ensemble-based component system
TLDR
A new class of component systems (Ensemble-Based Component Systems - EBCS) which bind autonomic components with cyclic execution via dynamic component ensembles controlling data exchange is proposed. Expand
What characterizes a (software) component?
TLDR
The experts, listed alphabetically above, participated in this virtual round table during the first quarter of 1998. Expand
Component composition errors and update atomicity: static analysis
TLDR
A new composition operator, ‘consent’, is proposed, which reflects these types of errors by producing erroneous traces and can be statically determined whether the atomicity of a dynamic update of a component is implicitly guaranteed by the behavior of its current environment. Expand
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models
TLDR
The presented solution is based on allowing several well defined patterns of dynamic reconfiguration and introducing a utility interface concept, which allows using a service provided under the SOA paradigm from a component-based system. Expand
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM
TLDR
An architectural analysis of the existing distributed objectoriented platforms is provided by articulating a series of key issues to be addressed in analyzing a particular platform by applying a relatively small number of design patterns. Expand
Bounding component behavior via protocols
TLDR
The SOFA Component Description Language is enhanced with a semantic description of a component's functionality that expresses the behavior of the component in terms of behavior protocols using a notation similar to regular expressions which is easy to read and comprehend. Expand
...
1
2
3
4
5
...