tr-announce März 2012

tr-announce@lists.rwth-aachen.de

1 Teilnehmer
2 Diskussionen

2012-04: Strategy Machines and their Complexity

von Thomas Ströder

The following technical report is available from http://aib.informatik.rwth-aachen.de: Strategy Machines and their Complexity Marcus Gelderie AIB 2012-04 We introduce a machine model for the execution of strategies in (regular) infinite games that refines the standard model of Mealy automata. This model of controllers is formalized in the terminological framework of Turing machines. We show how polynomially sized controllers can be found for Muller and Streett games. We are able to distinguish aspects of executing strategies ("size", "latency", "space consumption") that are not visible in Mealy automata. We show upper and lower bounds for these parameters for several classes of omega-regular games.

12 Jahre, 1 Monat

2012-03: MontiArc – Architectural Modeling of Interactive Distributed and Cyber-Physical Systems

von Thomas Ströder

The following technical report is available from http://aib.informatik.rwth-aachen.de: MontiArc – Architectural Modeling of Interactive Distributed and Cyber-Physical Systems Arne Haber, Jan Oliver Ringert, Bernhard Rumpe AIB 2012-03 This report presents MontiArc, a modeling language for the description of Component & Connector architectures. A component is a unit executing computations and/or storing data. Information flow between components is modeled via unidirectional connectors connecting typed, directed ports of the interfaces of components. Language features of the ADL MontiArc include hierarchical decomposition of components, subtyping by structural inheritance, component type definitions and reference declarations for reuse, generic component types and configurable components, syntactic sugar for connectors, and controlled implicit creation of connections and subcomponent declarations. This technical report gives an overview of the MontiArc language and is a reference for the MontiArc grammar intended to enable reuse and extension of MontiArc and MontiArc related tools. MontiArc is implemented using the DSL framework MontiCore. Available tools include an editor with syntax highlighting and code completion as well as a simulation framework with a Java code generator.

12 Jahre, 1 Monat

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

tr-announce März 2012