2.3  Conceptual Modeling
Definition of Model

 

An Object

 

A Representation

 

A Viewpoint

 

 

 

 

 

 

The Wikipedia defines a model as "an abstract (or actual) representation of an object or system from a particular viewpoint".

There are three parts to the definition - an object or system, a representation and a viewpoint.  It is critical to understand the role of each element of a model.  

An "object or system" is essentially an unknown and perhaps unknowable thing; an object as something in the world to be modeled has potentially an unlimited amount of information associated with it.  For instance, a chair as an actual physical object in the world possesses innumerable structural characteristics, such as materials and their strengths, as well as myriad facts about the styles of the chair or its history, for instance who sat upon it ( say, it was your great grandfathers chair and consequently is irreplaceable ).  There might be many thousands of possible facts associated with a single chair.

Of all the many possible characteristics of given object, there often is only a single fact or facet that is of interest to us, a few dozen facts as opposed to many thousands.  Whenever we use a chair, our mental representation of the object discards at least 99.9% of all information about chairs and focuses exclusively on the 0.01 % of the characters that effect us, most commonly whether it will hold me up without breaking or tipping over.

The representation of an object is further simplified by picking a particular viewpoint according to the need of the moment.  For instance, if someone is considering standing on a chair to reach something on a shelf rather than just sitting on it, the fact that the seat is made of woven cane would be the most important aspect of the chair for from that particular viewpoint - it would be more likely to break than a metal chair.  Even if it were a fairly substantial chair, the fact that it was your grandfather's chair might make it unusable as a step ladder - far better to make a trip to the basement and get a ladder rather than risk breaking it.

We perform the mental gymnastics of mapping from object to representation to viewpoint effortlessly and naturally.  Many people are unaware that they are doing it.  However, when one is forced by circumstance ( or inclination ) to try to get a computer to perform commonsense tasks of this sort, it can be a very difficult to accomplish

 
More ...

 

Qualitative Reasoning

Commonsense Reasoning

Function, Structure and Behavior

Mapping

 

 

 

 

 

 

 

During the late 1980s, a group of academics investigating models of physical systems developed a set of guiding principles to help them perform simulations.  The purpose was to perform an amazing and unprecedented feat of computation - predicting that water spilled on the top of a table would eventually drip on the floor.

It may not sound like an impressive achievement but it was huge step forward for conceptual modeling.   Before their conception of qualitative physics, a simulation would require the solution of complex simultaneous equations, a computational task not far from calculating the course of individual water atoms.     

The central figures were Kenneth Forbus and Johan de Kleer, who edited the classic text of the field, "Qualitative Reasoning about Physical Systems".  It sparked a small and very quiet revolution in computer simulation of complex physical systems.  Interest also spread to human cognitive processes than could be called commonsense reasoning,.   

The cornerstone of idea was a very simple.  There were three components to a physical simulation - function, structure and behavior.  The modeler starts with one of the three components, say a structure, and then derives the function of that structure ( what can be accomplished with it  ) for a given set of behaviors ( actions ).

A typical example might start with the structural description of a hammer and a inventory of possible behaviors ( actions ), such as - 1 ) swing it from the handle, 2 ) throw it, 3 ) lay it on top of something, 4 ) attach it to something, etc.  From these behaviors, one can derive the functions of 1 ) driving a nail, 2 ) driving away pesky critters from the garbage bin, 3) keeping papers form blowing away, 4 ) sinking something that floats, etc.  

There are six possible mappings between the three components.

 

Mapping From Input:  To Output:  For a Given:
Structure  Function Behavior
Structure Behavior Function
Behavior  Structure Function
Behavior  Function Structure
Function  Structure Behavior
Function Behavior Structure

 

The conceptual framework is quite simple to use.  For instance, if someone needed to drive a nail but did not have a hammer, one might look for things structurally similar to a hammer ( solid, heavy ) that could be used with the same action as a hammer ( pounding on the nail ) to achieve a given function ( to drive the nail into a board ).  This would be the equivalent of the fifth type of mapping on the list, that is from function ( drive nail ) to structure ( something like a hammer ) for a given behavior ( pounding ).

Note that the order is important.  It is not likely that someone would whack on the nail with a heavy glass vase - the search is for something structurally similar to a hammer.  The question is, what can I use to pound the nail into the board ?  The required 'what' is something like a hammer, so the variable output is structure, not behavior or function, which are both fixed.        

It is a very simple conceptual framework, but has surprising power to describe the workings of physical systems at a high level of abstraction.  The concept was so powerful that that it was picked up by software architects to describe non-physical systems, such as the workings of object-oriented software. 

 


Design Patterns

The first mention of design patterns in relation to software was made  in 1987 by Kent Beck and Ward Cunningham ( who also invented CRC Cards ).  The idea of design patterns then kicked around for a few years, but became popular in 1994, with the classic text "Design Patterns: Elements of Reusable Object-Oriented Software", edited by Erich Gamma, Richard Helm, et al. 

The Wikpedia defines a design pattern as "a general repeatable solution to a commonly occurring problem in software design. A design pattern is not a finished design that can be transformed directly into code. It is a description or template for how to solve a problem that can be used in many different situations". 

Since 1994, the number of design patterns has proliferated but Gamma's original text identified three types of design patterns -  structural, behavioral and creational patterns.  The creational patterns are roughly equivalent to the functional component of the function-structure-behavior model.  An example of a structural pattern is a "Composite", which composes individual objects into a collection, often represented as a hierarchical "tree" structure.  An example of a behavior is the "Mediator" pattern, which determines how two objects interact independently of the object themselves, decoupling explicit references to one another, somewhat like a business rule.    

 


 

 
Zachman Framework

 

A Generic Conceptual Framework

 

Six Categories of Questions

 

Mapping Subjects to Categories

 

Journalism majors know the drill by heart.  The First Law of Journalistic Excellence, the 5 "Ws" of Reporting ( and an "H" throw in just to make life difficult for journalism students ).  The Law states: every journalistic oeuvre must answer these eternal questions - who, what, when, where, why and how.  That's a fine principle for overworked journalism students, but what about the rest of us, for example they who toil tirelessly in the murky mines of Infotechnology.    

Enter the Zachman Framework.  

A Zachman Framework provides a generic analytic template that can be used to model ( in theory ) any entity that exists or can be thought to exist, more specifically the interactions between the entities.  It is in the form of a table or spreadsheet with the top row containing the six questions and the left column containing the subjects of attention or under discussion.  In practice, the model is usually centered on business process.

Note that in the "Real" Zachman Framework, the subject on the left side are 5 "stakeholders" in the business enterprise - the Planner, Owner, Designer, Builder and Subcontractor.  While these five categories have some relevance to a Semantic Web, at the level of conceptual modeling their usefulness is limited.  In fact, any 'well-formed' collection of interacting subjects will work in a Zachman model.

Below is a simplistic example of a  customer ordering a product, with approval from the credit department of course.     

 

Why Who What Where When How
Customer Order product  Customer Product X Kansas City Today Phone
Order Fulfill Order Order Dept Product X,
Quantity,
Price
Newark Office Tomorrow Standard Shipping
Credit Approve Credit Credit Dept Credit Approval HQ Today CCA System
 

Usually the empty slots in the framework fill in easily and fairly naturally, giving a basic sense of who the players are and what they are doing.  The order of the questions in the row can be significant.  The model above is focused on 'why' and 'who'.  From the perspective of the order fulfillment process, the questions 'what', 'where' and 'how' might be the most significant.  Each category of question can become a pivot point for a greater level of detail in the model.      

 


 
A Deeper Understanding of the Six Categories

 

Fuzziness of Subject

 

Fuzziness of Categories

 

Leveling the Model

 

Below are more detailed descriptions of the six categories.  The definitions are fairly flexible, indeed, they need to be.              

      

Why The function, purpose goal or objective of some activity, what is going to be gained, with a measure of success if possible.
Who A person, actor, organization or group.
What A thing, situation, action, an aggregate of things, an idea or ontology.
Where A place, a physical or namable location, potentially a situation in the sense of a state in a series of expected events.
When A point in time, a span, duration, or interval, an event or sequence of events, a temporal context of some sort.
How Steps, a manner, procedure, a capability to to change, transform or control something.

 

Sometimes, there are subtleties in the interaction between the subjects and questions that require a deeper understanding of the subject in order to assign them to a specific slot.

For example, there might be a business policy saying that all orders for a highly profitable product that happen to be out of stock in one location will be shipped out the next nearest location, even at a higher shipping cost for the company.  In others words, locations of shipping point and distances between them are suddenly an important factor - it requires a fairly complex locator function to map from "what gets shipped from where" to "where it gets shipped to".  A deeper understanding of 'where' is required.  

There may be significant features of a situation that demand a stretching of the categories themselves.  For instance, the category of 'where' can include a sense of 'where are we in moving toward our objective", with a clear sense of moving nearer or farther away from it as if it were a definite location.  The category 'when' may refer to a window of opportunity rather than definable instant or duration of time.  In this case, there is a sense is of moving in time toward the window, but once it is past, that time is no longer accessible, it's too late.  In other words, a window of opportunity behaves more like a 'when' than a 'what' or 'where'.

Often the fuzziness is based on the type of task being performed.  For instance, detailed planning tasks have strong elements of 'how' and 'when', mixed with in 'what', in the sense of the plan itself as a concrete structure of tasks.  There is also a sense of 'what' tasks need to be performed, although these tasks are probably more properly modeled as 'hows'.

More confusion can arise by mixing different levels of interaction among the subjects, such as mixing the high level concepts of' why' or 'what to do' with lower level concepts, 'when, 'where' and 'how' to do it.  In the case of a framework for planning, the model would show the interactions between the plan and other plans or objective in the organization.  It would not work to mix interactions between the plan and its constituent parts within the same subject framework.  The framework needs to be 'leveled' the same as any other model -  things of basically the same type need to be shown at roughly the same level of the model.   

 


The E-Z Framework

 

Is It A Meta-Model ? 

 

Mapping the FSB Criteria to the E-Z Framework

 
The Zachman Framework is both powerful and flexible.  There are several extensions and variations of the Zachman Framework available in the marketplace.  In fact, it can be used as a form of 'meta-model' to map the features of two models.

Mapping the three model qualitative reasoning concepts, Function, Structure and Behavior ( "FSB" ), against the six categories of the Zachman Framework produces a sort of 'main sequence' of shared characteristics, running from the top left to the bottom right.      

  Mostly Function Mostly Structure Mostly Behavior
Why Who What Where When How
Function purpose, goal, objective  initiator, prime actor
Structure group or  organization thing, aggregate, ontology place, location, situation date/ time, duration, interval
Behavior temporal context, sequence change, transform, control

 

This diagonal mapping implies that subjects will tend to group themselves according to the FSB criteria.  A paragraph above said that "things of basically the same type need to be shown at roughly the same level" of the model - the 'types' correspond to the FSB criteria.

For instance, in the example of a customer ordering a product, the subjects on the right are mostly functional subjects rather than structural or behavioral.  If the subject were production planning, the subjects would be mainly structural descriptions, such as product configuration, raw components and sub-assemblies, inventory locations, highly structured production schedules reflecting aggregated lead-times for processing steps, etc.  At a lower level would be behavioral descriptions of specific processing steps, such as stamping or lathing, mixing chemicals and maintaining a certain pressure and temperature for some duration of time.      

Each E-Z Framework model will show a type of subject and interactions between them.  Each will also have aspects of all six categories of questions within them - even a lower level manufacturing step has a 'why' associated with it.  But a processing step is primarily a behavioral 'how' and 'when' and not a functional 'why', it would be modeled properly on the same level as other behavior entities, rather than mixing up it with functional and structural entities.  

 


Don't Forget Good, Old Fashioned Objects

 

Object Ontology

 

 

The Object Role Model

 
So far, the discourse has avoiding the siren call of 'computer-friendly" objects in favor of "people-friendly" subjects and the subject distinction will be maintained as long as possible.  

But, sometimes, there's nothing like an object.  It knows things, it knows how to do things and knows other objects that know how to do things ( like the CRC Cards mentioned in a previous section ).    

A most critical facility provided by object technology for the semantic web are so-called 'object ontologies'.  Haley has an excellent definition of ontology.  

[ An ] ontology is a systematic arrangement of all of the important categories of objects or concepts which exist in some field of discourse, showing the relations between them.  

When complete, an ontology is a categorization of all of the concepts in some field of knowledge, including the objects and all of the properties, relations, and functions needed to define the objects and specify their actions.

It would be comforting to think that an object ontology can somehow be reduced to a 'subject' ontology, but it is not really true.  There are significant features of the popular OWL ontology language that require an understanding of objects in order to use effectively.  This topic will be revisited in a later section on modeling with objects.

Another object technology supporting the semantic web is Object Role Modeling

The designer of a database builds a formal model of the application area or universe of discourse (UoD). The model requires a good understanding of the UoD and a means of specifying this understanding in a clear, unambiguous way.

Object-Role Modeling (ORM) simplifies the design process by using natural language, as well as intuitive diagrams which can be populated with examples, and by examining the information in terms of simple or elementary facts.

Note the key words are "natural language" and "intuitive diagrams", suitable for non-computer people.  While ORM can used fairly easily in developing computer applications, the whole topic of object technology is too computer technical for this section, and will be discussed in the Inference Engines section.   

 


Generic Task Models versus Process Design Patterns

 

 KADS

 

WebKB

 

A KADS Ontology

 

Generic Tasks as Stereotypes

 


Generic task models are similar to design patterns.  In fact, doing a search on "process design patterns" will reveal an entire world of software development disciplines and methodologies offering 'descriptions of how to solve a problem' in the design of business systems and  processes.  However, there is a clear distinction between process patterns, which are derived ad-hoc from experience, and generic task models, which are derived from first principles and are intended to describe all knowledge-intensive tasks systematically and exhaustively.                

The premier methodology is is called "Knowledge Based Systems Analysis and Design Support", hereafter referred to as 'KADS'.   The most generally useful text on the subject is "Knowledge Based Systems Analysis and Design: A Kads Developer's Handbook", by D. S. W. Tansley and C. C. Hayball, currently unavailable on Amazon.com.    

The original objectives of generic tasks were fairly modest, to help build KADS Expertise Models, that is the steps a knowledgeable person would take in solving a problem or analytic challenge of some sort, for example, diagnosis, fault determination, etc.  The specific generic tasks identified by the KADS methodology turned out to be applicable to many area outside of software design.           

Generic task models have been around for years in Europe, but have had surprisingly little impact into advanced information technology in the United States. In fact, interest in KADS has even languished in Europe since the ESPRIT project began to wind down.  To some extent, the ideas of KADS have been absorbed into commercial tools and methodologies that are more focused business processes, such as Carnot.  Most of the benefits of generic tasks models were lost in the process.     

One gleam of light in the gloom is a fascinating site from Australia ( not Europe ).  WebKB  has an interesting comment about itself: "WebKB refers to the knowledge base (KB) servers WebKB-1 and WebKB-2.  KB servers are not Web search engines ...".  It is a cogent observation on one of the ongoing debates about the term 'semantic web', which can be taken to be no more than advanced search engines.

The creator of the site is Dr. Philippe Martin of Griffith University in Queensland, who seems to have a near monopoly on KADS these days.  He has even created an entire ontology for KADS, with a neat little Javascript engine to drive the whole thing.  Generic tasks include collecting, generalizing, specifying, classifying, decomposing, assembling, transforming and a dozen or so more ( slightly extended beyond the original formulation ).       

The concept of generic tasks has great power but can also become very complex as the size of the problem grows.  However, they will be useful as simple stereotypes when modeling relatively complex workflow processes.  The subject of generic tasks will be revisited in the section on Modeling Workflows.     

 


 

 


<<<
Logical Inference

        

>>>
Designing Rule Bases