Inconsistency Management in Model-Based Systems Engineering
Sebastian J. I. Herzig Ahsan Qamar Christiaan J. J. Paredis Georgia Institute of Technology Model-Based Systems Engineering Center
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 1
Collaborative, Model-Based Design & Development Global Product Data Interoperability Summit | 2014
Software Engineering
System Architecture
Project Management Manufacturing System Design
Product Design
Thermal Analysis
• Controller Design • Hydraulics • …
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 2
Overlapping Concerns Global Product Data Interoperability Summit | 2014
Software Engineering
System Architecture
Thermal Analysis
security robustness reliability
detectability
cost standards maneuverability demand lifespan profit geometry mass production rate comfort policy compliance
Project Management Manufacturing System Design
Product Design
• Controller Design • Hydraulics • …
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 3
Situation Global Product Data Interoperability Summit | 2014
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 4
Source: GPDIS 2013 Used with permission from Rainer Romatka (Boeing, Seattle)
Typical Scenario Global Product Data Interoperability Summit | 2014
Set of workstations inconsistent with those defined in Teamcenter or SysML? Heuristics followed (e.g., DFMA)? Predicted assembly time inconsistent with desired (or required) value?
Company-wide naming conventions for part numbers followed?
Sequence of assembly steps the same as in Teamcenter and/or SysML?
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 5
Another Scenario: CM in Design & Development Global Product Data Interoperability Summit | 2014
• Change in requirements or design: how do changes propagate? Which models are inconsistent as a result? • Example: changing full holes to piloted holes in a pylon assembly • Affects manufacturing process, optimal shop floor layout for workstations • Affects ergonomics models • Affects cost models • ...
Full Size Hole Sequencing
Pilot Hole Sequencing
Job - Locate and Temp Install TE Fairing
Job - Locate Drill and Temp Install TE Fairing Job - Locate, Drill and Temp Install TE Skins
Job - Seal and Install TE Fairing parts
Job - Locate, Drill and Temp Install TE Crown Job - Disassemble and Debur TE Fairing and Crown Parts
Job - Seal and Install remaining holes
Job - Relocate, Seal and Install TE Fairing Parts
Adapted from a scenario provided by Michael Christian (Boeing, St. Louis) BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 6
Relationships Between Models Global Product Data Interoperability Summit | 2014
Software Engineering
System Architecture
Thermal Analysis
security robustness reliability
detectability
Relationships policy compliance cost
Between Modelsmaneuverability
profit
Project Management Manufacturing System Design
demand
lifespan geometry mass production rate comfort
Product Design
• Controller Design • Hydraulics • …
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 7
Relationships Between Models Global Product Data Interoperability Summit | 2014
Software Engineering How can information from System multiple sources and in Architecture
different formats be security handled automatically? robustness reliability
Thermal Analysis
How can macro-level questions spanning multiple detectability models be answered?
Relationships policy compliance cost
Between Modelsmaneuverability
profit
Project Management Manufacturing System Design
demand Howlifespan can conflicts, i.e. geometry inconsistencies, be mass production rate comfort
detected and resolved?
Product Design
• Controller Design • Hydraulics • …
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 8
Overview Global Product Data Interoperability Summit | 2014
• Context & Motivation • How do we Think About Inconsistency Management? • Technology Demonstrator • Current & Future Work • Conclusions
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 9
What is an Inconsistency? Global Product Data Interoperability Summit | 2014
An inconsistency is a contradiction There exists no possible world that can represent all of the given information Mathematically speaking, it is possible to derive a statement S and its negation ¬S Some more examples: "The aircraft has 3 landing gears and the aircraft has 5 landing gears" (logical contradiction)
"On earth, the velocity of a free-falling object follows a sinusoidal curve" (inconsistency w.r.t. observations and / or accepted theories / laws of nature)
"The probability of the engine failing is 0.1%, and I think it will not fail with a probability of 98%" (mathematical inconsistency)
"I prefer apples over oranges, oranges over bananas, and bananas over apples" (intransitive preferences) Mr. Spock (Star Trek) - Copyright (c) Paramount Pictures BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 10
A Basic Process for Inconsistency Management Global Product Data Interoperability Summit | 2014
Retrieve Current State of Models
Check for Inconsistencies
no
yes
Inconsistency Mgmt. Knowledge
d
ncy iste ledge s n Inco n know tio etec
Resolve Inconsistencies
Inconsistency identified? BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 11
Managing Inconsistencies – A Simple Example… Global Product Data Interoperability Summit | 2014
Inconsistency Mgmt. Knowledge Evolve: add property with name “Diameter” M
Company policy: All named attributes / properties must have camelCase names
P
Does the model on the left violate this policy? Check: the property's name is “Diameter” (M) The property's name must be “diameter” (P) But, on a symbolic level, “diameter” and “Diameter” are distinctly different Hence, a contradiction exists - i.e., inconsistency can be derived fairly easily Resolve: resolving is trivial in this case: change “Diameter” to “diameter” … BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 12
Example 2: Managing Inconsistencies Across Models Global Product Data Interoperability Summit | 2014
CAD Parameter
D SysML Value Property
• Here, obvious overlap exists • A property / attribute is semantically equivalent a relation across models • Inconsistent if constraints on property are not compatible
• Semantically equivalent properties with incompatible constraints are inconsistent pattern can identify such inconsistencies F86 Sabre CAD Data – Credit to ASDL, Georgia Tech BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 13
Example 2: Managing Inconsistencies Across Models Global Product Data Interoperability Summit | 2014
CAD Parameter
D SysML Value Property
• Here, obvious overlap exists • A property / attribute is semantically equivalent a relation across models and where to capture across • 1) How Inconsistent if constraints on relations property are not models? compatible 2) How can patterns going across models be defined (and queried)? • Semantically Equivalent properties with incompatible constraints Need a common representational formalism areinconsistent pattern that identifies such inconsistencies F86 Sabre CAD Data – Credit to ASDL, Georgia Tech BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 14
Graphs as a Common Representational Formalism Global Product Data Interoperability Summit | 2014
Implict (inferable)
Pattern
x
y
u
v
Variable Bindings Cross-Model Relations
Transfor m
Physical Architecture
ation
tion a m r o f Trans
Mfg. Simulation Model
CAD Geometry Model BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 15
Graphs as a Common Representational Formalism Global Product Data Interoperability Summit | 2014
Implict (inferable)
Pattern
x
y
u
v
Variable Bindings Cross-Model Relations
Hypothesis: any inconsistency that is derivable from the information and knowledge represented by the graph can also be identified Transfor by querying an appropriate pattern mation tion a m r Use graph transformation rules for inference o f Trans Query graph patterns to identify inconsistencies
System Architecture
CAD Geometry Mfg. Simulations BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 16
Identifying Inconsistencies by Querying Patterns Global Product Data Interoperability Summit | 2014
SysML Model
Inconsistent!
Semantic context of attribute D
D
diameter
m
• Some observations:
«block»
Academic Version for LandingGear Teaching Only Commercial Development is strictly Prohibited «block» NoseLandingGear
«block» AlightingGear
«block» DoorMechanism
«block» MainLandingGear
«block» Wheels
Semantic context of value property diameter
m 0.8
0.9 length
satisfies
length
Node variable bindings x
equivalentTo
n
y
value
• Terminology used in different modeling languages can be very different: e.g., attribute vs. value property Rules / patterns need to refer to these Requires rule variants for same type of inconsistency: a nightmare to maintain! • Also: someone needs to define relations across models (can we define rules for this purpose? à more later)
Pattern
value
h a s_
equivalentTo
value
Inconsistent! a
bdd [Package] VehicleSubsystems [ Air Vehicle Subsystems ]
value
CAD Model
notEqual
m
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 17
Pattern Vocabulary - Varying Semantic Precision Global Product Data Interoperability Summit | 2014
Language Voc. #1
Language Voc. #2
Domain Voc. #2
Base Vocabulary
e.g., SysML e.g., Rule 2
Language Voc. #3
e.g., Rule 1
Domain Voc. #3 e.g., Requirements
Language Voc. #4
e.g., DOORS
Domain Voc. #1 Semantic Precision
Domain Voc. #n Language Voc. #m
Inference Paths BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 18
Pattern Vocabulary - Varying Semantic Precision Global Product Data Interoperability Summit | 2014
Concepts (Base): Object, property, relation, type, constraint, value, ...
Language Voc. #2
Language Voc. #1
Concepts (SysML): Domain Domain Individuals (Base): ValueProperty, Name, equivalentTo, contains, Voc....#1 PartProperty, Block, Voc. #2 e.g., Rule 1 Requirement, ... Base Vocabulary
e.g., SysML e.g., Rule 2
Language Voc. #3
Domain Voc. #3 e.g., Requirements
Language Voc. #4
e.g., DOORS
Semantic Precision
Domain Voc. #n Language Voc. #m
Inference Paths BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 19
Inconsistency Management Global Product Data Interoperability Summit | 2014
Retrieve Current State of Models
P
Check for Inconsistencies
Inconsistency Mgmt. Knowledge
d
ncy iste ledge s n Inco n know tio etec
P Common representational formalism
no
yes
Resolve Inconsistencies
?
P
Manageable, unifying node & edge label vocabularies
Inconsistency identified? BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 20
How Do We Resolve These Inconsistencies? Global Product Data Interoperability Summit | 2014
Inconsistency 1 D = 0.9
Inconsistency 3
Inconsistency 2
hubDiameter = 0.85
• Three different representations of the value for (semantically) the same property • Can we resolve all of these inconsistencies automatically??
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 21
Which Model Should We Trust? Global Product Data Interoperability Summit | 2014
The SysML model, of course!
The information in the PLM / PDM system, of course!
D = 0.9
hubDiameter = 0.85
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 22
Resolving Inconsistencies Global Product Data Interoperability Summit | 2014
We’re good here now Person 1: Propagate Value
D = 0.8
Inconsistency 3
Inconsistency 2
hubDiameter = 0.85
• Three different representations of the value for (semantically) the same property • Can we resolve all of these inconsistencies automatically??
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 23
Resolving Inconsistencies Global Product Data Interoperability Summit | 2014
Oooops…. D = 0.85
We’re good here now
Inconsistency 2
Great, just negated our previous fix… why did this happen? hubDiameter = 0.85
Often more than one way to fix a particular (type of) inconsistency Multiple related inconsistencies Need some strategy to find optimal sequence of resolution actions: e.g., here, source of authority BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 24
Resolving Inconsistencies: a Decision-Making Problem Global Product Data Interoperability Summit | 2014
• Given: • Exhaustive list of possible fixes to particular kinds of inconsistencies • List of inconsistencies identified by a corresponding pattern
• We can use this information to generate a list of alternative sequences of fix operations • Some may lead to a better outcome than others Analyze • Which one of these is optimal depends on preferences and beliefs… Evaluate & select most preferable Ideas
Alternatives
Knowledge / Beliefs
Outcomes
Preferences
Selection Criterion: E[u]
Most Preferred Alternative
Figure Adapted from G. Hazelrigg BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 25
Summary: Makeup of an Inconsistency Rule Global Product Data Interoperability Summit | 2014
Identification Pattern & Context
Resolution Alternatives 1
x
notEqual
-m
n
3
-‐-‐ notEqual
equivalentTo
value
x
n
w
y
m
y
--value
Applies: always (invariant) Owner: sherzig Created: 2014-08-18 …
equivalentTo
value
value
n
2
y
-- value
equivalentTo
value
x
Tolerate / Do Nothing
-‐-‐ notEqual
m
--
… BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 26
Overview Global Product Data Interoperability Summit | 2014
• Context & Motivation • How do we Think About Inconsistency Management? • Technology Demonstrator • Current & Future Work • Conclusions
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 27
Technology Demonstrator: ConSystent Global Product Data Interoperability Summit | 2014
Adapter
Intra- / Internet
• Use of W3C semantic web standards (RDF, HTTP, REST) • Utilizes OSLC recs. and Framework
Model Cache
• Adapters are specific to tools / models and can: Inconsistency Rules
ConSystent
• Access model data (r/w) • Generate RDF data
• Run as servlets BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 28
Resource Description Framework (RDF) Global Product Data Interoperability Summit | 2014
• Statements about resources in the form of subject-predicate-object expressions (triples) put together, these form a graph Subject = URI http://.../blocks/ WheelHub
Predicate = URI http://.../property
Object = URI or literal http://.../WheelHub/ properties/diameter
• World Wide Web Consortium (W3C) standard for data interchange • Used in Semantic Web applications stronger semantics for websites, enabling next generation search engines • Variety of syntax notations and data serialization formats (e.g., XML) Adapted and Used with Permission from Axel Reichwein, Koneksys LLC BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 29
Open Services for Lifecycle Collaboration (OSLC) Global Product Data Interoperability Summit | 2014
• OSLC adds additional semantics for expressing structural constraints on RDF data (e.g., cardinality)
Domain / Language Vocabularies
Status
ALM/PLM Interoperabiltiy
Draft
Architecture Management
2.0
Asset Management
2.0
Automation
2.0
• Domain vocabularies introduce standard terminology across domains
Change Management
2.0
Estimation and Measurement
Draft
Performance Monitoring
2.0
Quality Management
2.0
Reconciliation
2.0
Requirements Management
2.0
MBSE / SysML
Draft
OSLC Core Vocabulary
+
OSLC resource types for various domains and languages BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 30
Example - Inconsistency Detection Global Product Data Interoperability Summit | 2014
2.3 …
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 31
Example - Inconsistency Detection Global Product Data Interoperability Summit | 2014
2.3 … W3C Standard for
n
Querying RDF: SPARQL y value
value
x
equivalentTo
notEqual
m
SELECT ?x ?y WHERE { ?x :equivalentTo ?y . ?x :value ?n . ?y :value ?m . FILTER(?n != ?m) }
Inconsistency patterns (and, generally, inconsistency rules) are represented in a language such as SPARQL and executed using a corresponding engine BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 32
Status of OSLC Adapters Developed @ MBSEC Global Product Data Interoperability Summit | 2014
• Open Source • NoMagic MagicDraw SysML (now / soon part of Eclipse Lyo) • Mathworks Simulink (now / soon part of Eclipse Lyo)
• Have also developed adapters for: • PTC Integrity (Requirements Management) • LMS Imagine Lab AMESim (Multi-Domain Systems Simulation)
• Examples of adapters developed outside of MBSEC: • • • •
Siemens Teamcenter (General Motors) Bugzilla (part of Eclipse Lyo) NinaCRM ... BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 33
Overview Global Product Data Interoperability Summit | 2014
• Context & Motivation • How do we Think About Inconsistency Management? • Technology Demonstrator • Current & Future Work • Conclusions
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 34
Current Work – Probabilistic Inconsistency Reasoning Global Product Data Interoperability Summit | 2014
Context may provide additional evidence
CAD Model
equivalentTo
Hub
P↑
SysML Model bdd [Package] VehicleSubsystems [ Air Vehicle Subsystems ]
Version for Teaching Only WheelHubAcademic Commercial Development is strictly Prohibited «block» LandingGear
«block» NoseLandingGear
Semantic context of parameter D
«block» AlightingGear
value
unit ft
equal
ft 4
P↓
Semantic context of value property diameter
P↑
3 length
diameter
satisfies
equal
«block» Wheels
value
D
unit
h a s_ a
P(equivalentTo?)=?
«block» DoorMechanism
«block» MainLandingGear
Evidence P↓ length
P↑
Prior Belief + Identified Features (“Evidence”) = Updated Belief … and in the same spirit: P(Inconsistent) = ? BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 35
Future Work – Visualization Global Product Data Interoperability Summit | 2014
• Visual analytics tools to generate interactive visualizations using data from various system modeling sources • Explore global patterns in data • Seamless transition between models from various domains
Future work with Dr. Rahul Basole (CS), Dr. Leon McGinnis (ISyE) BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 36
Future Work – Visualization Global Product Data Interoperability Summit | 2014
• Visual analytics tools to generate interactive visualizations using data from various system modeling sources • Explore global patterns in data • Seamless transition between models from various domains
Future work with Dr. Rahul Basole (CS), Dr. Leon McGinnis (ISyE) BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 37
Conclusions & Key Takeaways Global Product Data Interoperability Summit | 2014
• Inconsistency management = continuous V&V • Directed, attributed, typed multi-graphs can be used to represent a wide variety of engineering models • Graph patterns can be used to model types of inconsistencies and query for these • Resolving inconsistencies is a decision-making problem, where the most preferred alternative sequence of "fix" operations must be determined • Semantic web technologies are a powerful and practical basis for a scalable model integration framework BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 38
Backup Slides
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 39
Some Open Questions… Global Product Data Interoperability Summit | 2014
mass
• Access Control • Who can access which (select parts of) models, and with which rights? • How do we deal with restricted access to some data (e.g., ITAR)?
length
• Rule & Inter-Model Relations Ownership • Who manages the rules for which portion of the system? • Who should manage relations between models?
• Automated Inconsistency Resolution • Is it ever a good idea to autonomously resolve an inconsistency?
x
? Inaccessible information (due to, e.g., proprietary nature of data or tool limitations)
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 40
Reasoning About Inconsistencies Global Product Data Interoperability Summit | 2014
• Assume the following axiom holds in our world (verbally): • “Any Aircraft has exactly one kind of Turbojet Engine” GE_J47
inconsistency
type
has
Aircraft
type
F-86
TurbojetEngine has
type
F-86E
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 41
Associated Formal Reasoning Process Global Product Data Interoperability Summit | 2014
• An inconsistency exists if we can deduce that (in our world) there exists an Aircraft that has two (different) types of TurbojetEngines • Facts explicitly and implicitly encoded in graph: • • • • • • •
“F-86 type Aircraft” “GE_J47 type TurbojetEngine” “F-86E type TurbojetEngine” “GE_J47 differentFrom F-86E” “F-86 has GE_J47” “F-86 has F-86E” “F-86 has two TurbojetEngines”
Deduced from CWA or specified under OWA Derived fact from previous two statements
Inconsistent, because: (F-86 has two TurbojetEngines) ∧ (F-86 has one Turbojet Engine) ⇒ ⊥ BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 42
Pattern for Previous Example Global Product Data Interoperability Summit | 2014
• Inconsistency (as pattern / negative graph constraint): “An inconsistency is present if there is an element x of type Aircraft that is associated through the relation ‘has’ to at least two elements ‘y’ of type TurbojetEngine”
differentFrom
x
has has has*
type
type
variable bindings
Aircraft
type
TurbojetEngine
GE_J47
inconsistency
type
has
Aircraft
y
differentFrom
F-86 has
TurbojetEngine
type
F-86E BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 43
ConSystent – Overview of Architecture Global Product Data Interoperability Summit | 2014
Inconsistency Management Infrastructure Inconsistency Detector (Jena) Inference Engine
Inconsistency Resolver RDF Database (Apache Fuseki)
PaDern Matching
Inference Rules
IdenLficaLon PaDerns
RDF Crawler
Decision Analyzer ResoluLon AlternaLves
GUI
OSLC Adapter 1 API
Web Server 1
RDF over HTTP
OSLC Adapter n Web Server n
API
Tool n
BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 44
OSLC Tool Adapters in Java in a Nutshell Global Product Data Interoperability Summit | 2014
Tool A
Tool API / Custom Parser
OSLC Adapter for Tool A Resource Shape(s) (Java Object)
instance of
Resource Shape Def. (Java Class with OSLC-‐ Specific AnnotaJons)
Serialization / Deserialization (JAX-RS, Lyo)
Web / App. Server (Tomcat, JeBy, …)
RDF over HTTP
Work with Axel Reichwein, Koneksys LLC BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 45
OSLC Tool Adapters in Java in a Nutshell Global Product Data Interoperability Summit | 2014
Tool A
Tool API / Custom Parser
OSLC Adapter for Tool A Resource Shape(s) (Java Object)
instance of
Resource Shape Def. (Java Class with OSLC-‐ Specific AnnotaJons)
Automatic generation of RS descriptions from Ecore model
Serialization / Deserialization (JAX-RS, Lyo)
Web / App. Server (Tomcat, JeBy, …)
RDF over HTTP
Work with Axel Reichwein, Koneksys LLC BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 46
OSLC Tool Adapters in Java in a Nutshell Global Product Data Interoperability Summit | 2014
Tool A
Tool API / Custom Parser
OSLC Adapter for Tool A Resource Shape(s) (Java Object)
instance of
Resource Shape Def. (Java Class with OSLC-‐ Specific AnnotaJons)
Serialization / Deserialization (JAX-RS, Lyo)
Web / App. Server (Tomcat, JeBy, …)
RDF over HTTP
Serialization of resource shape in various formats (e.g., RDF/XML, TTL, HTML) Work with Axel Reichwein, Koneksys LLC BOEING is a trademark of Boeing Management Company Copyright © 2014 Boeing. All rights reserved. Copyright © 2014 Northrop Grumman Corporation. All rights reserved. GPDIS_2014.ppt | 47