A methodology for formally modeling and analyzing software architecture of mobile agent systems

A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^

Pilot study: Intranet communication among chronically ill hospitalized pediatric individuals

Hospitalization can be a very stressful experience, especially for children. With the use of technology, Intranet communication can be successful in obtaining interaction that these individuals lack to accomplish a positive adjustment to the hospital setting. The purpose of this exploratory, pilot project is to examine the use of networking chronically ill, hospitalized children with other hospitalized chronically ill children through Intranet communication.^ A target population of chronically ill hospitalized children, in at least Piaget's concrete operational stage, was asked to use the Intranet system to network with other chronically ill hospitalized children during their hospital stay, for one month or until discharge. The length of time of usage was recorded on a log sheet, and questionnaires were filled out at the end of the study.^ Statistical analysis was utilized to determine frequency of network usage, duration, demographics, and the impact on hospitalization. Results indicated that Intranet communication between chronically ill hospitalized children was utilized by the participants from 7-15 age groups; and had a positive impact on their hospitalization. ^

A Model of Culturally-Diverse Patterns of Communication for Meaningful Learning

Teachers who address culturally-diverse classrooms using their own cultural ‘communication modes’ promote ‘communication dysfunctions’ which diminish the classrooms’ production of meaningful learning. A proposed interaction model of culturally-diverse patterns of communication supplies ‘cultural congruency’ at all levels of communication between teachers and students. The Model proposes that teachers address the culturally-diverse classrooms in as many diverse communication modes as culturally-diverse are the students. The Model was created as a response to the unsatisfactory Meaningful Learning efficiency of a traditional one-cultured-teacher, teaching to a Multicultural classroom.

The Effect of Using Portfolios on Student-Parent and Parent-Teacher Communication

This action research project studied how portfolios enhance the communication between students, parents, and the teacher. While using portfolios in my class, students experienced more dialogue with their parents regarding their effort, the topics being taught, and explanations requiring communication with mathematical reasoning.

Logical simulation of communication subsystem for Universal Serial Bus (USB)

The primary purpose of this thesis was to design a logical simulation of a communication sub block to be used in the effective communication of digital data between the host and the peripheral devices. The module designed is a Serial interface engine in the Universal Serial Bus that effectively controls the flow of data for communication between the host and the peripheral devices with the emphasis on the study of timing and control signals, considering the practical aspects of them. In this study an attempt was made to realize data communication in the hardware using the Verilog Hardware Description language, which is supported by most popular logic synthesis tools. Various techniques like Cyclic Redundancy Checks, bit-stuffing and Non Return to Zero are implemented in the design to provide enhanced performance of the module.