Domain Specific Language Working Group
This page is meant to document the several projects' activities of the working groups dealing with Domain Specific Languages at NovaLincs.
Topic outline
- Domain Specific Language Working Group
- CyberLab Project
CyberLab Project
The emergence of complex cyber-physical systems nowadays is posing a challenge to the community. How to engineer such multidisciplinary systems is not clear.
IOTs are becoming pervasive in everyday's life. However, complex and smart services making use of those are not easy to build, as they typically have to deal with big data or stream data, and based on that have to trigger complex control decisions. User monitoring and control and Simulation are examples of activities that these systems have to provide. To be able to prescribe those systems, physics, hardware and software have to be combined in a multidisciplinary effort. Modeling the different perspectives of the system in an integrated and consistent way is essential.This project aims to be an educational case study for Multi-Paradigm Modeling of Cyberphysical Systems that will be integrated into an International course on MPM4CPS. It is an official case study of the MPM4CPS IC1404 COST network that will count with the contribution of different reputed experts.
- Resources
Resources
This section contains some resources useful for the study of Domain Specific Languages.
- OCL Reference
- Language Workbenches (or tools for developing languages)
- Code Generation
- Transformations
- Ongoing thesis
Ongoing thesis
- Topic 4
Topic 4
Projects
We offer projects to FCT/UNL students - Diploma Project, Master's projects - across a number of software engineering topics, all related to the same general goal: Domain Specific Modeling Languages, Rapid Prototyping, Development of formally proved software. We are currently involved in several projects:- BATIC3S: (in cooperation with University of Geneva and Ecole d'Ingénieur de Genève (HES/SO))
This project proposes a framework for prototyping 3D stereoscopic user interfaces for complex control systems starting from their formal specification. The use of formal languages allows for specifications both at the structural and behavioural level of the system and the interface, and enables rapid prototyping of adaptive 3D user interfaces which can be easily tested with users and adapted to their needs.
The development of a framework and a methodology is foreseen to guide the modelization of the system using the CO-OPN language, and the transformation into an executable prototype.
A use case is planned in the context of the collaboration with the European Organization for Nuclear Research (CERN) for the development of the control interface for the CMS Silicon Strip Tracker diagnostic and control system and the ATLAS experiment. - AMPLE: ample.di.fct.unl.pt
- A DSL for "Augmented Reality" industry (joint project with company YDREAMS):
This project focuses on the design of a DSL to support the Software Engineer life-cycle, allowing for rapid prototyping.
André Rosa PHEASANT:
Vasco Sousa
- A DSL for I* and KAOS:
This project focuses on the designing a common language for Early Requirements, based on existant diagrammatic tools.
Carlos Nunes
Ana Dias
- Topic 5
Topic 5
Members
- Vasco Amaral (CITI) (Assistant Professor)
Bruno Barroca (Phd. student)
Vasco Sousa (Msc. student)
Leonardo Marques (Bsc. student)
Pedro Calado (Msc. student)
Victor Ramos (Bsc. student)
André Rosa (Msc. student)
Ana Dias (Msc. student)
Carlos Nunes (Msc. student)
- Topic 9
Topic 9
BATICS
- Topic 10
Topic 10
PHEASANT