Logic for Modeling Product Structure

A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram model is a model that does not have behavior in the sense that values of properties do not change. A structural model may include properties, variables and operations. Individuals are a special case of operators with no arguments. Type theory is chosen as the target semantic formalism as SysML constructions correspond closely to type theory term constructions. The type theoretic semantics defined in terms of

• Type: Journal
• Year: 2010
• Where: DLOG
• Authors: Henson Graves
• Keywords: Automated Reasoning, Block Diagram Model, DLOG 2010, Structural Block Diagram, Type Theory