Regular Paper IECI Chapter Japan Series Vol. 3 No. 1, 2001
59
{ }
,... ,
, ,
, ,
, ,
,
3 3
3 2
2 2
1 1
1 cs
cs cs
O V
S O
V S
O V
S CS
=
and
E CS
∈ ∀
S
cs
and O
cs
will be identified as a tentative object OBJ
t
, and V
cs
will be identified as a tentative association ASS
t
in terms of object-oriented paradigm.
] [
t cs
OBJ S
E CS
⇒ ∈
∀
and
] [
t cs
OBJ O
E CS
⇒ ∈
∀ ]
[
t cs
ASS V
E CS
⇒ ∈
∀
Definition 2.3 Collaborative Statements CS
: A collaborative statement is an OBFS statement, which has a tuple {S
cs
,V
cs
, O
cs
}. An Object OBJ is derived from S
cs
and O
cs
, and association between object ATT is derived from V
cs
.
2.3. Attributive Statements AS
Attributive statements AS are used to identify object attributes. Attributes are
properties of individual objects. Attributes usually correspond to nouns followed by
possessive phrases, and sometimes are characterized by adjectives or adverbs. AS must
contain properties of each object identified at the previous step.
AS consists of Subject S, Verb V, and Object O as well as the English E natural
language.
{ }
,... ,
, ,
, ,
, ,
,
3 3
3 2
2 2
1 1
1 as
as as
O V
S O
V S
O V
S AS
=
and
E AS
∈ ∀
O
as
will be identified as a tentative attribute ATT
t
in the term of object-oriented paradigm. And S
as
is identified and refined objects OBJ from tentative object OBJ
t
, as the final result of object identification’s process.
] [
t as
ATT O
E AS
⇒ ∈
∀ ]
[ OBJ
S E
AS
as
= ∈
∀
Definition 2.4 Attributive Statements AS
: An attributive statement is an OBFS statement, which has a tuple {S
as
,V
as
, O
as
}. S
as
is an identified object OBJ, and V
as
is a constant word, which shows that O
as
is an attribute of S
as
. The object’s attribute ATT is derived from O
as
.
2.4. Behavioral Statements BS
Behavioral statements BS are used to identify object behaviors. Behavior is how an
object acts and reacts, in terms of its state changes and message passing [Booch, 1991]. BS
contain behaviors of each object identified at the previous step.
BS consists of Subject S, Verb V, and Object O as well as the English E natural
language.
{ }
,... ,
, ,
, ,
, ,
,
3 3
3 2
2 2
1 1
1 bs
bs bs
O V
S O
V S
O V
S BS
=
and
E BS
∈ ∀
O
as
will be identified as a tentative behavior BEH
t
in the term of object-oriented paradigm. And S
bs
is identified and refined objects OBJ from tentative object OBJ
t
, as the final result of object identification’s process.
] [
t bs
BEH O
E BS
⇒ ∈
∀ ]
[ OBJ
S E
BS
bs
= ∈
∀
Definition 2.5 Behavioral Statements BS
: An behavioral statement is an OBFS statement, which has a tuple
{S
bs
,V
bs
, O
bs
}. S
bs
is an identified object OBJ, and V
bs
is a constant word, which shows that O
bs
is a behavior of S
bs
. The object’s behavior BEH is derived from
O
bs
.
2.5. Inheritance Statements IS
