modeling with the eccf ss ● uml profile for eccf ● uml redefinition semantics ● compliance ●...

Modeling with the ECCF SS

● UML Profile for ECCF● UML Redefinition Semantics● Compliance● Consistency● Conformance● Validation● Transformation● Construction● ECCF Specification Stack

UML Profile for ECCFServices-Aware Interoperability Framework

ECCF/SAIF/Framework Docs

ESST Templates

Behavioral Framework

RM-ODP

SoaML Profile

ECCF MM

ECCF Profile●Semantic Enforcement●Validation●Conformance/compliance/consistency across ECCF Specification Stack

traceabilityGrammarvocabulary UML

compliance

ECCF SS UML Domain Models●Consistent, Formal, Verifiable, Computable Semantic Interoperability

compliance

UML Redefinition Semantics

Classifier●Redefineable Element

Classifier●Redefineable Element

redefinitionContext redefinedElement

Redefinition Semantics are specific to type of Redefineable Element●Property : (narrows) cardinality, type, OCL; implicit by name●Operation: (narrows) cardinality, type of each parameter; behavior, OCL●Behavior (e.g., Activity, StateMachine, Interaction):● May redefine any other type of behavior● Replaces redefined feature behavior; extends redefined classifier behavior● (narrows) pre-conditions, post-conditions, etc.

Generic ECCF Compliance

CIM Classifier●Redefineable Element

PIM Classifier●Redefineable Element

RedefinitionContext<<ECCF.Compliance>>

redefinedElement<<ECCF.Compliance>><<ECCF.Traceability>>

PSM Classifier●Redefineable Element

RedefinitionContext<<ECCF.Compliance>>

redefinedElement<<ECCF.Compliance>>

● + ECCF-specific OCL Constraints

a target/derived artifact (or artifact component, e.g., conformance statement) is compliant with its associated source artifact IF all conformant implementations of the target are also conformant with the source.

ECCF Consistency (Implicit/Enforced)

<<ECCF.Community>>

<<ECCF.SystemRole>>

<<ECCF.ConformanceProfile>>

<<ECCF.FunctionalProfile>>●<<ECCF.Capability>>

<<ECCF.Domain Analysis Model>>

implementsuses

<Classifier><<ECCF.CommunityCon

tract>>

role role

Engineering Viewpoint Computation Viewpoint Information Viewpoint

type

si si

Role binding

<<ECCF.SemanticProfile>>

Consistency is a characterization of the logical coherence of the artifacts that are collected in a particular instance of aspecification stack.

ECCF Conformance (Examples)<<ECCF.Community>> <<ECCF.FunctionalProfile>>

<<ECCF.CommunityContract>>

<use>contract

policy

<<ECCF.Policy>>

<protocol>

<<ECCF.Capability>>

pre-conditionpost-

condition

body condition

method

<<ECCF.Capability>>

<Constraint><<ECCF.ConformanceStatement>>

<ownedRule>

<Constraint><<ECCF.Rule>>

Conformance is a quantitative assessment of how completely and accurately a given implementation fulfills the requirements stated in the specification

All <Constraint>s may be expressed in OCL for computable semantic interoperability

Validation (Conformance, Compliance and Consistency)

UML ModelsECCF Profile apply

Stereotypes

Constraints

UMLMeta Model

Instance of

Semantics

ConstraintsOCL Execution Environment

●Extensions, as required for ECCF

Validation Framework●Tool Integration●Validation Preferences●Problem Navigation

execute

Transformation(OMG Model to Model Transform)

QVTAny MOF model Any MOF model

Vanilla Model(UML, HL7, or other)

QVT ECCF SS

ECCF SS QVT PSM Models(XSD, WSDL, etc.)

ECCF SS QVT ODM - OWL/RDF(SOAM,

ECCF MM/Registry,etc.)In the context of evolution, a target artifact is said to be

compliant with the source artifact if it has been derived from the source using a known, agreed-upon transformation

ECCF SS Construction (LSLR Example)

EAApplicatio

nModels

6+

EA to UML

UMLInformationViewpoint

ECCFSpecification

StackPer

Service>20

LSLRCommonECCF SS(plugins)

Model To Model (QVT)

ECCF SSTemplates

Capability/App Model

Map

AppCommon

CIMInformationViewpoint(plugins)

QVT

import import

ECCF Specification Stack

Vanilla UML Model

Vanilla +ECCFUML Model

QVT


CIM

PIM

PSM

B I C E

B

B

I

I

C

C

E

E

StandardECCF Specification

Stack

StandardECCF Specification

Stackreuse

MultipleModeling

Tools

ConsistentDocuments

(ESST)

Model DrivenTechnologyArtifacts(PS

M)

ECCFServiceRegistry

validation

Conformance

testing

Computable semantic interoperability

traceability

Backup Slides

Semantic Infrastructure 2.0Service Development Process

UML Service Model:an ECCF

SpecificationStack

Standard ECCF Specification Stacks

●BRIDG●LS-DAM●ISO Data Types●etc.

HL7 MIF Models

Scope

Service Specifications and other Docs

PSM and otherTarget Architecture

Artifacts

Analysis

TechnologyBinding

Refinement

import

import

ECCF Registry

Coherency:Enterprise Viewpoint

● Communities, Contracts, Policies, Obligations● Identify roles in communities● Contracts between roles● Policies associated with contracts● Enumeration of obligations, permission, prohibitions

per policy

● All of these concepts may be refined● Based on UML redefinition semantics● Provides complete traceability across ECCF SS

Scope Contract/Policy

CIM Community

CIM Contract/Policies

PIM Community

PIM Contracts

Coherency:Computation Viewpoint

● Roles, Services, Interfaces, Operations● Community Roles initially identified via Use Cases● System Roles realize abstract (Actor) Roles● System Roles define Services (via Ports)● Services specify provided/used Interfaces● Interfaces define operations


Initial Roles

Role Refinement

CIM System Roles

PIM System Roles

Functional Profiles

Functional Profile-->PIM Interfaces

Role Assembly

Coherency:Information Viewpoint

● Models, Classifiers, Properties, Associations● Information models package Classifiers● Classifiers contain properties, typed as Classifiers● Associations relate Classes● Classifiers/Associations have inheritance● Associations/Properties have cardinality,etc.
