In natural language access (e.g. English access) to information systems, the magnitude of the problem of absolute ill-formedness can be seen in several case studies. If one includes telegraphic and elliptical constructions in the class of absolute ill-formedness, then case s~udies reported in Thompson (1980) and Eastman and McLean (1981) indicate that as much as 25% of queries to questionanswer...

This paper is about the relationships between Preference Semantics (PS) and illformedness , and between Preference Semantics and metaphor. Two types of "preference", declarative and procedural, are distinguished. The PS framework is examined with respect to notions of welland il l-formedness, and two criteria for i l l -formedness are distinguished, both of which are possessed by PS: an absolut...

The distribution of the allophones of /?/in certain contexts involves free variation and gradient preferences. An organized survey was conducted to elicit the judgments of 37 native Persian speakers concerning the well-formedness of /?/allophonic behavior in five different phonological positions. The results showed that the differences in judgment between the various categories are not just t...

Euler diagrams are used in a wide variety of areas for representing information about relationships between collections of objects. Recently, several techniques for automated Euler diagram drawing have been proposed, contributing to the Euler diagram generation problem: given an abstract description, draw an Euler diagram with that description and which possesses certain properties, sometimes c...

This book presents MontiArcAutomaton, a modeling language for architecture and behavior modeling of Cyber-Physical Systems as interactive Component & Connector models. MontiArcAutomaton extends the Architecture Description Language MontiArc with automata to describe component behavior. The modeling language MontiArcAutomaton provides syntactical elements for defining automata with states, varia...

BPMN is becoming the de facto standard for process description, analysis and simulation, in IT and many other business domains. BPMN supports different levels of abstraction, from high-level process models, to detailed models capable of being executed. Several tools now support, at least partly, OMG’s BPMN metamodel specification. However, while several other OMG’s metamodels include a formal s...

A communication protocol is realisable if it can be faithfully implemented in a distributed fashion by communicating agents. Pomsets offer way to compactly represent concurrency protocols and have been recently used for the purpose of realisability analysis. In this paper we focus on introduced branching pomsets, which also choices. We define well-formedness conditions inspired multiparty sessi...

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...

This paper presents the SonarEditor, which supports the creation of Sonar models. It provides pre-build net components, a wellformedness check and a wizard that aims at the support for possible enhancements of the model. SonarEditor [1] is a prototypical implementation that enables multi-agent system developers to model organizational models following the Sonar formalism. It is implemented as p...