Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Process Algebra Approach for Object Interactions in UML

UML에서 객체 상호작용에 대한 프로세스 대수 접근

  • 최성운 (명지대학교 컴퓨터공학과) ;
  • 이영환 (대전대학교 정보과학부 전산정보보호학 전공)
  • Published : 2003.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

객체지향 방법론에서 정적 및 동적 모델에 관한 구문(Syntax)과 의미론(Semantics)의 형식적 정의는 잘 이루어 졌으나 객체 상호작용의 행위에 대한 형식론은 아직까지 제시되지 않았다. 본 논문에서는 객체 상호작용을 묘사하는 UML의 순서(Sequence) 다이어그램을 토대로 프로세스 대수를 사용하여 객체 상호작용을 정의하고 객체 상호작용의 특성을 정규화 시킨다. 이러한 결과는 M. Snoeck과 G. Dedene[9]가 제시한 종속존재 관계의 개념을 상호작용 관계의 개념으로 대체하여 형식론을 전개할 수 있음을 보여준다.

Keywords

References

  1. P. P. Chen, The Entity-Relationship Model-Toward a unified view of data, ACM Trans. Database Syst. 1(1), 9-16, 1997 https://doi.org/10.1145/320434.320440
  2. G. Kappel and M. Schrefl, Using an object-oriented diagram technique for the design of information systems, Dynamic Modeling of Information System, Elsevier Science Publishers, 121-164, 1991
  3. P. Coad and E. Yourdon, Object-Orient Analysis, Prentice Hall, Englewood Cliffs, New Jersey, 1991
  4. D. Cloeman, F. Hayes and S. Bear, Introducing objectcharts or How to use ststecharts in object oriented design, IEEE Trans. Software Eng. 18(1), 9-18, 1992 https://doi.org/10.1109/32.163607
  5. I. Jacobson, J. Rumbauch, and G. Booch, The Unified Software Development Process, Addison Wesley, 1999
  6. UML, http://www.omg.org and http://www.uml.org
  7. G. Dedene and M. Snoeck, M.E.R.O.D.E.: A Model-driven entity-relationship object-oriented development method, ACM Sigsoft, Software Engineering Notes, Vol 19, No 3, 51-61, 1994 https://doi.org/10.1145/182824.182838
  8. G. Dedene and M. Snoeck, Formal deadlock elimination in an object oriented conceptional schema, Data & Knowledge Engineering Vol 15, 1-31, 1995 https://doi.org/10.1016/0169-023X(94)00031-9
  9. M. Snoeck and G. Dedene, Existence Depen dency: The key to semantic integrity between structural and behavioral aspects of object types, IEEE Transactions on software Engineering, Vol 24, No 4, 233-251, 1998 https://doi.org/10.1109/32.677182
  10. G. Booch, Object Orient Analysis and Design with Applications, Second Edition, Benjamin/Cumming, Redwood City, CA, 1994
  11. Ivar Jacobson et al. Object Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1994
  12. D. W. Embley, B. D. Kurtz, and S. N. Woodfield, Object-Orient systems analysis : A Model Driven Approach, Yourdon Press, Prentice Hall, Englewood Cliffs, 1992
  13. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object Oriented Modeling and Design, Prentice Hall International, Englewood Cliffs, New Jersey, 1991
  14. S. Shlaer, S. J. Mellor, Object-Oriented Systems Analysis: Modeling the World in Data, Prentice Hall, Englewood Cliffs, New Jersey, 1988
  15. B. P. Douglass, Real-Tim UML (Developing Efficient Objects for Embedded Systems) Addison-Wesley, 1998
  16. R. Milner, A calculus of communication systems, Springer, Berlin, Lecture notes in computer science, 1980
  17. C. A. R. Hoare, Communicating sequential process, Prentice-Hall, Series in computer science 1985
  18. J. C. M. Baeten, Process algebra, Kluwer, 1986
  19. J. Rumbauch, I. Jacobson and G. Booch, The Unified modeling language reference manual, Addison-Wesley, 1999