Encontrados 8 documentos, a visualizar página 1 de 1
Verifying bigraphical models of architectural reconfigurations
Sanchez, Alejandro; Barbosa, L. S.; Riesco, DanielARCHERY is an architectural description language for modelling and reasoning about distributed, heterogeneous and dynamically reconfigurable systems. This paper proposes a structural semantics for ARCHERY, and a method for deriving labelled transition systems (LTS) in which states and transitions represent configurations and reconfiguration operations, respectively. Architectures are modelled by bigraphs and th...
Specifying UML protocol state machines in Alloy
Garis, Ana; Paiva, Ana; Cunha, Alcino; Riesco, DanielA UML Protocol State Machine (PSM) is a behavioral diagram for the specification of the external behavior of a class, interface or component. PSMs have been used in the software development process for different purposes, such as requirements analysis and testing. However, like other UML diagrams, they are often difficult to validate and verify, specially when combined with other artifacts, such as Object Const...
Analysing tactics in architectural patterns
Sanchez, Alejandro; Aguiar, Ademar; Barbosa, L. S.; Riesco, DanielWe present an approach to analyse the application of tactics in architectural patterns. We define and illustrate the approach by resorting to Archery, a language for specifying, analysing and verifying architectural patterns. The approach consists of characterising the design principles of an architectural pattern as constraints, expressed in the language, and then, establishing a refinement relation based on t...
Translating alloy apecifications to UML class diagrams annotated with OCL
Garis, Ana; Cunha, Alcino; Riesco, DanielProceedings of the 9th International Conference on Software Engineering and Formal Methods ; Model-Driven Engineering (MDE) is a Software Engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming models from abstract (specifications) to more concrete ones (code). Alloy is an increasingly popular lightweight formal...
A language for behavioural modelling of architectural patterns
Sanchez, Alejandro; Barbosa, L. S.; Riesco, DanielThe complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports...
Bigraphical modelling of architectural patterns
Sanchez, Alejandro; Barbosa, L. S.; Riesco, DanielSelected for publication in FACS'2011 post-proceedings, to appear in Springer Lecture Notes in Computer Science ; Archery is a language for behavioural modelling of architectural patterns, supporting hierarchical composition and a type discipline. This paper extends Archery to cope with the patterns' structural dimension through a set of (re-)configuration combinators and constraints that all instances of a pa...
Extracción de información dinámica en programación orientada a objetos (Java)
Bernardis, Hernán; Berón, Mario; Riesco, Daniel; Henriques, Pedro; Pereira, Maria JoãoLa Comprensión de Programas (CP) es una disciplina de la Ingeniería de Software cuyo objetivo es facilitar el entendimiento de los sistemas. Para lograr esto, se vale del desarrollo de Métodos, Técnicas, Estrategias y Herramientas que permiten comprender las funcionalidades del sistema de estudio. Uno de los principales desafíos en CP es establecer una relación entre el Dominio del Problema y el Dominio del Pro...
Visualización de software: conceptos, métodos y técnicas para facilitar la comp...
Miranda, Enrique; Berón, Mario; Montejano, Germán; Riesco, Daniel; Henriques, Pedro; Pereira, Maria JoãoLa Comprensión de Programas es una disciplina de la Ingeniería de Software cuyo principal objetivo es facilitar el entendimiento de los sistemas. Un aspecto importante involucrado en la Comprensión de Programas es la Visualización de Software (VS). La VS es una disciplina de la Ingeniería del Software que provee una o varias representaciones visuales de la información de los sistemas permitiendo una mejor compr...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||