Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

DLOG
2010

favoriteEmaildiscussreport

129views Automated Reasoning» more DLOG 2010»

Logic for Modeling Product Structure

13 years 2 months ago

Logic for Modeling Product Structure

Download www.cs.uwaterloo.ca

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

Henson Graves

Real-time Traffic

Automated Reasoning | Block Diagram Model | DLOG 2010 | Structural Block Diagram | Type Theory |

claim paper

Related Content

» Nonprimitive recursive decidability of products of modal logics with expanding domains

» A Logic Based Approach to the Static Analysis of Production Systems

» Model Checking Synchronized Products of Infinite Transition Systems

» Logical product models for automated scripting of processlevel construction animations

» Applying Description Logic to Product Behavioral Design within Advanced CAD Systems

» Asynchronous twolevel logic of reduced cost

» Eliciting information for product modeling using process modeling

» Modeling Product Line Architectures through Change Sets and Relationships

» Configuring Software Product Line Feature Models Based on Stakeholders Soft and Hard Requi...

Post Info
More Details (n/a)

Added	10 Feb 2011
Updated	10 Feb 2011
Type	Journal
Year	2010
Where	DLOG
Authors	Henson Graves

Comments (0)