Research Article
Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems
|
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
| Volume 85 - Issue 16 |
| Published: January 2014 |
| Authors: Rumpa Hazra, Shouvik Dey |
10.5120/14924-3444
|
Rumpa Hazra, Shouvik Dey . Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems. International Journal of Computer Applications. 85, 16 (January 2014), 17-23. DOI=10.5120/14924-3444
@article{ 10.5120/14924-3444,
author = { Rumpa Hazra,Shouvik Dey },
title = { 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 },
doi = { 10.5120/14924-3444 },
publisher = { Foundation of Computer Science (FCS), NY, USA }
}
%0 Journal Article
%D 2014
%A Rumpa Hazra
%A Shouvik Dey
%T Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems%T
%J International Journal of Computer Applications
%V 85
%N 16
%P 17-23
%R 10.5120/14924-3444
%I Foundation of Computer Science (FCS), NY, USA
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.
- 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.
Index Terms
Keywords