FCT: DI - Capítulos de livros internacionais
URI permanente para esta coleção:
Navegar
Entradas recentes
- Multi-Paradigm Modelling for Cyber-Physical Systems: FoundationsPublication . Carreira, Paulo; Amaral, Vasco; Vangheluwe, Hans; DI - Departamento de Informática; NOVALincsModeling and analysis of Cyber-Physical Systems (CPS) is an inherently multi-disciplinary endeavour. Anyone starting in this field will unavoidably face the need for a literature reference that delivers solid foundations. Although, in specific disciplines, many techniques are used already as a matter of standard practice, their fundamentals and application are typically far from practitioners of another area. Overall, practitioners tend to use the technique that they are most familiar with, disregarding others that would be adequate for the problem at hand. The inherent cross-disciplinary nature of CPS requires distinct modelling techniques to be employed, thus prompting for a common background formalism that enables communication between all specialities. However, to this date, no such single super-formalism exists to support the multiple dimensions of the design of a CPS. Indeed, to effectively design a CPS, engineers (in the role of modellers) either need to be versed in multiple formalisms, or a fundamentally new modelling approach has to emerge. Herein, we motivate Multi-Paradigm Modelling of CPS (MPM4CPS), introducing fundamental definitions and terminology regarding CPS modelling and Multi-Paradigm, and finally, laying the ground for the rest of the book.
- Foundations of Multi-Paradigm Modelling for Cyber-Physical SystemsPublication . Carreira, Paulo; Amaral, Vasco; Vangheluwe, Hans; NOVALincs; DI - Departamento de InformáticaCoherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems using the multi-paradigm modelling approach. Represents the first systematic attempt to bring together the formalisms used for modelling explicitly every part and aspect of a system at the most appropriate level(s) of abstraction. Conceived as a textbook for master and post-graduate level students in computer science and engineering with a particular focus on multi-paradigmatic tools and techniques.
- Exploring Views for Goal-Oriented Requirements ComprehensionPublication . Silva, Lyrene; Moreira, Ana; Araújo, João; Gralha, Catarina; Goulão, Miguel; Amaral, Vasco; DI - Departamento de Informática; NOVALincsRequirements documents and models need to be used by many stakeholders with different technological proficiency during software development. Each stakeholder may need to understand the entire (or simply part of the) requirements artifacts. To empower these stakeholders, views of the requirements should be configurable to their particular needs. This paper uses information visualization techniques to help in this process. It proposes different views aiming at highlighting information that is relevant for a particular stakeholder, helping him to query requirements artifacts. We offer three kinds of visualizations capturing language and domain elements, while providing a gradual model overview: the big picture view, the syntax-based view, and the concern-based view. We instantiate these views with i* models and introduce an implementation prototype in the iStarLab tool.