lnu.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Gil de la Iglesia, Didac
Publications (10 of 26) Show all publications
Sollervall, H., Gil de la Iglesia, D. & Zbick, J. (2018). Supporting teachers' orchestration of mobile learning activities. In: Nigel Calder, Kevin Larkin, Nathalie Sinclair (Ed.), Using Mobile Technologies in the Teaching and Learning of Mathematics: . Springer
Open this publication in new window or tab >>Supporting teachers' orchestration of mobile learning activities
2018 (English)In: Using Mobile Technologies in the Teaching and Learning of Mathematics / [ed] Nigel Calder, Kevin Larkin, Nathalie Sinclair, Springer, 2018Chapter in book (Refereed)
Abstract [en]

In this chapter we explore how an innovative mobile learning activity, designed by the authors can be implemented by mathematics classroom teachers. The focal part of the activity involves spatial orientation tasks that are executed with the support of customized mobile technologies in an outdoor setting. In this chapter, we present a comprehensive account of our research efforts spanning a five-year period and focus on providing didactical and technological support for teachers’ informed orchestration of the technology enabled learning activity.

Place, publisher, year, edition, pages
Springer, 2018
Series
Mathematics Education in the Digital Era ; 12
National Category
Other Mathematics Didactics
Research subject
Mathematics, Mathematical Education
Identifiers
urn:nbn:se:lnu:diva-74482 (URN)10.1007/978-3-319-90179-4_6 (DOI)9783319901787 (ISBN)9783319901794 (ISBN)
Available from: 2018-05-22 Created: 2018-05-22 Last updated: 2018-09-13Bibliographically approved
Gil de la Iglesia, D., Calderón, J. F., Weyns, D., Milrad, M. & Nussbaum Voehl, M. (2015). A Self-Adaptive Multi-Agent System Approach for Collaborative Mobile Learning. IEEE Transactions on Learning Technologies, 8(2), 158-172
Open this publication in new window or tab >>A Self-Adaptive Multi-Agent System Approach for Collaborative Mobile Learning
Show others...
2015 (English)In: IEEE Transactions on Learning Technologies, ISSN 1939-1382, E-ISSN 1939-1382, Vol. 8, no 2, p. 158-172Article in journal (Refereed) Published
Abstract [en]

Mobile technologies have emerged as facilitators in the learning process, extending traditional classroom activities. However, engineering mobile learning applications for outdoor usage poses severe challenges. The requirements of these applications are challenging, as many different aspects need to be catered, such as resource access and sharing, communication between peers, group management, activity flow, etc. Robustness is particularly important for learning scenarios to guarantee undisturbed and smooth user experiences, pushing the technological aspects in the background. Despite significant research in the field of mobile learning, very few efforts have focused on collaborative mobile learning requirements from a software engineering perspective. This paper focuses on aspects of the software architecture, aiming to address the challenges related to resource sharing in collaborative mobile learning activities. This includes elements such as autonomy for personal interactive learning, richness for large group collaborative learning (indoor and outdoor), as well as robustness of the learning system. Additionally, we present self-adaptation as a solution to mitigate risks of resource unavailability and organization failures that arise from environment and system dynamism. Our evaluation provides indications regarding the system correctness with respect to resource sharing and collaboration concerns, and offers qualitative evidence of self-adaptation benefits for collaborative mobile learning applications.

Place, publisher, year, edition, pages
IEEE, 2015
Keywords
Mobile Learning, Software Architecture, Multi-Agent Systems, Self-Adaptation
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science; Computer and Information Sciences Computer Science, Media Technology
Identifiers
urn:nbn:se:lnu:diva-39602 (URN)10.1109/TLT.2014.2367493 (DOI)000358585000002 ()2-s2.0-84933044339 (Scopus ID)
Available from: 2015-01-30 Created: 2015-01-30 Last updated: 2017-04-24Bibliographically approved
Gil de la Iglesia, D., Sollervall, H., Zbick, J., Delgado, Y. R. & Mazarico, C. S. (2015). Combining web and mobile technologies to support sustainable activity design in education. In: CEUR Workshop Proceedings: . Paper presented at Orchestrated Collaborative Classroom Workshop 2015, OCCW 2015 - co-located with 11th International Conference on Computer Supported Collaborative Learning, CSCL 2015, 7 June 2015 (pp. 1-4). Aachen: CEUR-WS.org, 1411
Open this publication in new window or tab >>Combining web and mobile technologies to support sustainable activity design in education
Show others...
2015 (English)In: CEUR Workshop Proceedings, Aachen: CEUR-WS.org , 2015, Vol. 1411, p. 1-4Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we describe an approach for designing and developing technological solutions to support teachers in creating their own outdoor teaching activities. We elaborate on one particular case, TriGO, in which primary school students perform outdoor tasks to experience concepts and constructions in the field of mathematics. The application designs and an initial evaluation of the developed technological solutions is provided based on the results obtained from school activities performed with more than 10 teachers and 50 students.

Place, publisher, year, edition, pages
Aachen: CEUR-WS.org, 2015
Series
CEUR Workshop Proceedings, ISSN 1613-0073
Keywords
Mobile development, Ubiquitous learning, Web authoring tool
National Category
Media and Communication Technology
Research subject
Computer and Information Sciences Computer Science, Media Technology
Identifiers
urn:nbn:se:lnu:diva-55188 (URN)2-s2.0-84939492208 (Scopus ID)
Conference
Orchestrated Collaborative Classroom Workshop 2015, OCCW 2015 - co-located with 11th International Conference on Computer Supported Collaborative Learning, CSCL 2015, 7 June 2015
Available from: 2016-08-12 Created: 2016-08-10 Last updated: 2019-08-14Bibliographically approved
Sollervall, H. & Gil de la Iglesia, D. (2015). Designing a didactical situation with mobile and web technologies. In: 9th Congress of European Research in Mathematics Education (CERME 9), 4-5 February, 2015, Prague: . Paper presented at 9th Congress of European Research in Mathematics Education (CERME 9), 4-5 February, 2015, Prague. European Society for Research in Mathematics Education
Open this publication in new window or tab >>Designing a didactical situation with mobile and web technologies
2015 (English)In: 9th Congress of European Research in Mathematics Education (CERME 9), 4-5 February, 2015, Prague, European Society for Research in Mathematics Education, 2015Conference paper, Published paper (Refereed)
Abstract [en]

We have designed, implemented and evaluated a didactical situation where 27 students in grade 4 created large triangular constructions in an outdoor environment by involving a customized GPS-based mobile application. The students’ strategies for construction were reflected upon during a teacher-led discussion involving web technologies and aiming at the formulation of principles for construction. The effective communication of underpinning theories and possible learning objectives, in combination with user-friendly mobile and web technologies, served to scaffold the teacher’s successful orchestration of a logos-oriented mathematical discourse.

Place, publisher, year, edition, pages
European Society for Research in Mathematics Education, 2015
National Category
Other Mathematics
Identifiers
urn:nbn:se:lnu:diva-41187 (URN)
Conference
9th Congress of European Research in Mathematics Education (CERME 9), 4-5 February, 2015, Prague
Available from: 2015-03-21 Created: 2015-03-21 Last updated: 2017-05-02Bibliographically approved
Gil de la Iglesia, D. & Weyns, D. (2015). MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems. ACM Transactions on Autonomous and Adaptive Systems, 10(3), Article ID 15.
Open this publication in new window or tab >>MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
2015 (English)In: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 10, no 3, article id 15Article in journal (Refereed) Published
Abstract [en]

Designing software systems that have to deal with dynamic operating conditions, such as changing availability of resources and faults that are dificult to predict, is complex. A promising approach to handle such dynamics is self-adaptation that can be realized by a MAPE-K feedback loop (Monitor-Analyze-Plan-Execute plus Knowledge). To provide evidence that the system goals are satisfied, given the changing conditions, the state of the art advocates the use of formal methods. However, little research has been done on consolidating design knowledge of self-adaptive systems. To support designers, this paper contributes with a set of formally specified MAPE-K templates that encode design expertise for a family of self-adaptive systems. The templates comprise: (1) behavior specification templates for modeling the different components of a MAPE-K feedback loop (based on networks of timed automata), and (2) property specification templates that support verification of the correctness of the adaptation behaviors (based on timed computation tree logic). To demonstrate the reusability of the formal templates, we performed four case studies in which final-year Masters students used the templates to design di↵erent self-adaptive systems.

Keywords
Formal templates, MAPE-K, self-adaptation, Design, Verification
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
urn:nbn:se:lnu:diva-39601 (URN)10.1145/2724719 (DOI)000363674700002 ()2-s2.0-84940991650 (Scopus ID)
Available from: 2015-01-30 Created: 2015-01-30 Last updated: 2017-12-05Bibliographically approved
Gil de la Iglesia, D. (2014). A Formal Approach for Designing Distributed Self-Adaptive Systems. (Doctoral dissertation). Växjö: Linnaeus University Press
Open this publication in new window or tab >>A Formal Approach for Designing Distributed Self-Adaptive Systems
2014 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Engineering contemporary distributed software applications is a challenging task due to the dynamic operating conditions in which these systems have to function. Examples are dynamic availability of resources, errors that are difficult to predict, and changing user requirements. These dynamics can affect a number of quality concerns of a system, such as robustness, openness, and performance. The challenges of engineering software systems with such dynamics have motivated the need for self-adaptation. Self-adaptation is based on the principle of separation of concerns, distinguishing two well defined systems: a managed system that deals with domain specific concerns and a managing system that deals with particular quality concerns of the managed system through adaptation with a feedback loop. State of the art in self- adaptation advocates the use of formal methods to specify and verify the system's behavior in order to provide evidence that the system's goals are satisfied. However, little work has been done on the consolidation of design knowledge to model and verify self-adaptation behaviors.

To support designers, this thesis contributes with a set of formally specified templates for the specification and verification of self-adaptive behaviors of a family of distributed self-adaptive systems. The templates are based on the MAPE-K reference model (Monitor-Analyze-Plan-Execute plus Knowledge). The templates comprise: (1) behavior specification patterns for modeling the different MAPE components of a feedback loop, and (2) property specification patterns that support verification of the correctness of the adaptation behaviors. The target domain are distributed applications in which self-adaptation is used for managing resources for robustness and openness requirements. The templates are derived from expertise with developing several self-adaptive systems, including a collaborative mobile learning application in which we have applied self-adaptation to make the system robust to degrading GPS accuracy, and a robotic system in which we apply self-adaptation to support different types of openness requirements. We demonstrate the reusability of the templates in a number of case studies. 

Place, publisher, year, edition, pages
Växjö: Linnaeus University Press, 2014. p. 275
Series
Linnaeus University Dissertations ; 171/2014
Keywords
Self-Adaptive systems, Formal Methods, MAPE-K, Robustness, Openness, Mobile Learning
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science; Computer and Information Sciences Computer Science, Media Technology
Identifiers
urn:nbn:se:lnu:diva-34195 (URN)978-91-87427-85-5 (ISBN)
Public defence
2014-05-12, Weber, 351 95, Växjö, 13:00 (English)
Opponent
Supervisors
Projects
AMULETS
Available from: 2014-05-26 Created: 2014-05-15 Last updated: 2018-04-26Bibliographically approved
Real-Delgado, Y., Gil de la Iglesia, D. & Otero, N. (2014). Exploring the potential of mobile technology for creating music collaboratively. In: Proceedings of V Workshop on Ubiquitous Music: . Paper presented at Fifth Workshop on Ubiquitous Music (V UbiMus): From Digital Arts to Ubiquitous Music, October 29 - November 1 (pp. 15-16). Publishing and art
Open this publication in new window or tab >>Exploring the potential of mobile technology for creating music collaboratively
2014 (English)In: Proceedings of V Workshop on Ubiquitous Music, Publishing and art , 2014, p. 15-16Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Publishing and art, 2014
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Media Technology
Identifiers
urn:nbn:se:lnu:diva-38104 (URN)
Conference
Fifth Workshop on Ubiquitous Music (V UbiMus): From Digital Arts to Ubiquitous Music, October 29 - November 1
Available from: 2014-11-10 Created: 2014-11-10 Last updated: 2016-08-15Bibliographically approved
Gil de la Iglesia, D. & Weyns, D. (2013). Guaranteeing Robustness in a Mobile Learning Application using Formally Verified MAPE Loops. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems: . Paper presented at 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 20-21 May, 2013, San Francisco (pp. 83-92). New York: IEEE Press
Open this publication in new window or tab >>Guaranteeing Robustness in a Mobile Learning Application using Formally Verified MAPE Loops
2013 (English)In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, New York: IEEE Press, 2013, , p. 10p. 83-92Conference paper, Published paper (Refereed)
Abstract [en]

Mobile learning applications support traditional indoor lectures with outdoor activities using mobile devices. An example scenario is a team of students that use triangulation techniques to learn properties of geometrical figures. In previous work, we developed an agent-based mobile learning application in which students use GPS-enabled phones to calculate distances between them. From practical experience, we learned that the required level of GPS accuracy is not always guaranteed, which undermines the use of the application. In this paper, we explain how we have extended the existing application with a selfadaptation layer, making the system robust to degrading GPS accuracy. The self-adaptive layer is conceived as a set of interacting MAPE loops (Monitor-Analysis-Plan-Execute), distributed over the phones. To guarantee the robustness requirements, we formally specify the self-adaptive behaviors using timed automata, and the required properties using timed computation tree logic. We use the Uppaal tool to model the self-adaptive system and verify the robustness requirements. Finally, we discuss how the formal design supported the implementation of the selfadaptive layer on top of the existing application.

Place, publisher, year, edition, pages
New York: IEEE Press, 2013. p. 10
Keywords
Self-adaptation MAPE Robustness M-Learning
National Category
Computer Systems
Identifiers
urn:nbn:se:lnu:diva-25908 (URN)10.1109/SEAMS.2013.6595495 (DOI)000327972300009 ()2-s2.0-84884992280 (Scopus ID)978-1-4673-4401-2 (ISBN)
Conference
8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 20-21 May, 2013, San Francisco
Projects
AMULETS
Available from: 2013-05-28 Created: 2013-05-28 Last updated: 2016-12-20Bibliographically approved
Gil de la Iglesia, D. & Weyns, D. (2013). SA-MAS: Self-Adaptation to Enhance Software Qualities in Multi-Agent Systems. In: Ito, Jonker, Gini, Shehory (Ed.), Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems (AAMAS 2013): . Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), May, 6–10, 2013, Saint Paul (pp. 1159-1160). The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Open this publication in new window or tab >>SA-MAS: Self-Adaptation to Enhance Software Qualities in Multi-Agent Systems
2013 (English)In: Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems (AAMAS 2013) / [ed] Ito, Jonker, Gini, Shehory, The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2013, , p. 2p. 1159-1160Conference paper, Oral presentation with published abstract (Refereed)
Abstract [en]

Engineering multi-agent systems (MAS) is known to be a complex task. One of the reasons lays in the complexity to combine multiple concerns that a MAS has to address, such as system functionality, coordination, robustness, etc. A well-recognized approach to manage system complexity is the use of self-adaptation (SA). Self-adaptation extends a system with support to monitor and adapt itself to realize a concern of interest (optimization, fault-tolerance, etc.). We present SA-MAS, an architectural approach that integrates MAS with SA. We present a reference model for SA-MAS and illustrate it with an excerpt from our research.

Place, publisher, year, edition, pages
The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2013. p. 2
Keywords
Multi-agent systems, self-adaptation, reference model
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
urn:nbn:se:lnu:diva-25909 (URN)2-s2.0-84899427507 (Scopus ID)978-1-4503-1993-5 (ISBN)
Conference
12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), May, 6–10, 2013, Saint Paul
Available from: 2013-05-28 Created: 2013-05-28 Last updated: 2018-08-17Bibliographically approved
Weyns, D., Iftikhar, M. U., Gil de la Iglesia, D. & Ahmad, T. (2012). A survey of formal methods in self-adaptive systems. In: ACM International Conference Proceeding Series: . Paper presented at First International Workshop on Formal Methods for Self-Adaptive Systems, FMSAS, Montreal, 27-28 June, 2012 in conjuction with C3S2E'12 (pp. 67-79). ACM Press
Open this publication in new window or tab >>A survey of formal methods in self-adaptive systems
2012 (English)In: ACM International Conference Proceeding Series, ACM Press, 2012, p. 67-79Conference paper, Published paper (Refereed)
Abstract [en]

One major challenge in self-adaptive systems is to assure the required quality properties. Formal methods provide the means torigorously specify and reason about the behaviors of self-adaptivesystems, both at design time and runtime. To the best of our knowledge, no systematic study has been performed on the use of formalmethods in self-adaptive systems. As a result, there is no clearview on what methods have been used to verify self-adaptive systems, and what support these methods offer to software developers. As such insight is important for researchers and engineers,we performed a systematic literature review covering 12 main software engineering venues and 4 journals, resulting in 75 papers usedfor data collection. The study shows that the attention for selfadaptive software systems is gradually increasing, but the numberof studies that employ formal methods remains low. The main focus of formalization is on modeling and reasoning. Model checking and theorem proving have gained limited attention. The mainconcerns of interest in formalization of self-adaptation are effi-ciency/performance and reliability. Important adaptation concerns,such as security and scalability, are hardly considered. To verify theconcerns of interest, a set of new properties are defined, such as interference freedom, responsiveness, mismatch, and loss-tolerance.A relevant part of the studies use formal methods at runtime, butthe use is limited to modeling and analysis. Formal methods can beapplied to other runtime activities of self-adaptation, and the

Place, publisher, year, edition, pages
ACM Press, 2012
Keywords
Self-adaptive systems, systematic literature review
National Category
Computer Systems
Identifiers
urn:nbn:se:lnu:diva-21550 (URN)10.1145/2347583.2347592 (DOI)2-s2.0-84866043696 (Scopus ID)978-1-4503-1084-0 (ISBN)
Conference
First International Workshop on Formal Methods for Self-Adaptive Systems, FMSAS, Montreal, 27-28 June, 2012 in conjuction with C3S2E'12
Available from: 2012-09-06 Created: 2012-09-06 Last updated: 2017-04-25Bibliographically approved
Organisations

Search in DiVA

Show all publications