Skip to main content
SpringerLink
Log in

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

Abstract

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a software system and to support its analysis and validation. UML and its extensions, such as the UML profile for real-time systems (UML/SPT), are commonly used to define the structure and the behavior of software systems while other models, such as performance models or schedulability models, are more suitable for performance or schedulability analysis, respectively. In this paper we discuss a model transformation enabling the derivation of schedulability analysis models from UML/SPT models. As a proof of concepts, we present a prototype implementation of this model transformation using ATL. We provide a definition of the source and target metamodels using the metamodel specification language KM3 and we specify the transformation in an ATL module. We discuss the merits and limitations of our approach and of its implementation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • ATLAS group: KM3: Kernel MetaMetaModel Manual, version 0.3 (2005)

  • Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295–310 (2004)

    Article  Google Scholar 

  • Batori, G., Asztalos, D.: Using TTCN-3 for testing platform independent models. In: Khendek, F., Dssouli, R. (eds.) Proceedings of International Conference Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 (TestCom 2005). Lecture Notes in Computer Science, vol. 3502, pp. 289–303. Springer, Berlin (2005)

    Google Scholar 

  • Bernardi, S., Petriu, D.C.: Comparing two UML profiles for non-functional requirement annotations: the SPT and QoS profiles. In: International Workshop Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS), Lisbone, Portugal (2004)

  • Bézivin, J., Jouault, F.: Using ATL for checking models. Electron Notes Theor. Comput. Sci. 152, 69–81 (2006)

    Article  Google Scholar 

  • Bézivin, J., Hammoudi, S., Lopes, D., Jouault, F.: Applying MDA approach for Web service platform. In: Proceedings of the Eighth IEEE International Enterprise Distributed Object Computing Conference, (EDOC’04), pp. 58–70. IEEE Computer Society, Los Alamitos (2004)

    Chapter  Google Scholar 

  • Bézivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the large and modeling in the small. In: Aßmann, U., Aksit, M., Rensink, A. (eds.) Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004. Lecture Notes in Computer Science, vol. 3599, pp. 33–46. Springer, Berlin (2005)

    Google Scholar 

  • Briand, L.C., Labiche, Y., Miao, Y.: Towards the reverse engineering of UML sequence diagrams. In: van Deursen, A., Stroulia, E., Storey, M.-A.D. (eds.) 10th Working Conference on Reverse Engineering (WCRE 2003), Victoria, Canada, pp. 57–66. IEEE Computer Society, Los Alamitos (2003)

    Chapter  Google Scholar 

  • Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework: A Developer’s Guide. The Eclipse Series. Addison-Wesley, Reading (2004)

    Google Scholar 

  • Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Workshop OCL and Model Driven Engineering Joint with the Seventh International Conference on UML, pp. 69–83 (2004)

  • D’Ambrogio, A.: A model transformation framework for the automated building of performance models from uml models. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP 2005), pp. 75–86. ACM, New York (2005)

    Chapter  Google Scholar 

  • Eclipse: Eclipse official Web site (2007). http://www.eclipse.org/

  • Eclipse Modeling Project: Eclipse Modeling Project Web site (2007). http://www.eclipse.org/modeling

  • Garousi, V., Briand, L.C., Labiche, Y.: Control flow analysis of UML 2.0 sequence diagrams. In: Model Driven Architecture—Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany. Lecture Notes in Computer Science, vol. 3748, pp. 160–174. Springer, Berlin (2005)

    Google Scholar 

  • Gherbi, A., Khendek, F.: From uml/spt models to schedulability analysis: a metamodel-based transformation. In: Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), Gyeongju, Korea, pp. 343–350. IEEE Computer Society, Los Alamitos (2006)

    Chapter  Google Scholar 

  • Graaf, B., van Deursen, A.: Model-driven consistency checking of behavioural specifications. In: Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES’07), pp. 115–126. IEEE Computer Society, Los Alamitos (2007)

    Chapter  Google Scholar 

  • Graaf, B., Weber, S., van Deursen, A.: Model-driven migration of supervisory machine control architectures. J. Syst. Softw. (2007)

  • Gu, Z., He, Z.: Real-time scheduling techniques for implementation synthesis from component-based software models. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K.C. (eds.) Component-Based Software Engineering, 8th International Symposium, CBSE 2005 Proceedings, St. Louis, MO, USA. Lecture Notes in Computer Science, vol. 3489, pp. 235–250. Springer, Berlin (2005)

    Google Scholar 

  • Gu, G.P., Petriu, D.C.: From UML to LQN by XML algebra-based model transformations. In: WOSP ’05: Proceedings of the 5th International Workshop on Software and Performance, New York, USA, pp. 99–110. ACM, New York (2005)

    Chapter  Google Scholar 

  • Jouault, F., Bézivin, J.: KM3: A DSL for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006. Lecture Notes in Computer Science, vol. 4037, pp. 171–185. Springer, Berlin (2006)

    Chapter  Google Scholar 

  • Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) FSatellite Events at the MoDELS 2005 Conference, MoDELS 2005. Lecture Notes in Computer Science, vol. 3844, pp. 128–138. Springer, Berlin (2006a)

    Chapter  Google Scholar 

  • Jouault, F., Kurtev, I.: On the architectural alignment of ATL and QVT. In: Haddad, H. (ed.) Proceedings of the 2006 ACM Symposium on Applied Computing (SAC’06), pp. 1188–1195. ACM, New York (2006b)

    Chapter  Google Scholar 

  • Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), pp. 719–720. ACM, New York (2006)

    Chapter  Google Scholar 

  • Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Object Technology Series. Addison-Wesley, Reading (2003)

    Google Scholar 

  • Koehler, J., Hauser, R., Sendall, S., Wahler, M.: Declarative techniques for model-driven business process integration. IBM Syst. J. 44(1), 47–65 (2005)

    Article  Google Scholar 

  • M2M Project: Eclipse M2M Project Web site (2007). http://www.eclipse.org/m2m/

  • Mellor, S.J., Clark, A.N., Futagami, T.: Guest editors’ introduction: model-driven development. IEEE Softw. 20(5), 14–18 (2003)

    Article  Google Scholar 

  • Miller, J., Mukerji, J.: MDA Guide Version 1.0.1. OMG Document: omg/2003-06-01 (2003)

  • Ortiz, G., Hernández, J.: Service-oriented model-driven development: filling the extra-functional property gap. In: Dan, A., Lamersdorf, W. (eds.) Service-Oriented Computing—ICSOC 2006, 4th International Conference. Lecture Notes in Computer Science, vol. 4294, pp. 471–476. Springer, Berlin (2006)

    Google Scholar 

  • OMG: MOF 2.0 Query/Views/Transformations RFP. OMG Document: ad/2002-04-10 (2002)

  • OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Final Adopted Specification ptc/05-11-01 (2005a)

  • OMG: MOF 2.0/XMI Mapping Specification, v2.1. formal/05-09-01 (2005b)

  • OMG: UML Profile for Schedulability, Performance, and Time Specification. OMG Adopted Specification Version 1.1, formal/05-01-02 (2005c)

  • OMG: Unified Modeling Language: Superstructure. Version 2.0 formal/05-07-04 (2005d)

  • OMG: Meta Object Facility (MOF) Core Specification. OMG Available Specification Version 2.0 formal/06-01-01 (2006a)

  • OMG: Object Constraint Language. OMG Available Specification Version 2.0 formal/06-05-01 (2006b)

  • OMG: A UML Profile for MARTE, Beta 1. OMG Adopted Specification OMG Document: ptc/07-08-04 (2007)

  • Peltier, M., Bézivin, J., Guillaume, G.: Mtrans: a general framework based on xslt for model transformations. In: Proceedings of the Workshop on Transformations in UML (WTUML’01), Genova, Italy (2001)

  • Poon, P.M.S., Dillon, T.S., Chang, E.: XML as a basis for interoperability in real time distributed systems. In: 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (WSTFEUS 2004), Vienna, Austria. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  • Porres, I.: A toolkit for model manipulation. Softw. Syst. Model. 2(4), 262–277 (2003)

    Article  Google Scholar 

  • Saksena, M., Karvelas, P.: Designing for schedulability: integrating schedulability analysis with object-oriented design. In: The 12th Euromicro Conference on Real-Time Systems (2000)

  • Saksena, M., Karvelas, P., Wang, Y.: Automated synthesis of multi-tasking implementations from real-time object-oriented models. In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), Newport Beach, CA, USA, pp. 360–367. IEEE Computer Society, Los Alamitos (2000)

    Google Scholar 

  • Selic, B.: Using UML for Modeling Complex Real-Time Systems. In: Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems. Lecture Notes in Computer Science, vol. 1474, pp. 250–260. Springer, Berlin (1998)

    Google Scholar 

  • Selic, B., Gullekson, G., Ward, P.T.: Real-time object-oriented modeling. Wiley, New York (1994)

    MATH  Google Scholar 

  • Sha, L., Abdelzaher, T.F., Årzén, K.E., Cervin, A., Baker, T.P., Burns, A., Buttazzo, G.C., Caccamo, M., Lehoczky, J.P., Mok, A.K.: Real time scheduling theory: a historical perspective. Real-Time Syst. 28(2–3), 101–155 (2004)

    Article  MATH  Google Scholar 

  • Skene, J., Emmerich, W.: A model-driven approach to non-functional analysis of software architectures. In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, 6–10 October 2003, pp. 236–239. IEEE Computer Society, Los Alamitos (2003)

    Chapter  Google Scholar 

  • Verdickt, T., Dhoedt, B., Gielen, F., Demeester, P.: Automatic inclusion of middleware performance attributes into architectural uml software models. IEEE Trans. Softw. Eng. 31(8), 695–711 (2005)

    Article  Google Scholar 

  • W3C: XSL Transformations (XSLT) Version 1.0 W3C Recommendation (1999). http://www.w3.org/TR/XSLT

  • Wang, Y., Saksena, M.: Scheduling fixed-priority tasks with preemption threshold. In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA ’99), Hong Kong, China. IEEE Computer Society, Los Alamitos (1999)

    Google Scholar 

  • Zander, J., Dai, Z.R., Schieferdecker, I., Din, G.: From U2TP models to executable tests with TTCN-3—an approach to model driven testing. In: Khendek, F., Dssouli, R. (eds.) International Conference Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 (TestCom 2005). Lecture Notes in Computer Science, vol. 3502, pp. 289–303. Springer, Berlin (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical and Computer Engineering Department, Concordia University, 1455 de Maisonneuve Blvd. W., Montreal, H3G 1M8, Canada

    Abdelouahed Gherbi & Ferhat Khendek

Authors
  1. Abdelouahed Gherbi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ferhat Khendek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abdelouahed Gherbi.

Additional information

This paper is an extension of our previous work, which was presented at the IEEE ISORC 2006 conference (Gherbi and Khendek 2006).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gherbi, A., Khendek, F. From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. Autom Softw Eng 16, 387–414 (2009). https://doi.org/10.1007/s10515-008-0045-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10515-008-0045-5

Keywords

Search

Navigation