Abstract
State machines are important behavioral models used in Model-Driven Development (MDD) of software applications. UML models are transformed into code and combined with a run-time library realizing state machine notions. Mapping of state machine concepts, including concurrent behavior issues, can be realized in various ways. We discuss several problems of call and time event processing and their impact of an application performance. In experiments, different solutions were evaluated and quantitatively compared. These variants were applied in refactoring of FXU - a framework for C# code generation and application development based on UML classes and state machine models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baderddin, O., Lethbridge, T.C., Forwared, A., Elaasar, M., Aljamaan, H., Garzon, M.A.: Enhanced code generation from UML composite state machines. In: Proceedings of 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). pp. 235â245 (2014)
Burden, H., Heldal, R., Siljamaki, T.: Executable and translable UML - how difficult can it be?. In: 18th Asia-Pacific Software Engineering Conference, pp. 5â8 (2011)
Chauvel, F., JĂ©zĂ©quel, J.-M.: Code generation from UML models with semantic variation points. In: Briand, L., Williams, C. (eds.) MODELS 2005. LNCS, vol. 3713, pp. 54â68. Springer, Heidelberg (2005). doi:10.1007/11557432_5
DereziĆska, A., Pilitowski, R.: Event processing in code generation and execution framework of UML state machines. In: Madeyski, L., Ochodek, M., Weiss, D., Zendulka, J. (eds.) Software Engineering in Progress, pp. 80â92. Nakom, PoznaĆ (2007)
DereziĆska, A., Pilitowski, R.: Interpretation of history pseudostates in orthogonal states of UML state machines. In: Feldman, Y.A., Kraft, D., Kuflik, T. (eds.) NGITS 2009. LNCS, vol. 5831, pp. 26â37. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04941-5_5
DereziĆska, A., Szczykulski, M.: Interpretation problems in code generation from UML state machines - a case study. In: Kwater, T. (ed.) Computing in Science and Technology 2011: Monographs in Applied Informatics, pp. 36â50. Department of Applied Informatics Faculty of Applied Informatics and Mathematics Warsaw University of Life Sciences (2012)
Devroey, X., Perrouin, G., Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A.: State machine flattening, a mapping study and tools assessment. In: 8th IEEE International Conference on Software Testing, Verification and Validation, pp. 1â8 (2015)
Dominguez, E., Perez, B., Rubio, A.L., Zapata, M.A.: A systematic review of code generation proposals from state machine specifications. Inf. Softw. Technol. 54(10), 1045â1066 (2012)
Garzon, M., Aljamaan, H., Lethbridge, T.: Umple: a framework for model driven development of object-oriented systems. In: IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering SANER 2015, pp. 494â498, 15 June 2015
Höfig, E.: Interpretation of behaviour models at runtime: performancebenchmark and case studies. Ph.D. thesis, Berlin Institute of Technology (2011). http://opus.kobv.de/tuberlin/volltexte/2011/3065/
Iqbal, M.Z., Arcun, A., Briand, L.: Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. 14(1), 1â42 (2013)
Liddle, S.: Model-driven software development. In: Embley, D., Thalheim, B. (eds.) Handbook of Conceptual Modeling, pp. 17â54. Springer, Heidelberg (2011)
Niaz, I.A., Tanaka, J.: An object-oriented approach to generate Java code from UML statecharts. Int. J. Comput. Inf. Sci. 6(2), 83â98 (2005)
Pilitowski, R., DereziĆska, A.: Code generation and execution framework for UML 2.0 classes and state machines. In: Sobh, T. (ed.) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp. 421â427. Springer, Heidelberg (2007)
Prout, A., Atlee, J.M., Day, N.A., Shaker, P.: Code generation for a family of executable modelling notations. Softw. Syst. Model. 11, 251â272 (2012)
Samek, M.: Practical Statecharts in C/C++: Quantum Programming for Embedded Systems. CMP Books, San Francisco (2002)
Executable finite state machines. https://state.software/
FXU Framework for eXecutable UML. http://galera.ii.pw.edu.pl/~adr/FXU/
IBM Rational Rhapsody Developer. http://www-03.ibm.com/software/products/en/ratirhap
IBM Rational Software Architect. http://www-03.ibm.com/software/products/en/ratisoftarch
Unified Modelling Language (UML) (2015). http://www.omg.org/spec/UML
Semantics of a Foundation Subset for Executable UML models (fUML), ptc/2016-01-05 (2016). http://www.omg.org/spec/FUML/
Wasowski, A.: Code generation and model driven development for constrained embedded software. Ph.D. thesis, University of Copenhagen (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
DereziĆska, A., Szczykulski, M. (2017). Performance Evaluation of Impact of State Machine Transformation and Run-Time Library on a C# Application. In: Kobayashi, Sy., Piegat, A., PejaĆ, J., El Fray, I., Kacprzyk, J. (eds) Hard and Soft Computing for Artificial Intelligence, Multimedia and Security. ACS 2016. Advances in Intelligent Systems and Computing, vol 534. Springer, Cham. https://doi.org/10.1007/978-3-319-48429-7_30
Download citation
DOI: https://doi.org/10.1007/978-3-319-48429-7_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48428-0
Online ISBN: 978-3-319-48429-7
eBook Packages: EngineeringEngineering (R0)