Скачиваний:
112
Добавлен:
30.04.2013
Размер:
1.68 Mб
Скачать

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

Соседние файлы в папке I D E F