OOIS’98 pp 427-441 | Cite as

Consistency Analysis on Lifecycle Model and Interaction Model

  • K. S. Cheung
  • K. O. Chow
  • T. Y. Cheung
Conference paper


Two separate models, lifecycle model and interaction model, are generally adopted for specifying object behaviour in object-oriented system development. In this paper, we propose a Petri net-based formal method for analysing consistency between the two models at the logical level. This contributes to improving the consistency in the specification of object behaviour.


Interaction Model Execution Sequence Logical Level Interaction Diagram State Transition Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Iivari, “Object Orientation as Structural, Functional and Behavioural Modelling: A Comparison of Six Methods for Object-Oriented Analysis”, Information & Software Technology, Volume 37, Number 3, Pages 155–163, 1995.CrossRefGoogle Scholar
  2. [2]
    T. Dillon, P.L. Tan, Object-Oriented Conceptual Modelling, Prentice-Hall, 1993Google Scholar
  3. [3]
    K.O. Chow, S. Yeung, “Behavioural Modelling in Object-Oriented Methodology”, Information & Software Technology, Volume 38, Number 10, Pages 657–666, 1996.CrossRefGoogle Scholar
  4. [4]
    E. Yourdon, Object-Oriented Methods: An Integrated Approach, Prentice Hall, 1994Google Scholar
  5. [5]
    J. Martin, J. Odell, Object-Oriented Methods: A Foundation, Prentice Hall, 1995Google Scholar
  6. [6]
    J. Rumbaugh et al, Object-Oriented Modelling and Design, Prentice Hall, 1991Google Scholar
  7. [7]
    G. Booch, Object-Oriented Analysis and Design with Applications, Benjamin Cummings, 1994Google Scholar
  8. [8]
    G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modelling Language — Document Set, Version 1.0, Rational Software, 1997Google Scholar
  9. [9]
    M. Fowler, K. Scott, UML Distilled: Applying the Standard Object Modelling Language, Addison Wesley, 1997Google Scholar
  10. [10]
    A. Wasserman, “Behaviour and Scenarios in Object-Oriented Development”, Journal of Object-Oriented Programming, Volume 4, Number 9, Pages 61–64, 1992.Google Scholar
  11. [11]
    K.S. Cheung, K.O. Chow, T.Y. Cheung, “A Feature-based Approach for Consistent Object-Oriented Requirements Specification”, In W. Wojtkowski et al, Systems Development Methods for the Next Century, Pages 31–38, Plenum Press, 1997Google Scholar
  12. [12]
    J. Peterson, Petri Net Theory and the Modelling of Systems, Prentice Hall, 1981Google Scholar
  13. [13]
    W. Reisig, Petri Nets — An Introduction, Springer Verlag, 1985Google Scholar
  14. [14]
    F. Hayes, D. Coleman, “Coherent Models for Object-Oriented Analysis”, Proceedings of OOPSLA ’91, Pages 171–183, ACM Press, 1991Google Scholar
  15. [15]
    S. Kirani, W.T. Tsai, “Method Sequence Specification and Verification of Classes”, Journal of Object-Oriented Programming, Volume 7, Number 6, Pages 28–38, 1994.Google Scholar
  16. [16]
    D. Harel, E. Gery, “Executable Object Modelling with Statecharts”, IEEE Software, Volume 30, Number 7, Pages 31–42, 1997.Google Scholar
  17. [17]
    P. Coad, E. Yourdon, Object-Oriented Analysis, Prentice Hall, 1991.Google Scholar
  18. [18]
    D. Embley, B. Kurtz, S. Woodfield, Object-Oriented Systems Analysis: A Model-driven Approach, Prentice Hall, 1992Google Scholar
  19. [19]
    D. Firesmith et al, OPEN Modelling Language: Reference Manual, Version 1.0, OPEN Consortium, 1996Google Scholar
  20. [20]
    D. Coleman et al, Object-Oriented Development: The Fusion Method, Prentice Hall, 1994Google Scholar
  21. [21]
    K.S. Cheung, K.O. Chow, T.Y. Cheung, “Verification of Object-Oriented Design Modifications using Feature-based Assertions”, Proceedings of SCI ’97, Pages 347–354, Venezuela, 1997Google Scholar
  22. [22]
    J.D. McGregor, D.A. Sykes, Object-Oriented Software Development: Engineering Software for Reuse, Van Nostrad Reinhold, 1992Google Scholar

Copyright information

© Springer-Verlag London 1998

Authors and Affiliations

  • K. S. Cheung
    • 1
  • K. O. Chow
    • 1
  • T. Y. Cheung
    • 1
  1. 1.Department of Computer ScienceCity University of Hong KongKowloonHong Kong

Personalised recommendations