This paper proposes an approach that integrates UML 2.0 Activity Diagrams (UML2-ADs) and the communicating sequential process (CSP) for modeling and verifying software systems. A UML2-AD is used for modeling a software system, while a CSP is used for verification purposes. The proposed approach consists of another way of transforming UML2-AD models to CSP models. It also focuses on checking the correctness of some properties of the transformation itself. These properties are specified using linear temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on model -driven engineering (MDE). The meta-modeling is realized using the AToMPM tool, while the model transformation and the correctness of its properties are realized using the GROOVE tool. Finally, we illustrated this approach through a case study.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper, we introduce a tool-supported reverse engineering methodology, called RE4TinyOS to create or update application models from TinyOS programs for the construction of Wireless Sensor Networks. Integrating with an existing model-driven engineering (MDE) environment, use of RE4TinyOS enables the model-code synchronization where any modification made in the TinyOS application code can be reflected into the application model and vice versa. Conducted case studies exemplified this model-code synchronization as well as the capability of creating application models completely from already existing TinyOS applications without models, which is crucial to integrate the implementations of the third party TinyOS applications into the MDE processes. Evaluation results showed that RE4TinyOS succeeded in the reverse engineering of all main parts of two well-known TinyOS applications taken from the official TinyOS Github repository and generated models were able to be visually processed in the MDE environment for further modifications.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Nowadays, we have many Smart Objects near us connected to the Internet. These objects could make things together if an easy platform existed. There are many researches about interconnecting Smart Objects but we propose a novel approach using human Social Networks and a Domain-Specific Language. This approach makes easier the creation of intercommunications not only among objects but also between objects and humans. We propose a novel DSL that allows defining objects with sensors and actuators, and defining connections to Social Networks in order to publish the sensors' values and to do actions based on events triggered by messages. Moreover, with the DSL we will be able to establish external actions and status in order to make the objects be aware of the environment.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.