Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by Guillermina Cledou

2017

Modeling Families of Public Licensing Services: A Case Study

Authors
Cledou, G; Barbosa, LS;

Publication
5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017

Abstract
Software Product Lines (SPLs) enable the development of families of software systems by taking advantage of the commonalities and variabilities of the members of the family. Despite its many advantages, it is an unexplored area in the electronic government domain, an area with evident families of services, and with high demands to develop faster and better services to citizens and businesses while reducing costs. This paper discusses the need of formal methods to model SPLs for such domain. It presents a case study of a family of public licensing services modeled in UPPAAL and based on Featured Timed Automata, an extension of Timed Automata to model real-time SPLs. It analyzes the suitability of FTA to model distributed families of services, while provides hints on a possible enrichment of FTA to better support modularization and compositionality of services. © 2017 IEEE.

2014

A virtual factory for Smart City Service Integration

Authors
Cledou, G;

Publication
ACM International Conference Proceeding Series

Abstract
In the last years, new technologies - referred as emerging information and communication technologies (EICTs), have appeared and are immersed in peoples' lives assisting them and facilitating their daily activities. Taking advantage of the diffusion and infusion of these technologies, governments are using EICTs to deliver better public services to citizens. However, to address citizens' demands and to provide customer oriented services governments face various types of challenges. The aim of this research work is to provide solutions to some of the challenges, in particular to the rapid development of electronic public services (EPS) and the service integration in the context of development of smart cities. Following the aim, we propose an approach, called Virtual Factory for Smart City Service Integration. The idea of the virtual factory is to provide a framework to automatically produce software based on a given set of specifications of a family of EPS taking advantage of similarities in the EPS business processes. The expected contributions of this research work is to produce a domain specific language (DSL) for service specification and supporting tools that based on the produced specifications, workflow techniques and ideas of software product lines (SPL) can automatically produce software applications for EPS that can be easily parameterized and completed. Copyright 2014 ACM.

2018

A taxonomy for planning and designing smart mobility services

Authors
Cledou, G; Estevez, E; Barbosa, LS;

Publication
Government Information Quarterly

Abstract

2019

A Net-Based Formal Framework for Causal Loop Diagrams

Authors
Cledou, G; Nakajima, S;

Publication
Advances in Intelligent Systems and Computing - Complex Systems Design & Management Asia

Abstract

2019

Coordination of tasks on a real-time OS

Authors
Cledou, G; Proenca, J; Sputh, BHC; Verhulst, E;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
VirtuosoNext TM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and communication mechanisms between the application tasks and implement the services provided by the kernel as a kind of Guarded Protected Action with a well defined semantics. While the kernel provides the most basic services, each carefully designed, tested and optimised, tasks are limited to this handful of basic hubs, leaving the development of more complex synchronization and communication mechanisms up to application specific implementations. In this work we investigate how to support a programming paradigm to compositionally build new services, using notions borrowed from the Reo coordination language, and relieving tasks from coordination aspects while delegating them to the hubs. We formalise the semantics of hubs using an automata model, identify the behaviour of existing hubs, and propose an approach to build new hubs by composing simpler ones. We also provide tools and methods to analyse and simplify hubs under our automata interpretation. In a first experiment several hub interactions are combined into a single more complex hub, which raises the level of abstraction and contributes to a higher productivity for the programmer. Finally, we investigate the impact on the performance by comparing different implementations on an embedded board. © IFIP International Federation for Information Processing 2019.

2020

ARx: Reactive Programming for Synchronous Connectors

Authors
Proença, J; Cledou, G;

Publication
Lecture Notes in Computer Science - Coordination Models and Languages

Abstract

  • 2
  • 3