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

Traffic congestion control in communication networks

Next generation networks are characterized by ever increasing complexity, intelligence, heterogeneous technologies and increasing user expectations. Telecommunication networks in particular have become truly global, consisting of a variety of national and regional networks, both wired and wireless. Consequently, the management of telecommunication networks is becoming increasingly complex. In addition, network security and reliability requirements require additional overheads which increase the size of the data records. This in turn causes acute network traffic congestions. There is no single network management methodology to control the various requirements of today's networks, and provides a good level of Quality of Service (QoS), and network security. Therefore, an integrated approach is needed in which a combination of methodologies can provide solutions and answers to network events (which cause severe congestions and compromise the quality of service and security). The proposed solution focused on a systematic approach to design a network management system based upon the recent advances in the mobile agent technologies. This solution has provided a new traffic management system for telecommunication networks that is capable of (1) reducing the network traffic load (thus reducing traffic congestion), (2) overcoming existing network latency, (3) adapting dynamically to the traffic load of the system, (4) operating in heterogeneous environments with improved security, and (5) having robust and fault tolerance behavior. This solution has solved several key challenges in the development of network management for telecommunication networks using mobile agents. We have designed several types of agents, whose interactions will allow performing some complex management actions, and integrating them. Our solution is decentralized to eliminate excessive bandwidth usage and at the same time has extended the capabilities of the Simple Network Management Protocol (SNMP). Our solution is fully compatible with the existing standards.

An approach for design and analysis of User-centric Communication Middleware

Today, the development of domain-specific communication applications is both time-consuming and error-prone because the low-level communication services provided by the existing systems and networks are primitive and often heterogeneous. Multimedia communication applications are typically built on top of low-level network abstractions such as TCP/UDP socket, SIP (Session Initiation Protocol) and RTP (Real-time Transport Protocol) APIs. The User-centric Communication Middleware (UCM) is proposed to encapsulate the networking complexity and heterogeneity of basic multimedia and multi-party communication for upper-layer communication applications. And UCM provides a unified user-centric communication service to diverse communication applications ranging from a simple phone call and video conferencing to specialized communication applications like disaster management and telemedicine. It makes it easier to the development of domain-specific communication applications. The UCM abstraction and API is proposed to achieve these goals. The dissertation also tries to integrate the formal method into UCM development process. The formal model is created for UCM using SAM methodology. Some design errors are found during model creation because the formal method forces to give the precise description of UCM. By using the SAM tool, formal UCM model is translated to Promela formula model. In the dissertation, some system properties are defined as temporal logic formulas. These temporal logic formulas are manually translated to promela formulas which are individually integrated with promela formula model of UCM and verified using SPIN tool. Formal analysis used here helps verify the system properties (for example multiparty multimedia protocol) and dig out the bugs of systems.

Abstractions to support dynamic adaptation of communication frameworks for user-centric communication

The convergence of data, audio and video on IP networks is changing the way individuals, groups and organizations communicate. This diversity of communication media presents opportunities for creating synergistic collaborative communications. This form of collaborative communication is however not without its challenges. The increasing number of communication service providers coupled with a combinatorial mix of offered services, varying Quality-of-Service and oscillating pricing of services increases the complexity for the user to manage and maintain ‘always best’ priced or performance services. Consumers have to manually manage and adapt their communication in line with differences in services across devices, networks and media while ensuring that the usage remain consistent with their intended goals. This dissertation proposes a novel user-centric approach to address this problem. The proposed approach aims to reduce the aforementioned complexity to the user by (1) providing high-level abstractions and a policy based methodology for automated selection of the communication services guided by high-level user policies and (2) providing services through the seamless integration of multiple communication service providers and providing an extensible framework to support the integration of multiple communication service providers. The approach was implemented in the Communication Virtual Machine (CVM), a model-driven technology for realizing communication applications. The CVM includes the Network Communication Broker, the layer responsible for providing a network-independent API to the upper layers of CVM. The initial prototype for the NCB supported only a single communication framework which limited the number, quality and types of services available. Experimental evaluation of the approach show the additional overhead of the approach is minimal compared to the individual communication services frameworks. Additionally the automated approach proposed out performed the individual communication services frameworks for cross framework switching.

Investigating the Association Between Computer-Mediated Communication (CMC) and the Health of Canadian Young People: A Mixed Methods Study

Canadian young people are increasingly more connected through technological devices. This computer-mediated communication (CMC) can result in heightened connection and social support but can also lead to inadequate personal and physical connections. As technology evolves, its influence on health and well-being is important to investigate, especially among youth. This study aims to investigate the potential influences of computer-mediated communication (CMC) on the health of Canadian youth, using both quantitative and qualitative research approaches. This mixed-methods study utilized data from the 2013-2014 Health Behaviour in School-aged Children survey for Canada (n=30,117) and focus group data involving Ontario youth (7 groups involving 40 youth). In the quantitative component, a random-effects multilevel Poisson regression was employed to identify the effects of CMC on loneliness, stratified to explore interaction with family communication quality. A qualitative, inductive content analysis was applied to the focus group transcripts using a grounded theory inspired methodology. Through open line-by-line coding followed by axial coding, main categories and themes were identified. The quality of family communication modified the association between CMC use and loneliness. Among youth experiencing the highest quartile of family communication, daily use of verbal and social media CMC was significantly associated with reports of loneliness. The qualitative analysis revealed two overarching concepts that: (1) the health impacts of CMC are multidimensional and (2) there exists a duality of both positive and negative influences of CMC on health. Four themes were identified within this framework: (1) physical activity, (2) mental and emotional disturbance, (3) mindfulness, and (4) relationships. Overall, there is a high proportion of loneliness among Canadian youth, but this is not uniform for all. The associations between CMC and health are influenced by external and contextual factors, including family communication quality. Further, the technologically rich world in which young people live has a diverse impact on their health. For youth, their relationships with others and the context of CMC use shape overall influences on their health.

Introducing Intercultural Communication into the Teaching of Translation

This article examines how the teaching of translation at university level can come to include the systematic development of intercultural skills. It will do this initially by presenting the methodology and outcomes of a European Union funded project entitled ‘Promoting Intercultural Competence in Translators’. The precise aims, context, participants, timing and working methodology of the project will be clearly outlined. This will be followed by an explanation of key theoretical principles which underlay the project and which were embodied in a ‘good practice guide’ at its conclusion. The project produced three key outputs freely available on the project website aimed to help university lecturers in Translation to enhance the development of students’ intercultural skills – a ‘curriculum framework’ (syllabus), teaching materials and assessment materials, for each of which the theoretical/pedagogical underpinning will be explained and examples provided. The article will conclude with an extended reflective section examining some of the limits of the project, areas in which it could be further developed or adapted to context, finishing with an indication of areas in which further research is needed.

L’innovation de modèle d’affaires exploitant les technologies de l’information et de la communication -contribution à la compréhension du lien entre TIC et performance

Les entreprises qui se servent des technologies de l’information et de la communication (TIC) pour innover mesurent des impacts très inégaux sur leurs performances. Cela dépend principalement de l’intensité, l’ampleur et la cohérence de l’innovation systémique auxquelles elles procèdent. En l’état de la connaissance, la littérature identifie le besoin de mieux comprendre cette notion d’alignement systémique. Cette thèse propose d’aborder cette question à l’aide de la notion d’innovation du modèle d’affaires. Une revue systématique de la littérature a été réalisée. D’un point de vue conceptuel, elle contribue à mieux définir le concept de modèle d’affaires, et a permis de réaliser une typologie des différents cadres de modélisation d’affaires. Le cadre conceptuel qui en est issu aborde le sujet de l’innovation du modèle d’affaires à trois niveaux : (1) stratégique à travers la proposition d’une matrice de positionnement de l’innovation de modèle d’affaires et l’identification de trajectoires d’innovation ; (2) configuration du modèle d’affaires à l’aide du cadre de modélisation tétraédrique de Caisse et Montreuil ; et (3) opérationnel-tactique par l’analyse des facteurs clés de succès et des chaines structurantes. Du fait du caractère émergeant de la littérature sur le sujet, la méthodologie choisie est une étude de cas comparés. Trois études de cas d’entreprises québécoises ont été réalisées. Elles oeuvrent dans des secteurs variés, et ont procédé à une innovation significative de leur modèle d’affaires en s’appuyant sur des TIC,. La recherche conclut à la pertinence de l’utilisation du concept de modèle d’affaires en ce qui concerne l’analyse de l’alignement systémique dans un contexte d’innovation appuyée sur les TIC. Neuf propositions de recherche sont énoncées et ouvrent la voie à de futures recherches

Communication of reproductive health information to the rural girl child in Filabusi, Zimbabwe.

Background: Despite a number of programs aimed at the transfer of reproductive health information, adolescents in Zimbabwe still face unprecedented reproductive challenges. Objectives: The study sought to explore adolescent girls’ knowledge of their sexual and reproductive health; the factors that influence their sexual behaviors and to determine the extent to which adolescents had access to sexual and reproductive health information. Methods: The case study methodology was used for the study. The interpretive paradigm was used as the methodological theory and Grunig’s model of excellence in communication was used as the substantive theory. Data was obtained through the use of focus group discussions and indepth interviews. Results: Although adolescents knew the different types of sexually transmitted diseases and were aware of the consequences of engaging in risky sexual behaviors, they engaged in health behaviors which had potential for serious consequences. The study established that adolescents did not have adequate access to sexual and reproductive health information. Sexual issues were not adequately addressed both at school and at home. Conclusion: Adolescents lack adequate access to reproductive health information and there is need for effective communication programs that contribute towards the understanding of communicated messages by audiences and the understanding of audiences by communicators.

Transition to Product Service Systems: methodology based on scenarios identification, modelling and evaluation

Part 4: Transition Towards Product-Service Systems

Empathy in the field: towards a taxonomy of empathic communication in information gathering interviews with suspected sex offenders

Research suggests that those suspected of sexual offending might be more willing to reveal information about their crimes if interviewers display empathic behaviour. However, the literature concerning investigative empathy is in its infancy, and so as yet is not well understood. This study explores empathy in a sample of real-life interviews conducted by police officers in England with suspected sex offenders. Using qualitative methodology, the presence and type of empathic verbal behaviours displayed was examined. Resulting categories were quantitatively analysed to investigate their occurrence overall, and across interviewer gender. We identified four distinct types of empathy, some of which were used significantly more often than others. Female interviewers displayed more empathic behaviour per se by a considerable margin.

PI Toolset Methodology for Virtual Enterprise Performance Assessment and Governance

Part 16: Performance Measurement Systems

Methodology for Conceptualization of Customizable Virtual Workspaces

Part 12: Collaboration Platforms

Intercultural Communication on China’s We Media–WeChat Public Platform as an Example.

To explore the deep associations between diversified culture communication modes and the new tendencies of China’s social media, this thesis focuses on the development patterns of intercultural communication on China’s we media. Symbolized by WeChat Public Platform, China’s we media has achieved a tremendous development in recent years. In Chapter 1, the background introduction of we media highlights the essential connotation and the basic methodology of this thesis. And by interpreting the rise of China’s we media in Chapter 2, the unique evolution process of social media in China is revealed logically. Besides, as specific case studies, the two cultural WeChat official accounts: EatPrayLove and Shameless in Chapter 3 comprehensively present a macroscopic cognition as well as the detailed descriptions of intercultural communication on China’s we media. In addition, based on a series of analyses and demonstrations on the developments and prospects of China’s we media in Chapter 4, the further exploration and interpretation on how to promote intercultural communication is concluded concisely and precisely in Chapter 5.

Clinical skills and communication in nursing students

Abstract Background: Communication is a basic tool in nursing, a crucial element of care. The quality of the interactions that take place between the nurse and the user/family influence their satisfaction and security felt with the care received. Objectives: To identify the communication skills and interpersonal relationship of nursing students in health care; identify the sociodemographic and academic variables influencing communication skills and interpersonal relationship of nursing students in health care. Methodology: Quantitative study, cross-sectional, descriptive and correlational. The data collection instrument was a questionnaire with questions concerning the socio-demographic and academic characterization; basic skills of interview and clinical communication in health care; learning of clinical communication skills and range of communication skills and interpersonal relationship. The sample consisted of 374 nursing students from two Portuguese schools. Results: The majority were female (80.5%), in the age group of 18-21 years. The students recognize the importance of clinical communication skills and interpersonal relations in nursing practice (82.4%); agreed on the teaching methods of communicational skills (54.3%). Evaluated their training in the area as good (71.7%). Age, semester and school influenced communication skills and interpersonal relationship of students (p <0.5) Conclusion: The results obtained allow us to state that the education / training of nursing student in the relational context is of fundamental importance in building capacity for competent professional practice.

Irish state infrastructural investment: an analysis of past patterns, and an outline of a future integrated systems of systems evaluation methodology

The literature clearly links the quality and capacity of a country’s infrastructure to its economic growth and competitiveness. This thesis analyses the historic national and spatial distribution of investment by the Irish state in its physical networks (water, wastewater and roads) across the 34 local authorities and examines how Ireland is perceived internationally relative to its economic counterparts. An appraisal of the current status and shortcomings of Ireland’s infrastructure is undertaken using key stakeholders from foreign direct investment companies and national policymakers to identify Ireland's infrastructural gaps, along with current challenges in how the country is delivering infrastructure. The output of these interviews identified many issues with how infrastructure decision-making is currently undertaken. This led to an evaluation of how other countries are informing decision-making, and thus this thesis presents a framework of how and why Ireland should embrace a Systems of Systems (SoS) methodology approach to infrastructure decision-making going forward. In undertaking this study a number of other infrastructure challenges were identified: significant political interference in infrastructure decision-making and delivery the need for a national agency to remove the existing ‘silo’ type of mentality to infrastructure delivery how tax incentives can interfere with the market; and their significance. The two key infrastructure gaps identified during the interview process were: the need for government intervention in the rollout of sufficient communication capacity and at a competitive cost outside of Dublin; and the urgent need to address water quality and capacity with approximately 25% of the population currently being served by water of unacceptable quality. Despite considerable investment in its national infrastructure, Ireland’s infrastructure performance continues to trail behind its economic partners in the Eurozone and OECD. Ireland is projected to have the highest growth rate in the euro zone region in 2015 and 2016, albeit that it required a bailout in 2010, and, at the time of writing, is beginning to invest in its infrastructure networks again. This thesis proposes the development and implementation of a SoS approach for infrastructure decision-making which would be based on: existing spatial and capacity data of each of the constituent infrastructure networks; and scenario computation and analysis of alternative drivers eg. Demographic change, economic variability and demand/capacity constraints. The output from such an analysis would provide valuable evidence upon which policy makers and decision makers alike could rely, which has been lacking in historic investment decisions.