Yoichi Omori

MDA and SOA approach to development of web application interface

A web application interface using the web service technology is required for enabling the interaction of various web applications on different platforms. In this paper, Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) are combined as an approach using Service-Oriented Development Method (SOD-M) to develop of web application interfaces. The development process is initiated by describing the business process in the computation independent models (CIM). Afterward, the functionalities and processing systems in the Platform Independent Models (PIM), based on a business process and data types in the existing applications, are expressed. Model transformations are applied to generate the Web service interfaces in Web Service Desription Language (WSDL) and Web Service Business Process Execution Language (WS-BPEL) in the Platform Specific Models (PSM). For a case study, we illustrated a web interface application called Simpel as an interface between two existing applications in University of Lampung (Unila). This study shows how the proposed approach helps to develop web application that invokes web service to enable the interoperability of two existing application.

Generating supportive hypotheses in introducing formal methods using a software processes improvement model

We are investigating the effective facilitation methodology for the introduction of formal methods into actual software developments. One of the important issues is how to define and develop an adequate development process with formal methods. In this paper, we discuss this issue from a view point of software process improvement using a standard development process model, CMMI-DEV, which is a compilation of best practices in software development. We expect using the standard process model as a reference can facilitate common understanding for the advantages of formal methods and the comparison between actual instances of software process with formal methods. This approach leads to the exploitation of knowledge and findings obtained in the successful cases. We generate supportive hypotheses in the effect of formal methods on software development processes by using the standard improvement model. Then, we weakly examine them with a combination of a small-scale process, which has a strong relation to the organization level process, and a model-oriented formal method, VDM.

Towards Verifying VDM Using SPIN

The Vienna Development Method (VDM) is a formal method that supports modeling and analysis of software systems at various levels of abstraction. Case studies have shown that applying VDM, or formal specification, in general, in software development processes is the key to achieving high-quality software development. However, to derive full benefit from the use of VDM in software development, associative activities such as validating and verifying VDM models are crucial. Since the primary way of verifying a VDM model is specification animation, we aim to utilize the animation feature of VDM to apply model checking techniques. In this paper, we propose an approach to supporting model check VDM models by constructing a hybrid verification model combining VDMJ, a VDM interpreter, and SPIN, one of the most popular model checkers, especially in practical use. Two case studies are reported, and the usability, scalability, and efficiency of our approach are discussed.

Visualizing centrality of process area networks in CMMI-DEV

In order to nd a clue to effectively introducing and utilizing new technology in improving software development process, we analyze and visualize the in-degree centrality of the process area networks in terms of the related process areas in CMMI-DEV. By visualizing the results of in-degree centrality analysis, we can have a perspective of process improvement in using advanced technology.

Requirements Development of Energy Management System for a Unit in Smart Campus

Institutional research supports collection of evidence, data, and information to conduct analyses for decision making, planning and continuous improvement in educational institutes. Conceptually, it covers wide range of areas such as admissions, student services, career outcomes, and facilities. It seems to become covering wider areas including emerging areas such as sustainability. As in todays social infrastructure, software plays an important role also in institutional domain. Software seems to keep growing in its scope, size and complexity also in institutional research domain. However, many organizations have not invested in the capabilities necessary to effectively manage life-cycle process for such products and services. We argue that software engineering techniques, such as life-cycle process model and software product line engineering are important in developing systems effective in institutional research. In this paper, we discuss a trial case of requirements development in improving the energy management system in our campus, as an emerging area of institutional research, by using software engineering techniques under the goal of increasing the awareness and involvement of members for smart energy management.

Tool support for domain analysis of the software specification in natural language

Most software specifications are discussed on natural language among stakeholders. There is, however, a semantic gap between natural language and programming language, which sometime causes discrepancies between them and misunderstanding among stakeholders. Formal language compensates the gap so that realizes early verification in software development process. We developed a dictionary tool to support the translation from natural language to formal language. The tool provides functionalities those are easy registration of keywords to the dictionary and exhaustive marking of the keywords. The dictionary represents a map between equivalent keywords in natural language and formal language which gives defined semantics, and the tool enhance the coverage of the keywords in the formal specification. In short, the dictionary contains conceptual keywords and specific semantics in the problem; therefore, it corresponds to a domain of the system. A system generally belongs to multi problem domains and also contains multi sub domains, consequently some dictionaries should be dynamically alternated through the translation process. APIs related to dictionary operation are proposed and verified in this paper, and the dictionary class is introduced to map the relation among domains.

Validation of stepwise refinement with test cases generated from formal specification

In software development, there is a problem that development cost increases by back track when bugs which are included in the phase of requirement definition are found in the after phases. As an effective method to solve the problem, we have a method with a formal specification language for requirement. A formal specification language can describe the functional requirement exactly with mathematical in and verifies the specification with tools. In formal method, we change the specification in a formal specification to executable program with stepwise refinement. At stepwise refinement step, we find bugs by proof of the specification. Herewith, we can get the program of the high level reliability. But, it is expensive to develop with proof. There is a method to verify specification with test cases generated by manpower. But, there are possibilities of including bugs in specification because of generating by manpower. We propose the method to validate stepwise refinement with lightweight method. We generate test cases from formal specification in VDM-SL before refinement, and test the specification after refinement. With this validation method, it is possible to validate of refinement focused state transition model. We implemented test case generator tool whose test case is executed with VDMUnit and VDMTools. We can confirm the availability of the validation of refinement with test case generator tool we implemented.