Despite the wide range of existing generative tool support, constructing a design environment for a complex domain-speci c language (DSL) is still a tedious task as the large number of derived features and well-formedness constraints complementing the domain metamodel necessitate special handling. Incremental model queries as provided by the EMF-IncQuery framework can (i) uniformly specify deri...

A tube graph is a mathematical entity that can be used for modelling architectural designs of software systems. It consists of a tree (representing containment) with a set of edges called tubes (representing dependencies) between the tree's vertices (representing components). Tubes, for example, can model the import relation at the module level and the use dependency relation at the subsystem l...

This document presents a formal abstract syntax in Z for fragments in the CARE language. Constraints are included which deene the \semantic checks" which deene well-formedness of fragments.

In this paper, I describe a method for evaluating automatically generated text summaries. The method is inspired by research in text grammars by Teun Van Dijk. It addresses a text as a complex structure, the elements of which are interconnected both on the level of form and meaning, and the well-formedness of which should be described on both of these levels. The method addresses current proble...

Different types of consistency of UML models have been described in the literature. The consistency of UML models with the UML static semantics, usually referred as wellformedness, and the consistency between different versions of the same model are among the most cited. The UML models’ well-formedness is a precondition for any other kind of consistency, being described by means of the UML abst...

Current metamodeling formalisms support the definition of a metamodel with two views: classes and relations, that form the core of the metamodel, and well-formedness rules, that constraints the set of valid models. While a safe application of automatic operations on models requires a precise definition of the domain using the two views, most metamodels currently present in repositories have onl...

There are several tools currently available in the i* community. These tools have different features and purposes. Choosing the most adequate tool for a specific modelling situation can be a challenge. To overcome this difficulty, we present a systematic comparison of the i* tools listed in the i* wiki page, according to their features, syntax coverage and semantic analysis support. Our compari...

The quantum Turing machine (QTM) has been introduced by Deutsch as an abstract model of quantum computation. The transition function of a QTM is linear, and has to be unitary to be a well-formed QTM. This well-formedness condition ensures that the evolution of the machine does not violate the postulates of quantum mechanics. However, we claim in this paper that the well-formedness condition is ...

In this paper, I argue that phonological performance data provide information about phonological competence. An adequate model of phonological competence must hence be able to account for significant patterns observed in phonological performance data. Based on two word-likeness experiments, I point out some typical properties of phonological performance data, and then show how these properties ...

The Life Sequence Chart (LSC) language is a conservative extension of the well-known visual formalism of Message Sequence Charts. An LSC specification formally captures requirements on the inter-object behaviour in a system as a set of scenarios. As with many languages, there are LSCs which are syntactically correct but insatisfiable due to internal contradictions. The authors of the original p...