Shared Phenomena

The Phenomena of the world has facts about Individuals.
The developer structures the Problem Context into Domains considered separately.
- The structuring into Domains is a division into sets of Individuals.
- Each Domain is a set of Individuals, and the facts in that Domain are the facts that the developer choose to observe about the Domain's Individuals.
From Architecture point of view:
- Problem Context = Architecture
- Domain = Structure Element
- Shared Phenomena = The Attributes of linked Structure Elements, which are used for exchanging or transforming during their interaction.

Process Specification and Modeling Language (PSML) :

Meta-model Packages:

Core Model:
- The core model package consists of the data types and operators that are used for defining other packages.
Structure Model:
- The structure model package consists of model elements for defining the static structure of a PSML-S model (program).
  - Actor: An actor is a model element that represents a system or a component with clear boundary that interacts with other actors.
  - Action: An action is a model element that represents an operational process to change internal status of an actor.
  - Attribute: An attribute is defined to provide security, safety, performance, timing or reliability information.
  - Condition: A condition is a predicate on data elements used to determine the course of a process taken by actors.
  - Data: A data element is an information carrier that represents the internal status of an actor.
  - Event: An event is a model element that represents an observable occurrence with no time duration of input to an actor or output from an actor.
  - Relation: A relation is defined to provide relationship information between any model elements.
Behavior Model:
- The behavior model package consists of model elements for defining the dynamic behavior of a PSML-S model.
  - Process: A Process is a model element in the behavior package, which is a sequence of model elements from the structure package and process elements from the behavior package (nested processes).
  - Dynamic Re-Configurable Process: It is a behavior model element whose structure elements can be replaced by another structure element at runtime.
  - Dynamic Re-Composition Process: It is a behavior model element whose structure elements, process elements, and the flow of the process can modified at runtime.
Constraint Model:
- The constraint model package consists of model elements for defining the constraints in both structure and behavior packages.
  - Policy: A Policy element is a constraint defined to restraint the relation among structure or behavior model elements that is checkable or enforceable during system runtime.
  - Policy Engine: Policy engine element checks the behavior of other behavior elements against the policy elements and triggers an event if a policy violation is detected.

Page updated

Google Sites

Report abuse