Abstract
UML supports a multi-view modeling approach for overcoming software complexity. It consists of several diagrams, which allow for considering software systems from different perspectives: structure, behavior and deployment. However, this multi-view approach faces the challenging issue of consistency. Moreover, when UML is used for real-time systems, through its specialized profiles such as UML/SPT for instance, the consistency issue becomes more complex. New aspects, relevant for real-time systems design, should be taken into consideration. These include concurrency, time constraints and schedulability. In this paper, we present a consistency framework for UML/SPT models. This framework addresses incrementally the various aspects of consistency including syntactic, semantic, concurrency-related and time consistency. In this framework, we introduce an approach for checking time consistency between statecharts and sequence diagrams using schedulability analysis.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Astesiano, E., Reggio, G.: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) Recent Trends in Algebraic Development Techniques. LNCS, vol. 2755, pp. 56–81. Springer, Heidelberg (2003)
Erpenbach, E.: Compilation, Worst-Case Execution Times and Schedulability Analysis of Statecharts Models. Phd thesis, Department of Mathematics and Computer Science of the University of Paderborn (April 2000)
Firley, T., Huhn, M., Diethers, K., Gehrke, T., Goltz, U.: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. In: France, R.B., Rumpe, B. (eds.) UML’99 - The Unified Modeling Language. Beyond the Standard. LNCS, vol. 1723, pp. 645–660. Springer, Heidelberg (1999)
Groenewegen, L., Engels, G., Küster, J.M., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-oriented Behavioral Models. In: Gruhn, V. (ed.) ESEC. Proceedings of the 8th European Software Engineering Conference, pp. 186–195. ACM Press, New York (2001)
Gherbi, A., Khendek, F.: Timed-automata Semantics and Analaysis of UML/SPT Models with Concurrency. In: Proceedings of 10th IEEE International Symposium on Object/component/service-oriented Real-Time Distributed Computing (ISORC 2007), 7-9 Mai 2007, Santorini Island, Greece (2007)
Gherbi, A., Khendek, F.: From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. In: ISORC 2006. 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Gyeongju, Korea, 24-26 April 2006, pp. 343–350. IEEE Computer Society Press, Los Alamitos (2006)
Heitmeyer, C.L., Lynch, N.A.: The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. In: RTSS 1994. Proceedings of the 15th IEEE Real-Time Systems Symposium, San Juan, Puerto Rico, pp. 120–131. IEEE Computer Society Press, Los Alamitos (1994)
Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.-L.: Consistency Problems in UML-Based Software Development. In: Nunes, N.J., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Modeling Languages and Applications. LNCS, vol. 3297, pp. 1–12. Springer, Heidelberg (2005)
Knapp, A., Merz, S., Rauh, C.: Model Checking - Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395–416. Springer, Heidelberg (2002)
Küster, J.M., Stroop, J.: Consistent Design of Embedded Real-Time Systems with UML-RT. In: ISORC 2001. 4th International Symposium on Object-Oriented Real-Time Distributed Computing, Magdeburg, Germany, 2-4 May 2001, pp. 31–40. IEEE Computer Society Press, Los Alamitos (2001)
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (1997)
Li, X., Lilius, J.: Timing Analysis of UML Sequence Diagrams. In: France, R.B., Rumpe, B. (eds.) UML 1999 - The Unified Modeling Language. Beyond the Standard. LNCS, vol. 1723, pp. 661–674. Springer, Heidelberg (1999)
Li, X., Lilius, J.: Checking Compositions of UML Sequence Diagrams for Timing Inconsistency. In: APSEC 2000. 7th Asia-Pacific Software Engineering Conference, Singapore, 5-8 December 2000, pp. 154–161. IEEE Computer Society Press, Los Alamitos (2000)
OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). Document: realtime/05-02-06 (February 2005)
OMG. UML Profile for Schedulability, Performance, and Time Specification. OMG Adopted Specification Version 1.1, formal/05-01-02 (January 2005)
OMG. Unified Modeling Language: Superstructure. version 2.0 formal/05-07-04 (August 2005)
Paltor, I., Lilius, J.: Formalising UML State Machines for Model Checking. In: France, R.B., Rumpe, B. (eds.) UML 1999 - The Unified Modeling Language. Beyond the Standard. LNCS, vol. 1723, pp. 430–445. Springer, Heidelberg (1999)
Saksena, M., Kervelas, P.: Designing for schedulability: Integrating schedulability analysis with object-oriendted design. In: The 12th Euromicro Conference on Real-Time Systems (June 2000)
Zheng, T., Khendek, F.: Time Consistency of MSC-2000 Specifications. Computer Networks 42(3), 303–322 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gherbi, A., Khendek, F. (2007). Consistency of UML/SPT Models. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-74984-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74983-7
Online ISBN: 978-3-540-74984-4
eBook Packages: Computer ScienceComputer Science (R0)