An Operational Component Specification Method

Authors:
Hyung Ho Kim;Doo Hwan Bae;Dong Kwan Kim;Hyo Taeg Jung;Yun Dae Chung
Affiliations:
-;-;-;-;-
Venue:
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Year:
1999

Citing 10
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Distributed cooperation with action systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented specification of reactive systems

ICSE '90 Proceedings of the 12th international conference on Software engineering
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design

IEEE Transactions on Software Engineering
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Understanding ActiveX and OLE: a guide for developers and managers

Understanding ActiveX and OLE: a guide for developers and managers
Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types

IEEE Transactions on Software Engineering
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.