Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Wykorzystanie pojęć czasu z profilu MARTE w wytwarzaniu oprogramowania opartym na modelach
Języki publikacji
Abstrakty
Behavior of a complex system can be designed using state machines of the system classes. Using a Model-Driven Development approach models are transformed into an executable code. Structural and behavioral models can be extended with time concepts from the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. The refined models are used in transformation. We presented a case study of a home alarm system that illustrates an application development methodology. It was used in verification of the approach implemented in Framework for eXecutable UML (FXU). This MDD tool, used for development of an C# application from UML classes and state machines, was extended with the support of MARTE time concepts.
Złożone systemy są modelowane z użyciem maszyn stanowych. Transformacje modeli służą do budowy wykonywalnych aplikacji. Modele mogą być uszczegóławiane z wykorzystaniem pojęć czasowych zdefiniowanych w profilu MARTE. W pracy przedstawiono projekt systemu alarmowego ilustrującego modelowanie pojęć czasowych. Transformacja i realizacja aplikacji systemu była wykonana przy pomocy FXU - narzędzia do automatycznej generacji kodu z klas i maszyn stanowych, wspierającego transformacje modeli ze specyfikacją czasu z profilu MARTE.
Wydawca
Czasopismo
Rocznik
Tom
Strony
178--181
Opis fizyczny
Bibliogr. 15 poz., rys., tab.
Twórcy
autor
- Warsaw University of Technology, Institute of Computer Science, ul. Nowowiejska 15/19, 00-665 Warszawa
autor
- Warsaw University of Technology, Institute of Computer Science, ul. Nowowiejska 15/19, 00-665 Warszawa
Bibliografia
- [1] Liddle S.W., Model-Driven Software Development, Embley, D.W., Thalheim, B. (eds.) Handbook of Conceptual Modeling, Springer (2011), 17-54
- [2] Object Management Group, UML Profile for Schedulability, Performance, and Time Specification, version 1.1. (2005), http://www.omg.org/spec/SPTP/
- [3] Object Management Group, OMG Unified Modeling Language, www.omg.org/spec/UML/
- [4] Object Management Group, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. version 1.1. (2011), http://www.omg.org/spec/MARTE/
- [5] Rodrigues A.W.O.; Guyomarch F.; Dekeyser J.-L., An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL, Computing in Science & Engineering, 15 ( 2013), No 1, 46-55
- [6] Posadas H.; Peñil, P.; Nicolaas, A.; Villar E., System synthesis from UML/MARTE models: The PHARAON approach, Electronic System Level Synthesis Conference, (2013), 1-8
- [7] Morelli M., Di Natale M., An MDE approach for the design of platform-aware controls in performance-sensitive applications, Emerging Technology and Factory Automation, IEEE (2014), 1-8
- [8] Haiyang X., Zhuang Y., A formal transformation approach of MARTE model, 2nd Inter. Conf. on Information and Control Engineering, IEEE, (2015) 550-554
- [9] Zhang T. Jouault F,et al. MDE-Based Model Transformation: From MARTE Model to FIACRE Model, Journal of Software, 20 (2009), No.2, 214-233
- [10] Pilitowski R., Derezinska A., Code generation and execution framework for UML 2.0 classes and state machines, T. Sobh (eds.) Innovations and Advanced Techniques in Computer and Information Science and Engineering, Springer (2007), 421-427
- [11] FXU Framework for eXecutable UML , http://galera.ii.pw.edu.pl/~adr/FXU/
- [12] Dominguez E., Perez B., Rubio A.L., Zapata M.A, A systematic Review of Code Generation Proposals from State Machine Specifications, Information & Software Technology, 54 (2012), No. 10, 1045 – 1066
- [13] Richardson M.W., Designing a Home Alarm using the UML and implementing it using C++ and VxWorks, I-Logicx UK Ltd., http://www.uml.org.cn/oobject/vxworks.pdf
- [14] Graf S., Ober I., Ober I., A real-time profile for UML, International Journal on Software Tools for Technology Transfer, 8 (2006), No. 2, 113-127
- [15] Derezińska A., Szczykulski M., Tracing of state machine execution in model-driven development framework, Proc. of the 2nd International Conference on Information Technologies, ICIT'2010, IEEE Soc. (2010), 109-112
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-93649ab3-8d17-4c53-818e-83a5cd225cdb