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

• 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