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

A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of transactions, a transactional workflow may be not wellformed. Moreover, only one workflow is allowed to execute a non-compensatable transaction with current scheduling protocol. In this paper, we present a transactional wor...

This paper investigates the semantics of mathematical concepts in a type theoretic framework with coercive subtyping. The type-theoretic analysis provides a formal semantic basis in the design and implementation of Mathematical Vernacular (MV), a natural language suitable for interactive development of mathematics with the support of the current theorem proving technology. The idea of semantic ...

There is much evidence that visual recognition of morphologically complex words (e.g., teacher) proceeds via a decompositional route, first involving recognition of their component morphemes (teach + -er). According to the Full Decomposition model, after the visual decomposition stage, followed by morpheme lookup, there is a final "recombination" stage, in which the decomposed morphemes are com...

In this article, I survey the integrated connectionist/symbolic (ICS) cognitive architecture in which higher cognition must be formally characterized on two levels of description. At the microlevel, parallel distributed processing (PDP) characterizes mental processing; this PDP system has special organization in virtue of which it can be characterized at the macrolevel as a kind of symbolic com...

Unified Modeling Language (UML) is a modeling language for specifying, constructing and documenting the artifacts of the systems. Similar to programming language such as C++ and Java, UML also consists of syntax and semantics. The UML syntax is the graphical notations to draw the UML diagrams and the semantics is the meaning of the notations. The semantics is grouped into two, static or well-fo...

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

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

FLEX is a user interface to relational databases that can be used satisfactorily by users with different levels of expertise. FLEX is based on a formal query language, but is tolerant of incorrect input. It never rejects queries; instead, it adapts flexibly and transparently to their level of correctness and well-formedness, providing interpretations of corresponding accuracy and specificity. T...

Although Japanese, Korean, and Mandarin are all wh-in-situ languages, they differ with respect to intervention effects. I use the term ‘intervention effects’ in accord with Beck (1996) and Beck and Kim (1997) to refer to ill-formedness that results when a particular phrase, generally a quantificational and/or focus element, c-commands a wh-phrase. In this paper, I refer to intervenors as ‘quant...