Components Components Distri Net l component topics l

Components @

Components @ Distri. Net l component topics l projects l research tracks Components @ Distri. Net oj domain pr l ec ts 3 dimensions domain component topics Ø ch r a se re 2 ck a r t

protocol stacks l middleware / object brokers l device drivers l multi-agent systems l security / e-commerce l internet Components @ Distri. Net ec l oj embedded systems pr l ts domains of application domain component topics Ø h c r a ese r 3 k c a r t

component specification / documentation l components / composition l MD-SOC l non-functional concerns l components types l "correct" composition l component framework l language support l the component process Components @ Distri. Net pr oj ec t l s component research topics domain component topics Ø 4 h c r a e s re k c a tr

DESS l PEPITA ü generic service platform ü protocol stack l Co. Fra. De. D l . . . Components @ Distri. Net ec l oj SEESCOA pr l ts "industrial" projects domain component topics Ø h c r a e s re 5 k c a tr

je component methodology pr o l ct s Research tracks for embedded systems components for subsystem engineering l anonymous components for open systems l grammatical components Components @ Distri. Net component topics l domain t h rc k c ra a e s re 6

Ø component methodology l component specification / documentation ð component ð levels: views: required/provided/internal syntactic/semantic/synchronization/Qo. S ð notations ð version Components @ Distri. Net control 7

Component Views provided internal sell required sell supply Consumer Store supply Warehouse Components @ Distri. Net 8

Levels - memory - time - precision -. . . Quality of Service - mutual exclusion - transactions Synchronization Components @ Distri. Net Semantic - preconditions - postconditions - invariants Syntactic - parameters - return type - exceptions 9

l the component process ð component validation and testing (black-box, white-box, integration) ð methodological ð development tools / code generation ð requirements ð development guidelines (composition / decomposition) traceability of product families ==> focus on ü methodology ü specification of non-functional concerns Components @ Distri. Net 10

Process: composition Components @ Distri. Net 11

Ø components for subsystem engineering l ORB’s, protocol stacks, device drivers l Specification of Qo. S requirements ð Qo. S l contracts for non-functional aspects component specification / documentation ð attribute-based l description composition ü components ð automatic ð based Components @ Distri. Net composition from high-level user preferences on context 12

l Composition (cont. ) ü composition plugs ð connectors ð dynamic (run-time) composition ð composition l of non-functional concerns component framework ð enforces non-functional req. globally, consistently ð run-time framework ð additional constraints for plug-in components ==> focus on ü "non-functional quality" ü run-time support Components @ Distri. Net 13

Components @ Distri. Net 14

Ø anonymous components for open systems l component specification / documentation ð formal l behaviour specification (PNs) composition ü components: configuration of autonomous entities using shared coordination spaces l ü composition plugs: shared spaces ü run-time composition: building configurations at run-time component types ð formally Components @ Distri. Net defined, based on "observable behaviour" 15

Ø static composition Producer. Component Consumer. Component Producer. Agent Consumer. Agent composition plugs Composite. Consumer. Component Consumer. Agent Components @ Distri. Net Consumer. Agent 16

Composite. Consumer. Component Producer. Agent Consumer. Agent Composite. Producer. Consumer. Component Producer. Agent Components @ Distri. Net Consumer. Agent 17

Ø dynamic composition objectspace 1 objectspace 2 Components @ Distri. Net 18

l "correct" composition ð formal type checking ==> focus on ü functional components ü formal background Components @ Distri. Net 19

Ø grammatical components l component specification / documentation ð visual l representation: interface +. . . composition ð static ð architecture ð visual l design patterns components types / "correct" composition ð defined l defines grammar by grammar component framework ð visual environment (~ Mind. Storms) ==> focus on Components @ Distri. Net ü functional, static composition ü visual environment 20

Components @ Distri. Net 21

Components @ Distri. Net 22

Components @ Distri. Net 23

Summary Ø Ø Ø Application-driven How to specify components How to build components How to compose components How to execute components Components @ Distri. Net 24