Development and acceptance of a modelling language (ML) for agent-oriented software development has many facets. To complement the “bottom-up” suggestions of icons for particular fine-scale agent-oriented concepts, here we address “top-down” the overall system-level goals and how we might depict them in diagrams. Then, having identified a suite of viewpoints, we recommend a number of diagram types that could constitute such a standard AOSE ML – recommendations based on an analysis of the theoretical literature and over twenty extant AOSE methodologies (and accompanying MLs).
The paper extends a research on agile adoption process done by the author as a dissertation thesis . It investigates the success and failures of agile adoption process and offers directions on how to improve the agile adoption in different environments. Furthermore the paper suggests how to start the agile adoption process, providing a guideline defining which questions should be answered and which areas should be understood before the organization may start the adoption process. As an extension of this area, the paper investigates an agile maturity, helping organization in the iterative process improving effort. Additionally, having an appropriate company culture was identified as the most important aspect during the agile adoption process. But however, this implies the change ability and acceptance for most of the organizations. In addition to that, the paper summarizes a soft guideline on how to adopt agile methods, and defines two new frameworks on how to start adoption process and how to improve it during the adoption iteration cycle.
Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa
357 - 380
Multi-Agent Systems (MAS) have been widely proposed and applied to various application domains, such as space exploration missions. MAS can offer greater redundancy, efficiency, and scalability; however, they also raise new challenges, for instance, complex and often unexpected emergent group behavior, which require a formal specification as well as verification. Therefore, we have proposed a formal approach, named Reactive Autonomic Systems Framework (RASF), based on category theory to tackle those challenges. In this paper, we focus on the formal specification of substitutability property for the fault-tolerance and illustrate our approach through a Mars-world case study implemented as MAS using JADEX.
Functional scenario-based test case generation is an important technique for specification-based testing and it can be fully automated. The vital first step of achieving the automation is automatic transformation from a formal specification into an equivalent functional scenario form from which all functional scenarios are derived. In this paper, we first explain the concepts of the functional scenario form and the functional scenario in the context of a VDM operation specification, and then discuss the techniques for the transformation implemented in a software tool we have built. The techniques for discussion include (1) transformation from compound expressions into predicate expressions, (2) transformation from quantified expressions into non-quantified expressions, (3) replacing implications and equivalences in predicate expressions, (4) transformation from predicate expressions into functional scenario forms, and (5) the derivation of the testing condition from a functional scenario for test case generation. Based on these transformations, the tool can also automatically produce test cases to meet required conditions.
Software test using HAYST method is a combination test method related to usage condition of software based on orthogonal array. Though the basic technique is already released, it is difficult to apply in manual procedure for large scale testing. Therefore, we developed HAYST method tool. In this study, design policy, features, algorithm of HAYST method tool is described, and in the end comparative evaluation with Pairwise (PICT) is described.
Current software engineering assumes that software is developed to meet the requirements of clients. Apart for this business model, there has been another and more universal business model. Namely, a person or a company develops their own commercial product/service of pure software or combined software and hardware, delivers it to a free and competing market and receives the revenue. Major systems vendors, big software vendors and embedded system vendors have been working with this business model. This paper explains the activities in the creation phase of the product or service, management requirements and development work in the new business model.
This paper shows that current operating natural language information processing systems fail to process the core properties of natural languages. While some advances have been made for the incorporation of lexical knowledge in these systems, much remains to be done. We point out at the limits of current information extraction and information retrieval systems, and suggest ways in which they can be improved.
The paper presents an approach to development of a system that supports decision-making for tasks aimed to reduce power consumption of oil-and-gas production enterprise and to enhance the environmental safety of oil and natural gas production. The architecture and operating principles of this system, as well as the classes of tasks to be solved, are discussed. Adjustment of the system to the subject domain and types of tasks is provided by including explicitly the models of the subject and problem domains into the system.
Jun Sasaki, Keizo Yamada, Masanori Takagi, Michiru Tanaka, Akiko Ogawa
467 - 477
The authors' project is concerned with the development of a monitoring system for elderly people living alone in rural areas. The monitoring system was developed and introduced in Kawai village, Shiwa town and Tono city in Iwate Prefecture. The aim was to develop a new type of monitoring system which would reduce the initial cost and increase operability. A key feature of the system was that it used standard telephone terminals and computer telephony technology. The results of the experiment, carried out in Iwate and Aomori Prefectures in Japan, showed improved operability. Based on the results, this paper estimates the required number of telephone lines for an increasing number of users in the future.
Human computer Interaction based on emotional modelling and physical views, collectively; has been investigated and reported in this paper. Two types of ontology have been presented to formalize a patient state: mental ontology reflecting the patient mental behavior due to certain disorder and physical ontology reflecting the observed physical behavior exhibited through disorder. These two types of ontology have been mapped and aligned for reasoning using a simple Bayesian Network for causal reasoning to define what we call as simple case diagnosis. We have constructed an integrated computerized model which reflects a human diagnostician as computer model and through it; an integrated interaction between that model and the real human user (patient) is utilized for 1st stage diagnosis purposes.
Jun Hakura, Nobuhiro Takahashi, Masaki Kurematsu, Hamido Fujita
490 - 499
The paper proposed an estimation method of human interest/boredom for intelligent HCI system with a single vision system. The system estimates postures of the interactant by the facial feature points acquired from the vision system. The method uses the current software and hardware resources so that no extra device is required. This also results in achieving the real time estimation, i.e., low-cost computation. The experimental result implies that the method has possibilities to evaluate human-interest level as correct as the closer people of the interactant.
Masaki Kurematsu, Hiroki Chiba, Jun Hakura, Hamido Fujita
500 - 507
In this paper, we proposed a method to express emotion in a synthetic speech using musical theories. We define the pitch of each phoneme according to an accent dictionary in the first step. Next, we change the pitch of each phoneme according to a Chord and a Scale which are good for expression emotion in music. In order to evaluate this approach, we did experiments. The experimental results saw the possibility of using Chords and Scales to express emotion in synthetic speech. Future works of our research are as follows. We have to analysis these synthetic speeches and extract the relation between synthetic speeches and emotion using a machine learning techniques. We have to use other musical theories to express emotion appropriately, in synthetic speech. In addition, we have experimented these results with a lot of listeners to evaluate our approach.