Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ●...
-
Upload
angela-ward -
Category
Documents
-
view
223 -
download
1
Transcript of Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ●...
![Page 1: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/1.jpg)
Modeling with the ECCF SS
● UML Profile for ECCF● UML Redefinition Semantics● Compliance● Consistency● Conformance● Validation● Transformation● Construction● ECCF Specification Stack
![Page 2: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/2.jpg)
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
![Page 3: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/3.jpg)
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.
![Page 4: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/4.jpg)
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.
![Page 5: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/5.jpg)
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.
![Page 6: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/6.jpg)
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
![Page 7: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/7.jpg)
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
![Page 8: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/8.jpg)
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
![Page 9: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/9.jpg)
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
![Page 10: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/10.jpg)
ECCF Specification Stack
Vanilla UML Model
Vanilla +ECCFUML Model
QVT
ECCF Specification Stack
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
![Page 11: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/11.jpg)
Backup Slides
![Page 12: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/12.jpg)
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
![Page 13: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/13.jpg)
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
![Page 14: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/14.jpg)
Scope
![Page 15: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/15.jpg)
Scope Contract/Policy
![Page 16: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/16.jpg)
CIM Community
![Page 17: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/17.jpg)
CIM Contract/Policies
![Page 18: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/18.jpg)
PIM Community
![Page 19: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/19.jpg)
PIM Contracts
![Page 20: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/20.jpg)
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
● All of these concepts may be refined● Based on UML redefinition semantics● Provides complete traceability across ECCF SS
![Page 21: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/21.jpg)
Initial Roles
![Page 22: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/22.jpg)
Role Refinement
![Page 23: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/23.jpg)
CIM System Roles
![Page 24: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/24.jpg)
PIM System Roles
![Page 25: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/25.jpg)
Functional Profiles
![Page 26: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/26.jpg)
Functional Profile-->PIM Interfaces
![Page 27: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/27.jpg)
Role Assembly
![Page 28: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/28.jpg)
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.
● All of these concepts may be refined● Based on UML redefinition semantics● Provides complete traceability across ECCF SS
![Page 29: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/29.jpg)
More Backup Slides
![Page 30: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/30.jpg)
Service Specifications and other Document Artifacts
Enterprise Architect
Eclipse EMFEA XMI
EMF XMIXSLT
DITA ARTIFACTS
XSLT Model To Text
Target Documents
Consistent DITA ArtifactsBased on caCIS conventionsAnd specifications
Consistent Target DocumentsAcross Model Platforms
Other EMF Models(MIF, WSDL, XSD,
etc.)
DITA Toolkit + caCIS Tooling
![Page 31: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/31.jpg)
UML/MIF Composite: HL7 Profile
MIF Models(an EMF Model)
MTM (QVT)
HL7 ProfileUML Models
●100% Isomorphic with MIF
UML Native Models
import
MIF Schemas(an EMF Model)
MTM (QVT)
apply
ECCF Profile
HL7 Profile●Complex data types for tag values●OCL for Schema, Schematron, HL7 DT Constraints, etc.
apply
![Page 32: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/32.jpg)
ECCF Specification Stackas Model Composition
CIM
UML
MIF
PIM
PSM
WSDL XSDOther PSM
Technology
Binding
Model to Model
Binding ConformanceModel to Model(Transformation Conformance)
![Page 33: Modeling with the ECCF SS ● UML Profile for ECCF ● UML Redefinition Semantics ● Compliance ● Consistency ● Conformance ● Validation ● Transformation ●](https://reader035.fdocuments.net/reader035/viewer/2022062407/56649cfb5503460f949ccf50/html5/thumbnails/33.jpg)
caCIS/ECCF Convergence
Semantic InfrastructurecaCIS
HL7(mif)
EA xslt
Well-formedUML
M2M
Project-Specific
M2MECCFProfile
ApplicationAnd
Modelfixup
UML(HL7
Profile)
M2M
ECCF Specification Stack
ServiceSpecificatio
nsAnd
Reports
Validation
Andanalysisframew
ork
ECCFRegistry
feedback