Моделирование бизнес-процессов / Моделирование бизнес-процессов / I D E F / idef4
.pdf
Static Partition Box Syntax
Partition_Entity
[Classbox_Static_Label]*
[Classbox_Static_Label]*
or (everything is public)
Partition_Entity
[Classbox_Static_Label]*
Example
Corporation
{A} Name : String
{P} Marketing : Dept
{P} Accounting : Dept
{P} Research : Dept
{P} Development : Dept
{P} Executive : Dept
{MM} Release Product
[Corporate Release :
Marketing
Development
Executive]
Static Relation Syntax
Static_Relation_Label
Example
|
Person |
R1:Ownership |
Dog |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
144
Static Link Syntax
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{Static_Attribute_Label | |
Static_Link_Label |
|
||
|
Return_Parameter} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Example
|
Owner |
|
|
Dog |
|
|
|
|
|
|
|
|
{A} Pet |
|
L1:Ownership(R1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Behavior Model Diagram Labels
Behavior_Method => |
[Partition_Path] Method_Name [Design_Status] |
||
Behavior_Class => |
Class [Design_Status] |
|
|
|
Method Box Syntax |
Example |
|
|
Behavior_Method |
Wash Car |
|
|
|
|
|
|
[Behavior_Class ]* |
Car |
|
145
Artifact Specification Syntax
Method Specification
{
Name: Method_Name
Behavior: Behavior
Author: Author
Date: Date
Specialization Classes
{
[Class ‘:’ Variable_Name]*
}
Input Parameters
{
[Parameter_Type ‘:’ Variable_Name]*
}
Output Parameters
{
[Parameter_Type ‘:’ Variable_Name]*
}
146
Parent Methods
{
[Method_Name [‘:’ Class*]]*
}
Child Methods
{
[Method_Name [‘:’ Class*]]*
}
Definition/Description
{
[Textual_Description]
}
External Specification
{
[External_Constraint]*
}
Internal Specification
{
[Internal_Constraint]*
}
}
147
Class Specification
{
Name: Class_Name
Partition: Partition_name
Author: Author
Date: Date
Super Classes
{
[Class]*
}
ClassFeatures
{
ClassAttributes{[Attribute Specification]}
ClassMethods{[Method Specification]}
}
InstanceFeatures
{
Attributes {[Attribute Specification]}
Methods{[Method Specification]}
Objects{}
Instances{}
Classes{}
148
Partitions{}
Events{}
}
PartitionFeatures
{
MultiMethods{}
Relations{}
Links{}
}
Definition/Description
{
[Textual_Description]
}
External Specification
{
[External_Constraint]*
}
Internal Specification
{
[Internal_Constraint]*
}
}
149
APPENDIX B: IDEF4 GLOSSARY |
|
|
|
Application Domain |
The domain the application is being designed for (i.e., the |
|
end users). |
|
|
Attribute |
An implementation choice on how to represent an |
|
object’s state. |
|
|
Behavior Diagram |
Defines relations between similar behavior. |
|
|
Behavior Model |
Defines the relations between the similar behaviors of |
|
objects. |
|
|
Behavior Specification |
Specification for the signature and internal |
|
implementation of a method. |
|
|
Class |
A description of a group of objects with common |
|
behavior, relationships, and semantics. |
|
|
Client/Server Relationship |
The dynamic relationship between an object that sends a |
|
message (client) and an object that receives it (server) and |
|
acts on it. |
|
|
Design Artifact |
Items used in the design. |
|
|
Design Domain |
The domain in which the design is performed. |
|
|
Design Method |
A heuristic guide to thinking that applies a certain |
|
philosophy of design (Design Methodology). |
|
|
Design Methodology |
A philosophy of design (see also Design Method). |
|
|
Design Rationale |
Provides a top-down representation of the system, giving |
Component |
a broad view that encompasses the three design models |
|
and documents the rationale for major design evolutions. |
|
|
Domain |
Scope of the system being developed. |
|
|
Dynamic Model |
Specifies the communication between objects and the |
|
state transitions of objects. |
|
|
Encapsulation |
The act of imbedding features in objects. |
|
|
150
Event |
A signal generated by a method in an object indicating |
|
some condition in the object. |
|
|
Feature |
A catch-all category for concepts that the engineer wants |
|
to capture in the software design. |
|
|
Function |
An operation that returns a value and has no side effects. |
|
|
Implementation Domain |
The environment and language in which the design is |
|
implemented and the environment in which the |
|
implementation executes. |
|
|
Inheritance |
An object-oriented mechanism for sharing attributes and |
|
methods between objects. |
|
|
Inheritance Diagram |
Illustrates the subclass/superclass relation between |
|
classes. |
|
|
Instance |
An object described by a class. |
|
|
Link |
The association formed by a referential attribute |
|
imbedded in one class whose domain is another class. |
|
|
Link Diagram |
A diagram depicting links between objects. |
|
|
Link Instance |
The association formed by a referential attribute of one |
|
instance pointing to another instance. |
|
|
Message |
A token sent from one object to another to requesting an |
|
action. |
|
|
Method |
An implementation of behavior, such as a set of |
|
instructions for the object to perform some operation, or a |
|
procedure contained in an object. |
|
|
Object Class |
A description of a group of objects with common |
|
behavior, relationships, and semantics. |
|
|
Object Instance |
An object described by a class. |
|
|
Object Life Cycles |
The pattern of behavior that an object exhibits from |
|
creation to deletion. |
|
|
Partitions |
A partition object contains objects and relations. |
|
|
151
Polymorphism |
The property of an operation to behave differently on |
|
different objects. |
|
|
Procedure |
An operation that returns no value and has side effects. |
|
|
Relation |
An association between objects. |
|
|
Relation Diagram |
A diagram depicting relations between objects. |
|
|
State |
The values of the attributes of an object at a particular |
|
time. |
|
|
State Diagram |
A diagram depicting transitions between states. |
|
|
Static Model |
Defines time-invariant relations between objects, such as |
|
ownership and inheritance. The static model is described |
|
using inheritance, relation, and link diagrams. |
|
|
SubClass |
Grouping particular instances of a class into an even more |
|
specialized class. |
|
|
SuperClass |
The class from which a subclass is derived. |
|
|
152
