An operational component specification method

Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

Volumn , Issue , 1999, Pages 38-45

  Kim, Hyung Ho ^a   Kim, Dong Ewan ^b   Jung, Hyo Taeg ^b   Chung, Yun Dae ^b   Bae, Doo Hwan ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b Electronics and Telecommunications Research Institute (ETRI)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; PETRI NETS; SPECIFICATIONS;

ACTION SYSTEMS; ANALYSIS TECHNIQUES; COMPONENT SPECIFICATION; DYNAMIC CONFIGURATION; EXECUTION MODEL; EXTENDED VERSIONS; OBJECT ORIENTATION; OBJECT PETRI NETS;

SOFTWARE ENGINEERING;

EID: 33749385553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1999.809582     Document Type: Conference Paper

References (14)

1. R. J. R. Back and R. Kurki-Suonio, "Distributed Cooperation with Action Systems, " ACM ToPLAS, Vol. 10, No. 4, pp. 513-554, October 1988.
2. D. Chappell, Understanding ActiveX and OLE-A Guide for Developers & Managers, Microsoft Press, 1996.
3. D. Coleman, F. Hayes, and S. Bear, "Introducing Objectcharts or How to Use Statecharts in ObjectOriented Design, " IEEE TSE, Vol. 18, No. 1, pp. 9 18, January 1992.
4. D. F. D'Souza and A. C. W ills, Objects, Components, and Frameworks with UML: The Catalysis Approach, Addison Wesley Longman, 1999.
5. D. Harel and A. Naamad, "The S TATEMATE Semantics of State charts, " ACM ToSEM, Vol. 5, No. 4, pp. 293-333, October, 1996
6. J. E. Hong and D. H. Bae, "HOONets: Hierarchical Object-Oriented Petri Nets for System Modeling and Analysis, " KAIST Technical Report CSjTR-98-132 November 1998.
7. H. M. Jarvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systa, "Object-Oriented Specification of Reactive Systems, " Proc. of 12th ICSE, pp. 63-71, 1990.
8. JavaSoft, JavaBeans, http://java. sun. com/beans, October 1996.
9. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1, Springer-Verlag, 1992.
10. C. Lakos, "The Object Orientation of Object Petri Nets, " Proc. Int'l Workshop Object-Oriented Programming and Models of Concurrency, Turin, Italy, June 1995.
11. W. Reisig, Petri Nets: An introduction, Berlin, Heidelberg: Springer-Verlag, 1985.
12. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, 1999.
13. M. Snoeck and G. Dedenc, "Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object, " IEEE TSE, Vol. 24, No. 4, pp. 233-251, April 1998.
14. M. Snoeck, On a Process Algebra Approach to the Construction and Analysis of M. E. R. O. DE. Based Conceptual Models, Ph. D. dissertation, Katholieke Universiteit Leuven, Belgium, May 1995.