Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems

Print
 
Download Full Text
International Journal of Computer Applications
© 2014 by IJCA Journal
Volume 85 - Number 16
Year of Publication: 2014
Authors:
Rumpa Hazra
Shouvik Dey
10.5120/14924-3444

Rumpa Hazra and Shouvik Dey. Article: Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems. International Journal of Computer Applications 85(16):17-23, January 2014. Full text available. BibTeX

@article{key:article,
	author = {Rumpa Hazra and Shouvik Dey},
	title = {Article: Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems},
	journal = {International Journal of Computer Applications},
	year = {2014},
	volume = {85},
	number = {16},
	pages = {17-23},
	month = {January},
	note = {Full text available}
}

Abstract

Modeling of real time software systems (RTSS) consist of different components with UML 2. 0 leads to a design model using various diagrams. To get a consistent model, a consistency concept for different diagrams type is needed that takes into account real time constraints. Ensuring consistency of The Unified Modeling Language (UML) model is very crucial as it is effect to the quality of UML model and directly gives impact to good implementation of Information System. Although there are increasing researches on consistency management, there is still lack of researches of consistency driven by Use Case. With this motivation, in this paper, we have proposed few consistency rules between Use Case, Sequence and Timing diagrams which focus on the establishment of timing constraints. Elements of each diagram involved in the proposed rules are formalized. Using an example, we show how the diagrams fulfill our proposed consistency rules.

References

  • Boris Litvak, S. T. and Yehudai. A Behavioral consistency validation of uml diagrams. First International Conference on Software Engineering and Formal Methods (SEFM'03), Brisbane, Australia, page pp 118, September 22-27 2003.
  • Egyed, A. Scalable consistency checking between diagrams-the view integra approach. 16th IEEE International Conference on Automated Software Engineering (ASE'01), San Diego, California, November 26-29 2001.
  • G. Spanoudakis, & A. Zisman. Inconsistency Management in Software Engineering: Survey and Open Research Issues, Handbook of Software Engineering and Knowledge Engineering, ed. , World Scientific Pub. Co, New Jersey, 2001.
  • Nugroho, & M. R. V. Chaudron. A survey into the rigor of UML use and its perceived impact on quality and productivity, in: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, 2008, pp. 90-99.
  • Hubaux, A. Cleve, P. -Y. Schobbens, A. Keller, O. Muliawan, S. Castro, et al. (2009). Towards a Unifying Conceptual Framework for Inconsistency Management A F. J. Lucas, F. Molina, A. Toval. : A Systematic Review of UML Model Consistency Management, Information and Software Technology, 51, 2009, 1631-1645.
  • F. J. Lucas, F. Molina, A. Toval. A Systematic Review of UML Model Consistency Management, Information and Software Technology, 51, 2009, 1631-1645.
  • D. Rosenberg, M. Stephens. Use Case Driven Object Modeling with UML: Theory and Practice, A press, 2007.
  • J. W. Satzinger, R. B. Jackson, S. D. Burd. Object-Oriented Analysis and Design with the Unified Process, Thomson Course Technology, 2005.
  • B. Dobing, J. Parsons. Dimensions of UML Diagram Use: A Survey of practitioners, Journal of Database Management, 19, (1), 2008, 18.
  • Y. Shinkawa. : Inter-Model Consistency in UML Based on CPN Formalism, in: 13th Asia Pacific Software Engineering Conference (APSEC '06) 2006, pp. 414-418.
  • L. Fryz, & L. Kotulski. Assurance of System Consistency during Independent Creation of UML Diagrams, in: 2nd International Conference on Dependability of Computer Systems, 2007 (DepCoS-RELCOMEX '07), 2007, pp. 51-58.
  • P. G. Sapna, H. Mohanty. Ensuring Consistency in Relational Repository of UML Models, in: 10th International Conference on Information Technology (ICIT 2007), 2007, pp. 217-222.
  • J. Chanda, A. Kanjilal, S. Sengupta, S. Bhattacharya. Traceability of Requirements and Consistency Verification of UML UseCase, Activity and Class diagram: A Formal Approach, in: International Conference on Methods and Models in Computer Science 2009 (ICM2CS), 2009, pp. 1-4.
  • Küster, J. M. ,Stehr, J. Towards explicit behavioral consistency concepts in the uml. Second International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, Portland,Oregon, USA, May 3 2003.
  • Object Management Group (OMG), OMG Unified Modeling LanguageTM (OMG UML), Superstructure Version 2. 3. Retrieved from: , 2010.
  • Xuandong Li , Johan Lilius. : Timing analysis of UML sequence diagrams. In Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, volume 1723 of LNCS, Pages 661-674, Springer, 1999.
  • Xiaoshan Li, Zhiming Liu, He Jifeng. : A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference (ASWEC'04), Melbourne, Australia, April 13-16, 2004.