On the Degree of Team Cooperation in CD Grammar Systems.

In this paper, we introduce a dynamical complexity measure, namely the degree of team cooperation, in the aim of investigating "how much" the components of a grammar system cooperate when forming a team in the process of generating terminal words. We present several results which strongly suggest that this measure is trivial in the sense that the degree of team cooperation of any language is bounded by a constant. Finally, we prove that the degree of team cooperation of a given cooperating/distributed grammar system cannot be algorithmically computed and discuss a decision problem

Spartan Daily, November 3, 1992

Volume 99, Issue 47https://scholarworks.sjsu.edu/spartandaily/8331/thumbnail.jp

Spartan Daily, November 24, 1993

Volume 101, Issue 62https://scholarworks.sjsu.edu/spartandaily/8489/thumbnail.jp

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

Unified Modeling Language (UML) 2.0 Sequence Diagrams (UML 2.0 SD) are used to describe interactions in software systems. These diagrams must be verified in the early stages of software development process to guarantee the production of a reliable system. However, UML 2.0 SD lack formal semantics as all UML specifications, which makes their verification difficult, especially if we are modeling a critical system where the automation of verification is necessary. Communicating Sequential Processes (CSP) is a formal specification language that is suited for analysis and has many automatic verification tools. Thus, UML and CSP have complementary aspects, which are modeling and analysis. Recently, a formalization of UML 2.0 SD using CSP has been proposed in the literature; however, no automation of that formalization exists. In this paper, we propose an approach on the basis of the above formalization and a visual modeling tool to model and automatically transform UML 2.0 SD to CSP ones; thus, the existing CSP model checker can verify them. This approach aims to use UML 2.0 SD for modeling and CSP and its tools for verification. This approach is based on graph transformation, which uses AToM3 tool and proposes a metamodel of UML 2.0 SD and a graph grammar to perform the mapping of the latter into CSP. Failures-Divergence Refinement (FDR) is the model checking tool used to verify the behavioral properties of the source model transformation such as deadlock, livelock and determinism. The proposed approach and tool are illustrated through a case study

Ideological representations in English and Arabic news reports : a thematic structure analysis

The broad aim of this study is to investigate the efficacy of Theme/Rheme analysis in identifying underlying ideologies in English and Arabic news reports. The study takes as its starting point the assumption that the different choices of Theme/Rheme, their organization at the local and global structures and the presentation of Given/New information can elucidate ideological factors that underlie news presentation in English and Arabic. This thesis designs a conceptual framework which combines structural, ideological and linguistic approaches to Discourse Analysis. It also develops an innovative methodological model to analyse Theme/Rheme in Arabic Verbal and Nominal clauses and enhances the linguistic tools to analyse the thematic structures in English and Arabic texts. The thesis applies the developed model, methods and tools to a selected corpus of English and Arabic news reports in order to identify ideological representations of Syria in mainstream online news media. The study seeks to analyse and compare the different choices of Theme/Rheme, nominalization and lexical variations in the thematic structures, on the one hand, and their implications and attribution of causality and responsibility, on the other hand. These issues are investigated in a corpus of English and Arabic news reports during times of political assassinations in Lebanon and the implication of Syrian involvement. Based on the recurrent preferences in the thematic structures of the selected corpus, the study concludes that developed model, methods and tools help identify underlying ideologies in the presentations of Syria in both English and Arabic news reports

Faculty Excellence

Each year, the University of New Hampshire selects a small number of its outstanding faculty for special recognition of their achievements in teaching, scholarship and service. Awards for Excellence in Teaching are given in each college and school, and university-wide awards recognize public service, research, teaching and engagement. This booklet details the year\u27s award winners\u27 accomplishments in short profiles with photographs and text

Spartan Daily, May 4, 1990

Volume 94, Issue 62https://scholarworks.sjsu.edu/spartandaily/7992/thumbnail.jp