An information states blackboard as an intelligent querying interface for snow and avalanche data

We present the graph-based querying paradigm used in the Regional Avalanche Information and Forecasting System (RAIFoS) for the collection and analysis of snow and weather related physical parameters in the Swiss Alps. The querying paradigm relies upon the issue of interactively constructing a semantically valid query graph on an Information States Blackboard as guided by meta-data elements standing for interpretations of conceptual model, data values and/or operations. The meta-data elements constitute the terms of a meta-data-driven query language (MDDQL) the interpretation of which is done interactively relying on a kind of finite state automaton

Grounding the Linking Competence in Culture and Nature. How Action and Perception Shape the Syntax-Semantics Relationship

Part I of the book presents my basic assumptions about the syntax-semantics relationship as a competence of language users and compares them with those of the two paradigms that presently account for most theoretical linguistic projects, studies, and publications. I refer to them as Chomskyan Linguistics and Cognitive-Functional Linguistics. I will show that these approaches do not provide the means to accommodate the sociocultural origins of the “linking” competence, creating the need for an alternative approach. While considering these two approaches (sections 2.1 and 2.3), an alternative proposal will be sketched in section 2.2, using the notion of “research programme”. Thus, part I deals mainly with questions of the philosophy of science. Nevertheless, the model underlying the research programme gives structure to the procedure followed throughout the rest of the book, since it identifies the undertaking as multidisciplinary, following from the central roles of perception and action/attribution. This means that approaching the competence of relating form to content as characterized above requires looking into these sub-competences first, since the former draws upon the latter. Part I concludes with the formulation of an action-theoretic vocabulary and taxonomy (section 2.4). This vocabulary serves as the guideline for how to talk about the subject-matter of each of these disciplines. Part II and chapter 3 then deal with the sub-competences that have been identified as underlying linguistic competence. They concern the use of perception, identification/categorization, conceptualization, action, attribution, and the use of linguistic symbols. Section 3.1 in part II deals with perception. In particular, two crucial properties of perception will be discussed: that it consists of a bottom-up part and a top-down part, and that the output of perception is underspecified in the sense that what we perceive is not informative with respect to actional, i.e., socially relevant matters. The sections on perception to some degree anticipate the characterization of conceptualization in section 3.2 because the latter will be reconstructed as simulated perception. The property of underspecification is thus sustained in conceptualization, too. If utterances encode concepts and concepts are underspecified with respect to those matters that are most important for everyday interaction, one wonders how verbal interaction can (actually) be successful. Here is where action competence and attribution come into play (the non-conceptual contents referred to above). I will show that native speakers act and cognize according to particular socio-cognitive parameters, on the basis of which they make socially relevant attributions. These in turn specify what was underspecified about concepts beforehand. In other words, actional knowledge including attribution must complement concepts in order to count as the semantics underlying linguistic utterances. Sections 3.3 and 3.4 develop a descriptive means for semantic contents. I present the inherent structural organization of concepts and demonstrate how the spatial and temporal aspects of conceptualization can be systematically related to the syntactic structures underlying utterances. In particular, I will argue that conceptualization is organized by means of trajector-landmark configurations which can quite regularly be related to parts of speech in syntactic constructions using the notion of diagrammatic iconicity. Given a diagrammatic mapping and conceptualization as simulated perception the utterance thus becomes something like an instruction to simulate a perception. In part III, section 4.1 deals with the question of what the formal constituents of utterances/constructions contribute to the building of a concept from an utterance. In this context a theory of the German dative is presented, based on the theoretical notions developed throughout this work. Section 4.2 sketches the non-formal properties that reduce the remaining underspecification. In this context one of the most fundamental cognitive properties of language users is uncovered, namely their need to find the cause of any event they are cognizing about. I will then outline the consequences of this property for language production and comprehension. Section 4.3 lists the most important linking schemas for German on the basis of the most important constructions, i.e., motivated conceptualization-syntactic construction mappings, and then describes in a step-by-step manner how – from the utterance-as-instruction-for-conceptualization perspective – such an instruction is obeyed, and how such an instruction is built up from the perception of an event, respectively. The last section, 4.4, is dedicated to a discussion of some of the most famous and most puzzling linguistic phenomena which theoretical linguists traditionally deal with. In discussing the formal aspects of the linguistic competence, examples from German are used

Testing and test-driven development of conceptual schemas

The traditional focus for Information Systems (IS) quality assurance relies on the evaluation of its implementation. However, the quality of an IS can be largely determined in the first stages of its development. Several studies reveal that more than half the errors that occur during systems development are requirements errors. A requirements error is defined as a mismatch between requirements specification and stakeholders¿ needs and expectations. Conceptual modeling is an essential activity in requirements engineering aimed at developing the conceptual schema of an IS. The conceptual schema is the general knowledge that an IS needs to know in order to perform its functions. A conceptual schema specification has semantic quality when it is valid and complete. Validity means that the schema is correct (the knowledge it defines is true for the domain) and relevant (the knowledge it defines is necessary for the system). Completeness means that the conceptual schema includes all relevant knowledge. The validation of a conceptual schema pursues the detection of requirements errors in order to improve its semantic quality. Conceptual schema validation is still a critical challenge in requirements engineering. In this work we contribute to this challenge, taking into account that, since conceptual schemas of IS can be specified in executable artifacts, they can be tested. In this context, the main contributions of this Thesis are (1) an approach to test conceptual schemas of information systems, and (2) a novel method for the incremental development of conceptual schemas supported by continuous test-driven validation. As far as we know, this is the first work that proposes and implements an environment for automated testing of UML/OCL conceptual schemas, and the first work that explores the use of test-driven approaches in conceptual modeling. The testing of conceptual schemas may be an important and practical means for their validation. It allows checking correctness and completeness according to stakeholders¿ needs and expectations. Moreover, in conjunction with the automatic check of basic test adequacy criteria, we can also analyze the relevance of the elements defined in the schema. The testing environment we propose requires a specialized language for writing tests of conceptual schemas. We defined the Conceptual Schema Testing Language (CSTL), which may be used to specify automated tests of executable schemas specified in UML/OCL. We also describe a prototype implementation of a test processor that makes feasible the approach in practice. The conceptual schema testing approach supports test-last validation of conceptual schemas, but it also makes sense to test incomplete conceptual schemas while they are developed. This fact lays the groundwork of Test-Driven Conceptual Modeling (TDCM), which is our second main contribution. TDCM is a novel conceptual modeling method based on the main principles of Test-Driven Development (TDD), an extreme programming method in which a software system is developed in short iterations driven by tests. We have applied the method in several case studies, in the context of Design Research, which is the general research framework we adopted. Finally, we also describe an integration approach of TDCM into a broad set of software development methodologies, including the Unified Process development methodology, MDD-based approaches, storytest-driven agile methods and goal and scenario-oriented requirements engineering methods.Els enfocaments per assegurar la qualitat deis sistemes d'informació s'han basal tradicional m en! en l'avaluació de la seva implementació. No obstan! aix6, la qualitat d'un sis tema d'informació pot ser ampliament determinada en les primeres fases del seu desenvolupament. Diversos estudis indiquen que més de la meitat deis errors de software són errors de requisits . Un error de requisit es defineix com una desalineació entre l'especificació deis requisits i les necessitats i expectatives de les parts im plicades (stakeholders ). La modelització conceptual és una activitat essencial en l'enginyeria de requisits , l'objectiu de la qual és desenvolupar !'esquema conceptual d'un sistema d'informació. L'esquema conceptual és el coneixement general que un sistema d'informació requereix per tal de desenvolupar les seves funcions . Un esquema conceptual té qualitat semantica quan és va lid i complet. La valides a implica que !'esquema sigui correcte (el coneixement definit és cert peral domini) i rellevant (el coneixement definit és necessari peral sistema). La completes a significa que !'esquema conceptual inclou tot el coneixement rellevant. La validació de !'esquema conceptual té coma objectiu la detecció d'errors de requisits per tal de millorar la qualitat semantica. La validació d'esquemes conceptuals és un repte crític en l'enginyeria de requisits . Aquesta te si contribueix a aquest repte i es basa en el fet que els es quemes conceptuals de sistemes d'informació poden ser especificats en artefactes executables i, per tant, poden ser provats. Les principals contribucions de la te si són (1) un enfocament pera les pro ves d'esquemes conceptuals de sistemes d'informació, i (2) una metodología innovadora pel desenvolupament incremental d'esquemes conceptuals assistit per una validació continuada basada en proves . Les pro ves d'esquemes conceptuals poden ser una im portant i practica técnica pera la se va validació, jaque permeten provar la correctesa i la completesa d'acord ambles necessitats i expectatives de les parts interessades. En conjunció amb la comprovació d'un conjunt basic de criteris d'adequació de les proves, també podem analitzar la rellevancia deis elements definits a !'esquema. L'entorn de test proposat inclou un llenguatge especialitzat per escriure proves automatitzades d'esquemes conceptuals, anomenat Conceptual Schema Testing Language (CSTL). També hem descrit i implementa! a un prototip de processador de tes tos que fa possible l'aplicació de l'enfocament proposat a la practica. D'acord amb l'estat de l'art en validació d'esquemes conceptuals , aquest és el primer treball que proposa i implementa un entorn pel testing automatitzat d'esquemes conceptuals definits en UML!OCL. L'enfocament de proves d'esquemes conceptuals permet dura terme la validació d'esquemes existents , pero també té sentit provar es quemes conceptuals incomplets m entre estant sent desenvolupats. Aquest fet és la base de la metodología Test-Driven Conceptual Modeling (TDCM), que és la segona contribució principal. El TDCM és una metodología de modelització conceptual basada en principis basics del Test-Driven Development (TDD), un métode de programació en el qual un sistema software és desenvolupat en petites iteracions guiades per proves. També hem aplicat el métode en diversos casos d'estudi en el context de la metodología de recerca Design Science Research. Finalment, hem proposat enfocaments d'integració del TDCM en diverses metodologies de desenvolupament de software

Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

Boundary work: An interpretive ethnographic perspective on negotiating and leveraging cross-cultural identity

The complexity of global organizations highlights the importance of members’ ability to span diverse boundaries that may be defined by organization structures, national borders, and/or a variety of cultures associated with organization, nation-based societal and work cultures, industries, and/or professions. Based on ethnographic research in a Japan–US binational firm, the paper describes and analyzes the boundary role performance of the firm\u27s Japanese members. It contributes toward theory on boundary spanning by introducing a “cultural identity negotiation” conceptual framework. We show boundary spanning as a process shaped through the interplay of the contextual issues that make a boundary problematic; an individual\u27s multiple repertoires of cultural knowledge; and the individual boundary spanner\u27s “negotiation”, through interaction with others, of his/her cultural identities – the sense of “who I am” as a cultural being that is fundamental to an individual\u27s self-concept. At the same time, we make transparent the epistemological and methodological foundations of an interpretive ethnographic approach, demonstrating its value for understanding complex organizational processes. Research findings have practical implications for the selection and training of an organization\u27s employees, particularly of persons who may be considered “bicultural”

Syntax with oscillators and energy levels

This book presents a new approach to studying the syntax of human language, one which emphasizes how we think about time. Tilsen argues that many current theories are unsatisfactory because those theories conceptualize syntactic patterns with spatially arranged structures of objects. These object-structures are atemporal and do not lend well to reasoning about time. The book develops an alternative conceptual model in which oscillatory systems of various types interact with each other through coupling forces, and in which the relative energies of those systems are organized in particular ways. Tilsen emphasizes that the two primary mechanisms of the approach – oscillators and energy levels – require alternative ways of thinking about time. Furthermore, his theory leads to a new way of thinking about grammaticality and the recursive nature of language. The theory is applied to a variety of syntactic phenomena: word order, phrase structure, morphosyntax, constituency, case systems, ellipsis, anaphora, and islands. The book also presents a general program for the study of language in which the construction of linguistic theories is itself an object of theoretical analysis. Reviewed by John Goldsmith, Mark Gibson and an anonymous reviewer. Signed reports are openly available in the downloads session

Syntax with oscillators and energy levels

This book presents a new approach to studying the syntax of human language, one which emphasizes how we think about time. Tilsen argues that many current theories are unsatisfactory because those theories conceptualize syntactic patterns with spatially arranged structures of objects. These object-structures are atemporal and do not lend well to reasoning about time. The book develops an alternative conceptual model in which oscillatory systems of various types interact with each other through coupling forces, and in which the relative energies of those systems are organized in particular ways. Tilsen emphasizes that the two primary mechanisms of the approach – oscillators and energy levels – require alternative ways of thinking about time. Furthermore, his theory leads to a new way of thinking about grammaticality and the recursive nature of language. The theory is applied to a variety of syntactic phenomena: word order, phrase structure, morphosyntax, constituency, case systems, ellipsis, anaphora, and islands. The book also presents a general program for the study of language in which the construction of linguistic theories is itself an object of theoretical analysis. Reviewed by John Goldsmith, Mark Gibson and an anonymous reviewer. Signed reports are openly available in the downloads session

Syntax with oscillators and energy levels

This book presents a new approach to studying the syntax of human language, one which emphasizes how we think about time. Tilsen argues that many current theories are unsatisfactory because those theories conceptualize syntactic patterns with spatially arranged structures of objects. These object-structures are atemporal and do not lend well to reasoning about time. The book develops an alternative conceptual model in which oscillatory systems of various types interact with each other through coupling forces, and in which the relative energies of those systems are organized in particular ways. Tilsen emphasizes that the two primary mechanisms of the approach – oscillators and energy levels – require alternative ways of thinking about time. Furthermore, his theory leads to a new way of thinking about grammaticality and the recursive nature of language. The theory is applied to a variety of syntactic phenomena: word order, phrase structure, morphosyntax, constituency, case systems, ellipsis, anaphora, and islands. The book also presents a general program for the study of language in which the construction of linguistic theories is itself an object of theoretical analysis. Reviewed by John Goldsmith, Mark Gibson and an anonymous reviewer. Signed reports are openly available in the downloads session

Syntax with oscillators and energy levels

This book presents a new approach to studying the syntax of human language, one which emphasizes how we think about time. Tilsen argues that many current theories are unsatisfactory because those theories conceptualize syntactic patterns with spatially arranged structures of objects. These object-structures are atemporal and do not lend well to reasoning about time. The book develops an alternative conceptual model in which oscillatory systems of various types interact with each other through coupling forces, and in which the relative energies of those systems are organized in particular ways. Tilsen emphasizes that the two primary mechanisms of the approach – oscillators and energy levels – require alternative ways of thinking about time. Furthermore, his theory leads to a new way of thinking about grammaticality and the recursive nature of language. The theory is applied to a variety of syntactic phenomena: word order, phrase structure, morphosyntax, constituency, case systems, ellipsis, anaphora, and islands. The book also presents a general program for the study of language in which the construction of linguistic theories is itself an object of theoretical analysis. Reviewed by John Goldsmith, Mark Gibson and an anonymous reviewer. Signed reports are openly available in the downloads session

Syntax with oscillators and energy levels

This book presents a new approach to studying the syntax of human language, one which emphasizes how we think about time. Tilsen argues that many current theories are unsatisfactory because those theories conceptualize syntactic patterns with spatially arranged structures of objects. These object-structures are atemporal and do not lend well to reasoning about time. The book develops an alternative conceptual model in which oscillatory systems of various types interact with each other through coupling forces, and in which the relative energies of those systems are organized in particular ways. Tilsen emphasizes that the two primary mechanisms of the approach – oscillators and energy levels – require alternative ways of thinking about time. Furthermore, his theory leads to a new way of thinking about grammaticality and the recursive nature of language. The theory is applied to a variety of syntactic phenomena: word order, phrase structure, morphosyntax, constituency, case systems, ellipsis, anaphora, and islands. The book also presents a general program for the study of language in which the construction of linguistic theories is itself an object of theoretical analysis. Reviewed by John Goldsmith, Mark Gibson and an anonymous reviewer. Signed reports are openly available in the downloads session