skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Specifying structural constraints of architectural patterns in the ARCHERY language

Abstract

ARCHERY is an architectural description language for modelling and reasoning about distributed, heterogeneous and dynamically reconfigurable systems in terms of architectural patterns. The language supports the specification of architectures and their reconfiguration. This paper introduces a language extension for precisely describing the structural design decisions that pattern instances must respect in their (re)configurations. The extension is a propositional modal logic with recursion and nominals referencing components, i.e., a hybrid µ-calculus. Its expressiveness allows specifying safety and liveness constraints, as well as paths and cycles over structures. Refinements of classic architectural patterns are specified.

Authors:
 [1];  [2];  [3];  [1]
  1. Departamento de Informática, Universidad Nacional de San Luis, Ejército de los Andes 950, D5700HHW San Luis (Argentina)
  2. (Portugal)
  3. HASLab INESC TEC and Universidade do Minho, Campus de Gualtar, 4710-057 Braga (Portugal)
Publication Date:
OSTI Identifier:
22391077
Resource Type:
Journal Article
Resource Relation:
Journal Name: AIP Conference Proceedings; Journal Volume: 1648; Journal Issue: 1; Conference: ICNAAM-2014: International Conference on Numerical Analysis and Applied Mathematics 2014, Rhodes (Greece), 22-28 Sep 2014; Other Information: (c) 2015 AIP Publishing LLC; Country of input: International Atomic Energy Agency (IAEA)
Country of Publication:
United States
Language:
English
Subject:
71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS; 97 MATHEMATICAL METHODS AND COMPUTING; A CODES; COMPUTER ARCHITECTURE; COMPUTER CALCULATIONS; COMPUTERIZED SIMULATION; DESIGN; LIMITING VALUES; PROGRAMMING LANGUAGES; SPECIFICATIONS

Citation Formats

Sanchez, Alejandro, HASLab INESC TEC and Universidade do Minho, Campus de Gualtar, 4710-057 Braga, Barbosa, Luis S., and Riesco, Daniel. Specifying structural constraints of architectural patterns in the ARCHERY language. United States: N. p., 2015. Web. doi:10.1063/1.4912561.
Sanchez, Alejandro, HASLab INESC TEC and Universidade do Minho, Campus de Gualtar, 4710-057 Braga, Barbosa, Luis S., & Riesco, Daniel. Specifying structural constraints of architectural patterns in the ARCHERY language. United States. doi:10.1063/1.4912561.
Sanchez, Alejandro, HASLab INESC TEC and Universidade do Minho, Campus de Gualtar, 4710-057 Braga, Barbosa, Luis S., and Riesco, Daniel. Tue . "Specifying structural constraints of architectural patterns in the ARCHERY language". United States. doi:10.1063/1.4912561.
@article{osti_22391077,
title = {Specifying structural constraints of architectural patterns in the ARCHERY language},
author = {Sanchez, Alejandro and HASLab INESC TEC and Universidade do Minho, Campus de Gualtar, 4710-057 Braga and Barbosa, Luis S. and Riesco, Daniel},
abstractNote = {ARCHERY is an architectural description language for modelling and reasoning about distributed, heterogeneous and dynamically reconfigurable systems in terms of architectural patterns. The language supports the specification of architectures and their reconfiguration. This paper introduces a language extension for precisely describing the structural design decisions that pattern instances must respect in their (re)configurations. The extension is a propositional modal logic with recursion and nominals referencing components, i.e., a hybrid µ-calculus. Its expressiveness allows specifying safety and liveness constraints, as well as paths and cycles over structures. Refinements of classic architectural patterns are specified.},
doi = {10.1063/1.4912561},
journal = {AIP Conference Proceedings},
number = 1,
volume = 1648,
place = {United States},
year = {Tue Mar 10 00:00:00 EDT 2015},
month = {Tue Mar 10 00:00:00 EDT 2015}
}