Revision as of 21:46, 30 May 2009 by AldoGangemi (Talk | contribs)

(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)

This pattern has been certified.

Related submission, with evaluation history, can be found here

If you are a member of quality committee please visit the evaluation section If you are author of this proposal or you want to contribute to this pattern's review, you can: ask for a review post your open review specify if this revision takes in account any of the review(s) add a new scenario for Transition In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal Current revision ID: 4214

Process (owl:Class) The invariance under some different transitions (including the one represented here), in which at least one Object is situated.

Transition (owl:Class) In this pattern, it is the entity that is invariant across the Process underlying the transition, but is also changed from an initial to a final state by an Event.

A transition is a Situation that creates a context for three TimeInterval(s), two additional different Situation(s), one Event, one Process, and at least one Object: the Event is observed as the cause for the transition, one Situation is the state before the transition, the second Situation is the state after the transition, the Process is the invariance under some different transitions (including the one represented here), in which at least one Object is situated. Finally, the time intervals position the situations and the transitional event in time.

This class of situations partly encodes the ontology underlying typical engineering algebras for processes, e.g. Petri Nets.

A full representation of the transition ontology is outside the expressivity of OWL, because we would need qualified cardinality restrictions, coreference, property equivalence, and property composition.