Bachelor in Physics from Bahia Federal University, got aMSc in Physics from Pernanbuco Federal University UFPE, and a MA in Computer Science from Mills College, USA. PhD in Computer Engineering by Universith of São Paulo and postdoc in Computer Science and in Systems Design Engineering at University of Waterloo, Ca. Research interests are in Engineering Systems Design, Requirements Engineering, Service Design Management and Engineering, Artificial Intelligence, Planning & Scheduling, Formal Verification methods, Data Spaces and Digital Transformation towards Industry 4.0.

Alessandro Rodrigues Frias graduated in Automation and Control at UNISAL and got a master and Ph.D in Chemical Engineering at Universidade de Campinas (UNICAMP). His Ph.D was in Digital Transformation, directed to paper and cellulose industry. Today he leads the group connected to the Technology Department of a distinguished paper and cellulose industrial group working in Digital Transformation toward I4.0. He also teaches courses on Digital Transformation at the lato sensu program of UNICAMP. His postdoc in D-Lab, Escola Politécnica focuses in the human aspects (I5.0) of the digital transformation in the industry and specially the paper and cellulose industry.

Master's student in Mechatronics Engineering at the Polytechnic School of the University of São Paulo, focusing on the theme Cloud Manufacturing Services (CMfgS): Modeling of automated production systems in the cloud. Graduated in Applied Mathematics in Mechanical Control and Automation from the Institute of Mathematics and Statistics of the same university, focusing on formal requirements analysis, service science, distributed systems, knowledge bases, and data spaces. Demonstrates ability to apply mathematical and computational knowledge to solve complex problems and promote technological innovations. Practical experience includes data science, data grouping and their applications, as well as in modeling and analysis of automation systems, also in programming and simulation, including algorithms and data structures, concurrent and parallel programming, and numerical methods for differential equations. The main research interests are currently focused on deepening knowledge in Service Science and Data Spaces, aiming to develop innovative solutions that optimize business processes and increase technological efficiency in distributed environments, uniting mathematics, computing, and engineering.

Ph.D. in Industrial Engineering at the Federal University of Santa Catarina, Brazil, became an Digital Transformation Expert at RWTH University, Germany. Developed expertise in the areas of technologic advances for industry and create a system to evaluate the degree of maturity and readiness to allow companies to be involved in the process of technologic advances. The system is called PIMM4.0 and is directed to the process of transformation to Industry 4.0. Works today in collaboration with D-Lab to develop a formal roadmap to be a reference to processes of Digital Transformation toward I4.0. Professor in the Federal University of Amazon.

Graduate in Automatic Control at Universidade de Oriente, Cuba, and worked in automated systems associated to power supply and petroleum in this country. Got a MSc. at D-Lab in the subject of Service Automation Design applied to Healthcare, proposing assistant services on top of a building and residence automation. Ph.D. student at D-Lab working in Model-based Requirements and Hierarchical AI Planning.

Goal-oriented Design Framework

Este projeto tem como objetivo o desenvolvimento de um framework para dar suporte ao processo de modelagem e design de sistemas automatizados, especialmente os sistemas de serviço ou de rede de serviços. O framework é baseado na segunda geração de design, caracterizada pelo foco em sistemas cibernéticos e holísticos, cujo processo começa na eliciação de requisitos (globais) modelados segundo a Engenharia de Requisitos Orientada a Objetivos (Goal-oriented Requirements Engineering).  Uma...