Ontological techniques use commonly understood notions of
categories and conditions of membership to increase formality while
preserving accessibility. They focus attention on the potential
members of categories, facilitating communication based on concrete
examples, and supporting more complex membership conditions as
necessary. These techniques enable languages to be built up from
smaller, simply defined elements to larger ones, by creating new
categories with membership conditions based on existing simpler
categories, in thin enough layers that languages are more easily
understood in a uniform way.
- Logical Modeling for Engineering
(see links to slides and video)
Introduces basic concepts of categorization in the context of
engineering models. Sometimes called ontology, categorization is
present in widely-used modeling languages such as SysML/UML. It can
be used to capture relationships between categories and the things
falling into them, including categories of modeling languages
elements necessary to define engineering-friendly languages. The
presentation introduces basic SysML/UML notation supporting
categorization.
-
Ontological Product Modeling For Collaborative Design
(Slides)
Shows how to combine ontological and model-based techniques in
languages that facilitate collaborative product design
exploration. Uses ontology to capture alternative designs and
incremental refinements that meet requirements and earlier
design commitments, and open world semantics to support design
collaboration with flexible and accurate design combination,
refinement, and consistency checking. Model-based techniques
are applied to develop more powerful, engineering-friendly
languages for using ontology. See proof
of concept (report), implemented on an ontological
modeling platform.
-
Ontological
Behavior Modeling
Applies ontological techniques to behaviors in UML, using the
logical meanings for classification introduced in UML 2. The article suggests unifying UML's three
kinds of behavior languages around the abstract syntax and
semantics of composite structure, UML's model for capturing
interconnection of parts of classes. This significantly simplifies
the UML metamodel, provides a formal semantics to clarify
ambiguities in the current informal semantics, and increases the
expressiveness of UML behaviors. Slides:
BPMN-based presentations:
- Integrating
Four-dimensional Ontology and Systems Requirements Modelling
(Slides: 4D, Requirements and Designs)
Section 3 gives more detail on the logical interpretation of UML
and how to use it for modeling language semantics (originally in
previous), then extends and applies it
to four-dimensional requirements modelling.
This site is not affiliated with any government agency.