Multi-formalism Models for Performance Engineering

TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering

In this paper, we present an open-source parsing environment (Tübingen Linguistic Parsing Architecture, TuLiPA) which uses Range Concatenation Grammar (RCG) as a pivot formalism, thus opening the way to the parsing of several mildly context-sensitive formalisms. This environment currently supports tree-based grammars (namely Tree-Adjoining Grammars (TAG) and Multi-Component TreeAdjoining Gramma...

HyPerModels: Hyperdimensional Performance Models for Engineering Design

An Abstract Block Formalism for Engineering Systems

We propose an abstract block diagram formalism based on the notions of a signal as a time-varying quantity, a block as a signal transformer, a connection between blocks as a signal equality constraint, and a block diagram as a collection of interconnected blocks. It does not enforce implementation details (like internal state-space) or particular kinds of dynamic behavior (like alternation of d...

A Formalism for Modeling Engineering Design Processes

ABSTRACT This paper presents a mathematical and graphical formalism for modeling computational engineering design processes, particularly to enhance variant product design in industries. The proposed modeling formalism provides a methodology for transforming a textual problem statement into a mathematical, parametric model. The explicit representation of the designer’s solution strategy is also...

A Multi-Formalism Approach For System Specification

This paper deals with embedded systems modelling, mixed hardware/software codesign, and more generally structured codesign methodology for avionics systems. This methodology is based on two main concepts: multi-formalism specifications and a unified system model. The multi-formalism concept allows to combine partial specifications expressed in various formalisms. As a matter of fact, an embedde...