Warianty tytułu
Śledzenie wykonania maszyny stanowej w opartym na modelach systemie wytwarzania oprogramowania
Języki publikacji
Abstrakty
Framework for eXecutable UML (FXU) supports a model-driven approach for creation of reliable applications in C#. Basing on UML classes and their state machines, a source code is generated and executed using a run-time library. All modeling concepts of UML behavioral state machines can be used in the FXU. Tracing of program execution in terms of elements of origin state machines assists program comprehension and verification. This paper presents a new component of the framework for observing traces of program execution. The state machine tracing improved model-driven engineering of an application in comparison to the direct analysis of textual logs generated during the program execution. We discuss system requirements, steps of tracing process and advantages and disadvantages of the solution. The approach was applied in the development of an application simulating a presence server for the status service of a social network model.
System FXU (ang. Framework for eXecutable UML) wspiera budowę aplikacji w oparciu o modele UML. Kod źródłowy w języku C# jest generowany na podstawie modelu klas oraz ich maszyn stanowych. Podczas wykonania aplikacja korzysta z biblioteki odwzorowującej zachowanie wszystkich elementów występujących w maszynach stanowych UML. Zrozumienie i weryfikacja działania programu są wspomagane przez śledzenie wykonania w kategoriach elementów pierwotnego modelu. W pracy prezentujemy rozszerzenie środowiska FXU pozwalające na obserwację śladów wykonania programów. Omawiane są wymagania systemu, proces śledzenia oraz zalety i wady rozwiązania. Podejście było wykorzystane przy tworzeniu aplikacji symulującej serwer obecności dla modelu predefiniowanych statusów obecności w usługach społecznościowych.
Słowa kluczowe
Rocznik
Tom
Strony
199-204
Opis fizyczny
Bibliogr. 12 poz., rys.
Twórcy
autor
autor
- Warsaw University of Technology Institute of Computer Science
Bibliografia
- [1] France R., Rumpe B.: Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering at ICSE'07, IEEE Soc., 2007, pp. 3754.
- [2] Unified Modeling Language Superstructure v. 2.2, OMG Document formal/2009-02-02, 2009, http://www.uml.org
- [3] Pilitowski R., Derezińska A.: Code Generation and Execution Framework for UML 2.0 Classes and State Machines. In T. Sobh (eds.) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, Springer, 2007 pp. 421427.
- [4] Derezińska A., Pilitowski R.: Event Processing in Code Generation and Execution Framework of UML State Machines. In L. Madeyski at al. (eds.) Software Engineering in Progress, Nakom, Poznań, 2007, pp. 8092.
- [5] Derezińska A., Pilitowski, R.; Realization of UML class and state machine models in the C# Code Generation and Execution Framework, Informatica vol. 33, no 4, Nov. 2009, pp.431440.
- [6] Prochanow S., Hanxleden R. von: Statecharts development beyond WYSIWIG. In G. Engels et al. (eds.) MODELS 2007, LNCS 4735, Springer, Berlin Heidelberg, 2007, pp. 635649.
- [7] Eclipse Foundation, UML2, http://www.eclipse.org/uml2/ (visited 2010).
- [8] IBM Rational Software Architect, http://www-01.ibm.com/software/awdtools/swarchitect/ (visited 2010).
- [9] Haubold T., Beier G., Golubski W.: A pragmatic UML-based meta model for object-oriented code generation. In Proc. of 21st Inter. Conf. on Soft. Eng. & Knowledge Eng. SEKE’09, 2009, pp. 733738.
- [10] Niaz A., Tanaka J.: Mapping UML Statecharts into Java code. In Proc. of the IASTED Int. Conf. Software Engineering, Acta Press, Anheim, Calgary, Zurich, 2004, pp. 111116.
- [11] IBM Rational Rhapsody, http://www-01.ibm.com/software/awdtools/rhapsody/ (visited 2010).
- [12] Dziekan A. M.: Context-aware services in the IP Multimedia Subsystem: social networks modeling and implementation, MSc Thesis, Inst. of Telecommunications, Warsaw Univ. of Techn., 2008 (in polish).
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BPG8-0033-0031