A Formal Model Driven Approach to Dependable Software Evolution

2006 ◽  
Author(s):  
Feng Chen ◽  
Hongji Yang ◽  
Bing Qiao ◽  
William Chu
Keyword(s):  
Software Evolution ◽  
Formal Model ◽  
Model Driven ◽  
Model Driven Approach

scholarly journals A model-driven approach to e-course management

2017 ◽  
Author(s):  
Goran Savić ◽  
Milan Segedinac ◽  
Dušica Milenković ◽  
Tamara Hrin ◽  
Mirjana Segedinac
Keyword(s):  
Domain Knowledge ◽  
Formal Model ◽  
Course Management System ◽  
Learning Design ◽  
Course Management ◽  
Model Driven ◽  
Machine Readable ◽  
Model Driven Approach ◽  
Development And Management

This paper presents research on using a model-driven approach to the development and management of electronic courses. We propose a course management system which stores a course model represented as distinct machine-readable components containing domain knowledge of different course aspects. Based on this formally defined platform-independent source course model, the system programmatically generates a final course in different platform-specific target models. Currently, our system supports the generation of IMS learning design, SCORM, LAMS and Sakai courses. The case study presents a formal model of the Web programming course and its transformation to the supported target models.

Service-Oriented Development of Fault Tolerant Communicating Systems

2010 ◽  
Vol 1 (2) ◽  
pp. 61-85 ◽  
Author(s):  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Sari Leppänen
Keyword(s):  
Formal Methods ◽  
Formal Specification ◽  
Development Process ◽  
Formal Model ◽  
Fault Tolerant ◽  
Model Driven ◽  
Telecommunication Systems ◽  
Service Oriented ◽  
Model Driven Approach ◽  
High Degree

Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness of software for such systems should be ensured. Application of formal methods helps increase confidence in building correct software. However, to be used in practice, formal methods should be well integrated into existing development process. In this paper, the authors propose a formal model-driven approach to development of communicating systems. The authors formalize and extend the Lyra approach—a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decomposition of models expressed in UML2. The authors formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of the Lyra phases. Moreover, this paper extends Lyra to integrate reasoning about fault tolerance in the entire development flow.

Service-Oriented Development of Fault Tolerant Communicating Systems

2012 ◽  
pp. 297-319
Author(s):  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Sari Leppänen
Keyword(s):  
Formal Methods ◽  
Formal Specification ◽  
High Probability ◽  
Formal Model ◽  
Fault Tolerant ◽  
Model Driven ◽  
Telecommunication Systems ◽  
Service Oriented ◽  
Model Driven Approach ◽  
High Degree

Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness of software for such systems should be ensured. Application of formal methods helps increase confidence in building correct software. However, to be used in practice, formal methods should be well integrated into existing development process. In this paper, the authors propose a formal model-driven approach to development of communicating systems. The authors formalize and extend the Lyra approach—a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decomposition of models expressed in UML2. The authors formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of the Lyra phases. Moreover, this paper extends Lyra to integrate reasoning about fault tolerance in the entire development flow.

A model-driven approach to cross-platform development of accessible business apps

2020 ◽  
Author(s):  
Christoph Rieger ◽  
Daniel Lucrédio ◽  
Renata Pontin M. Fortes ◽  
Herbert Kuchen ◽  
Felipe Dias ◽  
...  
Keyword(s):  
Model Driven ◽  
Cross Platform ◽  
Platform Development ◽  
Model Driven Approach

scholarly journals Learn-CIAM: A Model-Driven Approach for the Development of Collaborative Learning Tools

2021 ◽  
Vol 11 (6) ◽  
pp. 2554
Author(s):  
Yoel Arroyo ◽  
Ana I. Molina ◽  
Miguel A. Redondo ◽  
Jesús Gallardo
Keyword(s):  
Collaborative Learning ◽  
Methodological Approach ◽  
Automatic Generation ◽  
Learning Activities ◽  
Learning Tools ◽  
Model Driven ◽  
Collaborative Tools ◽  
Learning Tasks ◽  
Collaborative Learning Tools ◽  
Model Driven Approach

This paper introduces Learn-CIAM, a new model-based methodological approach for the design of flows and for the semi-automatic generation of tools in order to support collaborative learning tasks. The main objective of this work is to help professors by establishing a series of steps for the specification of their learning courses and the obtaining of collaborative tools to support certain learning activities (in particular, for in-group editing, searching and modeling). This paper presents a complete methodological framework, how it is supported conceptually and technologically, and an application example. So to guarantee the validity of the proposal, we also present some validation processes with potential designers and users from different profiles such as Education and Computer Science. The results seem to demonstrate a positive reception and acceptance, concluding that its application would facilitate the design of learning courses and the generation of collaborative learning tools for professionals of both profiles.

Sign in / Sign up

Export Citation Format

Share Document