This paper describes the similarities between task graphs and Petri nets and explains how a well formed task graph can be converted or transformed into a Petri net for verification, validation and checking using incidence matrix analysis, invariants and the reachability graph. A case study is presented, results and conclusions are given. Keywords—, Petri nets, Task Graphs, Transformation, Verif...

This article presents the Meaning-Text Unification Grammar’s current state, now that its formal foundations have been clarified with the development of Polarized Unification Grammar. Emphasis is put on the model’s architecture and the role of polarization in linking its modules — semantics-syntax interface and the well-formedness grammars of each representation level.

1 Syntax 2 1.1 Grammar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Operational semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Continuation-passing-style let-normal programs . . . . . . . . . . . . . . . . . . . . . 3 1.4 Type System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

It is well known that subsets of the two-dimensional space ¢ 2 can represent prominent musical and music-theoretical objects such as scales, chords and chord vocabularies. It has been noted that the major and minor diatonic scale form convex subsets in this space. This triggers the question whether convexity is a more widespread concept in music. This article systematically investigates the con...

Starting from version 2.0, UML introduced hierarchical composite structures, which are an expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that disambiguate the meaning of UML composite structures. Our primary goal was to have an operational model of composite structure...

Fluency influences grammaticality judgments of visually presented strings in artificial grammar learning (AGL). Of many potential sources that engender fluency, symmetry is considered to be an important factor. However, symmetry may function differently for visual and auditory stimuli, which present computationally different problems. Thus, the current study aimed to examine whether objectively...

1. Introduction Early accounts of epenthesis in Optimality Theory focused on epenthesis that results from constraints on prosodic structure, that is, from syllable structure constraints or minimal prosodic category (e.g. minimal word) requirements. McCarthy & Prince (1993a) account for word-internal consonant epenthesis at V-V junctures in Axininca Campa, for example, by ranking ONSET (Syllable...

We discuss three user interfaces for situations that involve vague retrieval requests: (1) BAROQUE, a browser for relational databases; (2) VAGUE, a query interpreter for relational databases that can handle neighborhood queries (formal queries with similar-to comparators); and (3) FLEX, an adaptive interface to relational databases that can service satisfactorily users with different levels of...

We propose an approach to verify UML model elements based on the transformation of the UML meta-model into B formal specifications. The UML meta-model is described as a combination of graphical notations, natural and formal languages. The semantics of UML elements is expressed by well-formedness rules in the UML metamodel. Their correctness is ensured by the proof of the B specifications. The a...

This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled session type syntax a well-formedness constraint based upon normalisation and explore the effects thereof. We present our inference algorithm declaratively and in a form suitable for implementation, and illustrate it with ...