Specification - Plastic

$Header: /cvsroot/ist-plastic/Plastic/web/docs/plastic0_1.html,v 1.1 2006/07/10 11:29:17 jwskene Exp $

$Log: plastic0_1.html,v $

Revision 1.1 2006/07/10 11:29:17 jwskene

First addition of project webpages.

Revision 1.1 2006/06/21 16:55:12 francoraimondi

First checking of Plastic WP2 web pages

Revision 1.2 2006/06/21 16:29:07 francoraimondi Added CVS fields

Contents:

• Class - ::Location
• Class - ::AdaptionSpecs
• Class - ::SoftwareComponent
• Class - ::ComponentDescription
• Class - ::ContextDescription
• Class - ::Actor
• Class - ::ComponentAssembler
• Class - ::ComponentBasedSoftwareSystem
• Class - ::Resource
• Class - ::ProvidedFunctionality
• Class - ::ServiceDeveloper
• Class - ::ServiceProvider
• Class - ::ServiceSpecification
• Class - ::Context
• Class - ::ComposedSoftwareService
• Class - ::SoftwareService
• Class - ::ServiceRegistry
• Class - ::ServiceIntegrator
• Class - ::ServiceConsumer
• Class - ::ServiceRequest
• Class - ::AbstractService
• Class - ::ServiceDescription
• Class - ::AvailableResourcesSpecs
• Class - ::ServiceRequestRequirements
• Class - ::SLA
• Class - ::ServiceAdditionalInformation

Class - ::Location

Properties:

• component : ::SoftwareComponent[0, *]

  Opposite: ::SoftwareComponent.resides : ::Location

• componentDescription : ::ComponentDescription

  Opposite: ::ComponentDescription.location : ::Location

• contextDescription : ::ContextDescription

  Opposite: ::ContextDescription.location : ::Location

Operations:

Invariants:

Class - ::AdaptionSpecs

Properties:

• description : ::ComponentDescription
• adapts : ::SoftwareComponent

Operations:

Invariants:

Class - ::SoftwareComponent

Properties:

• resides : ::Location

  Opposite: ::Location.component : ::SoftwareComponent[0, *]

• componentDescription : ::ComponentDescription[1, *]

  Opposite: ::ComponentDescription.component : ::SoftwareComponent[0, *]

• composedBy : ::ComponentBasedSoftwareSystem

  Opposite: ::ComponentBasedSoftwareSystem.component : ::SoftwareComponent[1, *]

Operations:

Invariants:

Class - ::ComponentDescription

Properties:

• location : ::Location

  Opposite: ::Location.componentDescription : ::ComponentDescription

• component : ::SoftwareComponent[0, *]

  Opposite: ::SoftwareComponent.componentDescription : ::ComponentDescription[1, *]

• serviceDescription : ::ServiceDescription[0, *]

  Opposite: ::ServiceDescription.componentDescription : ::ComponentDescription[1, *]

Operations:

Invariants:

Class - ::ContextDescription

Properties:

• location : ::Location

  Opposite: ::Location.contextDescription : ::ContextDescription

• context : ::Context[0, *]

  Opposite: ::Context.description : ::ContextDescription[1, *]

Operations:

Invariants:

Class - ::Actor

A person.

Properties:

Operations:

Invariants:

Class - ::ComponentAssembler

Extends: ::Actor

Properties:

• assembles : ::ComponentBasedSoftwareSystem[1, *]

Operations:

Invariants:

Class - ::ComponentBasedSoftwareSystem

Extends: ::SoftwareComponent

Properties:

• implements : ::ProvidedFunctionality[1, *]

  Opposite: ::ProvidedFunctionality.cBSE : ::ComponentBasedSoftwareSystem[1, *]

• component : ::SoftwareComponent[1, *]

  Opposite: ::SoftwareComponent.composedBy : ::ComponentBasedSoftwareSystem

Operations:

Invariants:

Class - ::Resource

Properties:

Operations:

Invariants:

Class - ::ProvidedFunctionality

Extends: ::Resource

Properties:

• cBSE : ::ComponentBasedSoftwareSystem[1, *]

  Opposite: ::ComponentBasedSoftwareSystem.implements : ::ProvidedFunctionality[1, *]

Operations:

Invariants:

Class - ::ServiceDeveloper

Extends: ::Actor

Properties:

• service : ::SoftwareService[1, *]

Operations:

Invariants:

Class - ::ServiceProvider

Extends: ::Actor

Properties:

• defines : ::ServiceSpecification[1, *]
• provides : ::SoftwareService[1, *]

Operations:

Invariants:

Class - ::ServiceSpecification

Properties:

• description : ::ServiceDescription

  Opposite: ::ServiceDescription.specification : ::ServiceSpecification

Operations:

Invariants:

Class - ::Context

Properties:

• description : ::ContextDescription[1, *]

  Opposite: ::ContextDescription.context : ::Context[0, *]

• drives : ::ComposedSoftwareService[1, *]
• depends : ::SLA[1, *]

Operations:

Invariants:

Class - ::ComposedSoftwareService

Extends: ::SoftwareService

Properties:

• composes : ::SoftwareService[1, *]

  Opposite: ::SoftwareService.composedBy : ::ComposedSoftwareService

Operations:

Invariants:

Class - ::SoftwareService

Extends: ::ProvidedFunctionality

Properties:

• composedBy : ::ComposedSoftwareService

  Opposite: ::ComposedSoftwareService.composes : ::SoftwareService[1, *]

• description : ::ServiceDescription[0, *]

  Opposite: ::ServiceDescription.describes : ::SoftwareService[0, *]

• serves : ::ServiceRequest[1, *]

  Opposite: ::ServiceRequest.service : ::SoftwareService[0, *]

• concretizes : ::AbstractService[1, *]

  Opposite: ::AbstractService.abstracts : ::SoftwareService

Operations:

Invariants:

Class - ::ServiceRegistry

Extends: ::Actor

Properties:

• publishes : ::ServiceDescription[0, *]

  Opposite: ::ServiceDescription.publisher : ::ServiceRegistry[1, *]

Operations:

Invariants:

Class - ::ServiceIntegrator

Extends: ::Actor

Properties:

• composes : ::ComposedSoftwareService[1, *]
• influences : ::ServiceRegistry[1, *]

Operations:

Invariants:

Class - ::ServiceConsumer

Extends: ::Actor

Properties:

• expresses : ::ServiceRequest[1, *]
• searches : ::ServiceAdditionalInformation[0, *]

Operations:

Invariants:

Class - ::ServiceRequest

Properties:

• resourceSpec : ::AvailableResourcesSpecs[1, *]

  Opposite: ::AvailableResourcesSpecs.request : ::ServiceRequest

• requirements : ::ServiceRequestRequirements[0, *]

  Opposite: ::ServiceRequestRequirements.request : ::ServiceRequest

• matches : ::ServiceDescription[1, *]

  Opposite: ::ServiceDescription.request : ::ServiceRequest[0, *]

• represents : ::AbstractService[1, *]

  Opposite: ::AbstractService.requests : ::ServiceRequest

• service : ::SoftwareService[0, *]

  Opposite: ::SoftwareService.serves : ::ServiceRequest[1, *]

Operations:

Invariants:

Class - ::AbstractService

Properties:

• abstracts : ::SoftwareService

  Opposite: ::SoftwareService.concretizes : ::AbstractService[1, *]

• requests : ::ServiceRequest

  Opposite: ::ServiceRequest.represents : ::AbstractService[1, *]

• description : ::ServiceDescription

  Opposite: ::ServiceDescription.represents : ::AbstractService[1, *]

Operations:

Invariants:

Class - ::ServiceDescription

Properties:

• publisher : ::ServiceRegistry[1, *]

  Opposite: ::ServiceRegistry.publishes : ::ServiceDescription[0, *]

• represents : ::AbstractService[1, *]

  Opposite: ::AbstractService.description : ::ServiceDescription

• describes : ::SoftwareService[0, *]

  Opposite: ::SoftwareService.description : ::ServiceDescription[0, *]

• componentDescription : ::ComponentDescription[1, *]

  Opposite: ::ComponentDescription.serviceDescription : ::ServiceDescription[0, *]

• specification : ::ServiceSpecification

  Opposite: ::ServiceSpecification.description : ::ServiceDescription

• additionalInformation : ::ServiceAdditionalInformation

  Opposite: ::ServiceAdditionalInformation.description : ::ServiceDescription[0, 1]

• influences : ::SLA[1, *]
• request : ::ServiceRequest[0, *]

  Opposite: ::ServiceRequest.matches : ::ServiceDescription[1, *]

Operations:

Invariants:

Class - ::AvailableResourcesSpecs

Extends: ::Context

Properties:

• request : ::ServiceRequest

  Opposite: ::ServiceRequest.resourceSpec : ::AvailableResourcesSpecs[1, *]

Operations:

Invariants:

Class - ::ServiceRequestRequirements

Properties:

• request : ::ServiceRequest

  Opposite: ::ServiceRequest.requirements : ::ServiceRequestRequirements[0, *]

Operations:

Invariants:

Class - ::SLA

Properties:

Operations:

Invariants:

Class - ::ServiceAdditionalInformation

Properties:

• description : ::ServiceDescription[0, 1]

  Opposite: ::ServiceDescription.additionalInformation : ::ServiceAdditionalInformation

• context : ::Context

Operations:

Invariants: