ویراساینس.
سند علمی

Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language

Everton Cavalcante, Flávio Oquendo, Thaís Vasconcelos Batista

چکیده

Architecture description languages (ADLs) should consider both structural and runtime perspectives of software architectures, an important requirement for current software systems. However, most existing ADLs are disconnected from the runtime level, thus entailing architectural mismatches and inconsistencies between architecture and implementation. With the emergence of the new generation programming languages for large-scale, dynamic, and distributed systems, this problem becomes worse since most existing ADLs do not capture the features of this type of language. In this context, we investigate the generation of source code in the Go programming language from architecture descriptions in the π-ADL language as they are both based on the π-calculus process algebra. We define the correspondences between π-ADL and Go elements and present how architecture descriptions in π-ADL can be automatically translated to their respective implementations in Go through a real-world flood monitoring system.

اسناد مشابه

  • A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages

    سند علمی۲۰۱۵CCTimothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur

    Modeling languages for hybrid systems are cornerstones of embedded systems development in which software interacts with a physical environment. Sequential code generation from such languages is important for simulation efficiency and for producing code for embedded targets. Despi

  • A flexible code generator for MOF-based modeling languages

    سند علمی۲۰۰۳Lutz Bichler

    The Meta Object Facility (MOF) is the core component of OMGt’s ModelDriven Architecture (MDA). MOF defines the metamodeling language, which is used to define the languages which are used to model apllications, such as the Unified Modeling Language (UML). The importance of MOF wil

  • Compositionality in Dataaow Synchronous Languages : Speciication & Code Generation Compositionality in Dataaow Synchronous Languages : Speciication & Code Generation

    سند علمی۱۹۹۷Pascal Aubry, Albert Benveniste, Paul Le Guernic

    Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of compositionality aiming at modular code generation, for dataaow synchronous languages. As car

  • Software Code Generation for the RVC-CAL Language

    سند علمی۲۰۱۱Signal Processing SystemsMatthieu Wipliez, Ghislain Roquier, Jean-François Nezan

    The MPEG Reconfigurable Video Coding (RVC) framework is a new standard under development by MPEG that aims at providing a unified high-level specification of current and future MPEG video coding technologies using dataflow models. In this framework, a decoder is built as a config

  • From physics model to results: An optimizing framework for cross-architecture code generation

    سند علمی۲۰۱۳Scientific ProgrammingMarek Blazewicz, Ian Hinder, David M. Koppelman, Steven R. Brandt

    Starting from a high-level problem description in terms of partial differential equations using abstract tensor notation, the Chemora framework discretizes, optimizes, and generates complete high performance codes for a wide range of compute architectures. Chemora extends the cap

  • Code Generation Tools for Hardware Implementation of Fec Circuits

    سند علمی۱۹۹۲Christian Schuler

    During the last decade the use of hardware description languages (HDL) became an important method for the specification and the design of VLSI circuits. In particular the combination with logic synthesis tools allows a significant acceleration of the design cycle. Further advanta