Embedding statecharts into Teleo-Reactive programs to model interactions between agents
| Autor: | Andrés Iborra, Bárbara Álvarez, Pedro Sánchez, Ramón Martínez |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
business.industry
Computer science Programming language 05 social sciences 050301 education 020207 software engineering Context (language use) 02 engineering and technology computer.software_genre Domain (software engineering) Transformation (function) Hardware and Architecture Embedded system 0202 electrical engineering electronic engineering information engineering Embedding business 0503 education Reactive system computer Software Information Systems |
| Zdroj: | Journal of Systems and Software. 131:78-97 |
| ISSN: | 0164-1212 |
| Popis: | Context The Teleo-Reactive (TR) approach offers many possibilities for goal-oriented modeling of reactive systems, but it also has drawbacks when the number of interactions among agents is high, leading to barely legible specifications and losing the original benefits of the approach. Objective This work combines the TR paradigm with statecharts and provides advantages for modeling reactive systems and removing the shortcomings detected. Method A basic example is adopted to reveal the problem that appears when agents are modeled only with the TR approach and have frequent interactions with others. This paper proposes an extension to the TR approach that integrates the modeling using statecharts. A transformation procedure from statecharts to TR programs makes it possible to continue using the infrastructure of existing execution platforms such as TeleoR. The approach has been validated for a particular domain by considering a more complex case study in which traditionally there have been no results on the application of the TR paradigm. A survey was carried out on students to verify the benefits of the approach. Results A method to consider statecharts when modeling TR programs. Conclusions Statecharts can facilitate the adoption of the TR approach. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect