Component Composition Validation

@inproceedings{Pulvermller2011ComponentCV,
  title={Component Composition Validation},
  author={Elke Pulverm{\"u}ller and Andreas Speck and Sven Feja and S{\"o}ren Witt},
  booktitle={SoMeT},
  year={2011}
}
Institute of Technical and Computer EducationUniversity of Zielona Gora65–762 Zielona Gora, Poland, andUniversitat LeipzigLehrstuhl fur InformationsmanagementD–04109 Leipzig, Germanye-mail:franczyk@wifa.uni-leipzig.deMany approaches such as component technologies have been invented in order to support software reuse. Based on thesetechnologies a large variety of techniques have been introduced to connect components. However, there is little experienceconcerning the validation of component… 

Figures from this paper

Characterizing Black-box Composition Operators
TLDR
This paper describes a modelling framework that allows a software developer to describe the interface of the operators she wants to use, and describe the properties she expects from them to fit her needs (e.g., idempotence, commutativity, associativity).
Verification Support for Generative System Development
TLDR
The paper presents the way to map program assets to the version model and to finite state automata which are the prerequisite for the checking and describes the hierarchy in a version model based on Boolean logic.
Composable Modeling Method for Generic Test Platform for Cbtc System Based on the Port Object
TLDR
This paper discusses a composable modeling method for the generic test platform for CBTC system based on the port object, which defines theport object(PO) model as the basic component for composable modeled, verifies its port behavior and generates its compositional properties.
Model Checking Service Component Composition by SPIN
TLDR
This paper shows how to build a reliable BPEL process by translating a formal signature model and behavior model for SCA to Promela, and Promela specifications are then verified with the model checker SPIN.
Business Process Verification
TLDR
This paper introduces a model to specify the rules (rules model) and demonstrates how the results of the checks can be displayed in the business process models, represented in a graphical editor.
Validating TOSCA Application Topologies
TLDR
This paper formalise the conditions that must hold for checking the validity of TOSCA application topologies, and presents an open-source prototype of validator (called SOMMELIER) that implements such conditions.
A Business Process Composition Model for Web Component
TLDR
This paper proposes business process composition method for development of web applications based on the interactions of the connectors that are the interfaces between the business processes in web component and demonstrates that this algorithm is able to process components and interfaces.
Sommelier: A Tool for Validating TOSCA Application Topologies
TLDR
This paper illustrates the conditions ensuring the validity of a TOSCA application topology and introduces Sommelier, an open-source validator of TOSca application topologies based on such validity conditions.
Description of protocol rules
TLDR
This paper focuses on models of interactions between system components and the possibilities to verify that the version systems fulfill the rules (specifications) of the protocols, and discusses the dynamic interactions between these versions.
Robot development: from components to systems
TLDR
This is list by no means meant to be exhaustive, it just lists what component layers are getting adopted in the community to date.

References

SHOWING 1-10 OF 28 REFERENCES
Composition Validation and Subjectivity in GenVoca Generators
TLDR
It is shown that the interfaces and bodies of GenVoca components are subjective, i.e., they mutate and enlarge upon instantiation, which enables software systems with customized interfaces to be composed from components with "standardized" interfaces.
Towards a new component composition process
  • W. Vanderperren, B. Wydaeghe
  • Computer Science
    Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001
  • 2001
TLDR
This paper introduces a component composition methodology based on the concept of composition patterns, and proposes a component documentation and a set of algorithms bused on finite automata theory to perform an automatic compatibility check and glue-code generation to support this methodology.
Aspect Composition Applying the Design by Contract Principle
TLDR
It is shown how assertions can be useful in this respect to support the software developer in the composition validation problem evolving in this context.
Automatic Component Adaptation By Concurrent State Machine Retrofitting
TLDR
This paper develops a method assisting the software engineer in identifying the detailed causes for incompatibility and systematically overcoming them, and permits the synthesis of common adapters, coercing incompatible components into meeting requirements.
Dynamic Coupling of Binary Components and its Technical Support
TLDR
This work describes an approach to generate pre-compiled components by appropriate compiler extensions by furnishing components with a type consisting of two protocols — a call and a use protocol that allows for automatic adaption of components in changing environments.
Versioning in software engineering
  • A. Speck, E. Pulvermuller
  • Computer Science
    IECON'01. 27th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.37243)
  • 2001
TLDR
A way to express the reuse of pieces of software and design reasoning by applying versions in order to describe sets of features the authors want to have in a system.
Aspect-Oriented Programming
TLDR
An analysis of why certain design decisions have been so difficult to clearly capture in actual code is presented, and the basis for a new programming technique, called aspect-oriented programming, that makes it possible to clearly express programs involving such aspects.
A Version Model for Aspect Dependency Management
TLDR
A more general model (version model) is proposed to capture different facettes of AOP as well as a partial solution towards unit consistency based on versions.
RAVEN: Real-Time Analyzing and Verification Environment
  • Jürgen Ruf
  • Computer Science
    J. Univers. Comput. Sci.
  • 2001
TLDR
This paper presents the real-time verification and analysis tool RAVEN, developed for verifying timed systems on various levels of abstraction and shows that its approach outperforms some state-of-the-art verification tools.
Aspect-oriented programming
TLDR
This tutorial shows how to use AOP to implement crosscutting conerns in a concise modular way and includes a description of their underlying model, in terms of which a wide range of AOP languages can be understood.
...
1
2
3
...