Search

Your search keyword '"Lidiane Santos"' showing total 6 results
Start Over Author "Lidiane Santos" Topic computer science
6 results on '"Lidiane Santos"'

1. Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures

Author

Everton Cavalcante, Jair Leite, Flavio Oquendo, Thais Batista, Eduardo Silva, Lidiane Santos, Universidade Federal do Rio Grande do Norte [Natal] (UFRN), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université de Bretagne Sud (UBS), Advanced Technologies for Operated Networks (ARCHWARE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)

Subjects
business.industry, Computer science, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Notation, Systems Modeling Language, 020204 information systems, Abstract syntax, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Architecture, Software architecture, Internet of Things, business, Software engineering, ComputingMilieux_MISCELLANEOUS
Abstract

Internet of Things (IoT) is bringing important challenges to the different activities of software engineering, including software architecture. Addressing the challenges surrounding IoT system development on the architectural level prevents them from reaching the implementation level. To support architecture specification of IoT systems, we have proposed an IoT Style for SysADL, a SysML-based language. In this paper, we apply the style to model the architecture of SmartPlace, a real IoT system. We also evaluate the qualitative aspects related to the concrete syntax of the language and the expressiveness of its abstract syntax. We conclude the SysADL+IoT Style is easy to use and is expressive enough to represent the IoT-specific needs.

Published
2020
Full Text
View/download PDF

2. An architectural style for internet of things systems

Author

Flavio Oquendo, Lidiane Santos, Everton Cavalcante, Thais Batista, Jair Leite, Eduardo Silva, Departamento de Informática e Matemática Aplicada [Natal] (DIMAp), Universidade Federal do Rio Grande do Norte [Natal] (UFRN), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université de Bretagne Sud (UBS), Advanced Technologies for Operated Networks (ARCHWARE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1)

Subjects
Structure (mathematical logic), Computer science, Smart objects, business.industry, media_common.quotation_subject, International standard, 020207 software engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Conceptual model, [INFO]Computer Science [cs], Quality (business), Software architecture, Software engineering, business, Architectural style, media_common
Abstract

International audience; In recent years, we have witnessed the emergence of the Internet of Things (IoT) paradigm as means of allowing for connectivity, interaction, and integration of smart objects, which collaborate with each other to achieve common goals. The characteristics of IoT have challenged Software Engineering, including how to successfully architect complex systems while meeting business goals and satisfying important quality attributes. The use of software architectural styles provides a solid foundation for mitigating risks arisen from the complexity of these systems. In this paper, we propose an architectural style for IoT systems in conformance with the IoT conceptual model defined by the ISO/IEC 30141 International Standard. We specify the style by using the SysADL language in terms of the description of its architectural elements, structure, behavior, and constraints. We validated the style through the architectural design of a real-world IoT system and evaluated its use through an exploratory experiment.

Published
2020
Full Text
View/download PDF

3. Identifying Requirements for Architectural Modeling in Internet of Things Applications

Author

Eduardo Silva, Jorge Pereira, Lidiane Santos, Thais Batista, Everton Cavalcante, and Jair Leite

Subjects
Software development process, Software, business.industry, Computer science, Systematic mapping, Representation (mathematics), Internet of Things, business, Software engineering, Software architecture
Abstract

The Internet of Things (IoT) paradigm has given rise to the emergence of many complex applications with specific requirements that impact different activities of the software development process. Considering the fundamental role of software architectures in the development of successful software-intensive systems, approaches at the architectural level need to cope with loT-specific requirements as well as to offer proper abstractions to allow for their representation, verification, and validation. In this paper, we present the results of a systematic mapping study aimed to identify and understand important requirements for architectural modeling in IoT applications. We selected and analyzed 14 primary studies available at the literature, coming up with six requirements regarded as important for modeling architectures of IoT applications. We concluded that (i) some of these requirements are neglected by the existing approaches and (ii) few software architecture approaches consider specific concerns when modeling IoT applications.

Published
2019
Full Text
View/download PDF

4. Designing and Executing Software Architectures Models Using SysADL Studio

Author

Lidiane Santos, Flavio Oquendo, Thais Batista, Eduardo Silva, Victor Cortez, Jair Leite, Universidade Federal do Rio Grande do Norte [Natal] (UFRN), ArchWare, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Departamento de Informática e Matemática Aplicada [Natal] (DIMAp), Oquendo, Flavio, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Université de Rennes (UNIV-RENNES)-CentraleSupélec

Subjects
Computer science, business.industry, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 020207 software engineering, 02 engineering and technology, Architecture modeling, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Reuse, Notation, Software, Unified Modeling Language, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Architecture, Software engineering, business, Software architecture, computer, Studio, ComputingMilieux_MISCELLANEOUS, computer.programming_language
Abstract

This paper introduces SysADL Studio, an architecture modeling tool for software-intensive systems that implements the SysADL language. The tool supports multiple views, cross-view checking, and architecture execution simulation. In SysADL Studio, the architect can design a system using a combination of graphical and textual notations and simulate the execution of the designed architecture using a built-in model simulator. SysADL Studio is a free, open-source tool implemented as a plug-in for Eclipse IDE using well-established frameworks (EMF, Xtext, and Sirius). The tool contributes to the advance of the current architecture design practice by supporting a syntactically correct model, reuse of standard architectural elements, and execution simulation at design-time. The rigorous formalism that grounds the language is also implemented by the tool in an extensive manner, allowing the architect to simulate a model behavior in a controlled environment. It has been successfully used in an academic environment in the last years, by students and researchers in Brazil and France that have evaluated the tool in controlled experiments.

Published
2018

5. ReqSys

Author

Thais Batista, Lyrene Fernandes da Silva, and Lidiane Santos

Subjects
Feature (computer vision), business.industry, Computer science, Plug-in, Pattern recognition, Artificial intelligence, computer.software_genre, business, computer, Feature model, Eclipse
Abstract

In this paper, we describe the features of the ReqSys tool, a tool to verify and map PL-AOVgraph models into feature models.

Published
2011
Full Text
View/download PDF

6. On the integration of the feature model and PL-AOVGraph

Author

Thais Batista, Lidiane Santos, and Lyrene Fernandes da Silva

Subjects
Development (topology), Work (electrical), Computer science, Process (engineering), business.industry, Requirements modeling, Extension (predicate logic), Software product line, Software engineering, business, Feature model
Abstract

In this paper we propose PL-AOVGraph, an extension to the aspect-oriented requirements modeling language, AOV-Graph, to support the definition of software product line requirements. With PL-AOVGraph it is possible to specify requirements and variabilities. In general SPL variabilities are represented using the Feature Model, however, this model does not represent the requirements of the system. PL-AOVGraph and the Feature Model are complementary approaches as they represent different perspectives of a system. With the goal of inserting PLAOVGraph in the SPL development process, this work proposes a bi-directional mapping between PL-AOVGraph and the Feature Model

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results