Component Composition Validation

  title={Component Composition Validation},
  author={E. Pulverm{\"u}ller and A. Speck and Sven Feja and S. Witt},
  • E. Pulvermüller, A. Speck, +1 author S. Witt
  • Published in SoMeT 2011
  • Computer Science
  • 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… CONTINUE READING

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    XOpT – XML-based Composition Concept
    • 2
    • PDF
    Model Checking Service Component Composition by SPIN
    • 4
    Business Process Verification
    • 6
    • PDF
    Validating TOSCA Application Topologies
    • 6
    • Highly Influenced
    • PDF
    Description of protocol rules
    Robot development: from components to systems
    • 30


    Publications referenced by this paper.
    Composition Validation and Subjectivity in GenVoca Generators
    • 208
    • PDF
    Towards a new component composition process
    • 37
    • PDF
    Dynamic Coupling of Binary Components and its Technical Support
    • 5
    • PDF
    Versioning in software engineering
    • 5
    Aspect-Oriented Programming
    • 3,135
    A Version Model for Aspect Dependency Management
    • 20
    • PDF
    RAVEN: Real-Time Analyzing and Verification Environment
    • 39
    • PDF
    Aspect-oriented programming
    • 2,982
    • PDF
    EventPorts: preventing legacy componentware
    • 9
    • PDF