Sixth Asia-Pacific Software Engineering Conference (APSEC'99)
An Operational Component Specification Method
Takamatsu, Japan
December 07-December 10
ISBN: 0-7695-0509-0
Hyung Ho Kim, Korea Advanced Institute of Science and Technology
Doo Hwan Bae, Korea Advanced Institute of Science and Technology
Dong Kwan Kim, Electronics and Telecommunications Research Institute
Hyo Taeg Jung, Electronics and Telecommunications Research Institute
Yun Dae Chung, Electronics and Telecommunications Research Institute
We propose an operational component specification method that provides execution models for analyzing behaviors as well as adopts checking rules for consistency. Our proposed operational component specification method will help the users to capture the meaning of components in a precise and abstract manner. Our method is mainly based on two ideas, object-orientation and the action system. Object-orientation makes specifications easy to understand and the action system leads to a simple and clear view of behaviors. Our method utilize Petri net formalism, especially the notion of tokens, in order to handle dynamic configuration in each component. We develop an extended version of Petri nets, called Object Petri Nets, to build execution models and extend analysis techniques of Petri nets.
Citation:
Hyung Ho Kim, Doo Hwan Bae, Dong Kwan Kim, Hyo Taeg Jung, Yun Dae Chung, "An Operational Component Specification Method," apsec, pp.38, Sixth Asia-Pacific Software Engineering Conference (APSEC'99), 1999