Abstract of Papers Presented


 

 

Title:

Modeling Dynamic Role-based Access Constraints using UML

 

Author & Affiliation:

Khaled Alghathbar, Duminda Wijesekera

George Mason University , USA ,

 

Abstract:

Systematic development of security sensitive software requires that there be a sufficiently expressive linguistic extension to modeling languages. We propose an extension to the Unified Modeling Language (UML) to satisfy this need. We propose to extend the UML metamodel with a security policy constraint specification and enforcement module, business tasks and a history log for method calls. Using this extension, we show how authorization requirements of an application can be modeled in the design phase.

 

Title:

A Customization Testing Technique Designedfor Chamois Component System

 

Author & Affiliation:

Byounghee Lee, Hoijin Yoon, Eunhee Kim and Byoungju Choi

Ewha Womans University ,

 

Abstract:

Earlier we proposed the customization test technique based on the fault injection method for component customization test. However, to analyze the method in most cases, the experiments were conducted with examples organized in random. In this paper we analyze the results where the customization test technique was applied to a COM-based DAQUM component of a real large component-based system: Chamois. At first, we transformed the EJB-based component customization technique to COM-based component customization test technique, and perform two empirical studies: one is for analyzing our COM Customization Testing Technique, the other is for comparing with other white-box test techniques including all-node, decision, and p-use. Our technique selects relatively less number of, but highly effective test data than other white-box test techniques. We evaluate the effectiveness through an empirical study.

 

Title:

A Concept Lattice based Approach for Building and Maintaining Class Hierarchies

Author & Affiliation:

Suk-Hyung Hwang, Sung-Hee Choi , SunMoon University, Korea

Hae-Sool Yang, Hoseo University ,Korea

Young-Kyu Kang, Korea Food and Drug Administration

 

Abstract:

Class or object hierarchies are at the heart of object-oriented software systems, and they are a cornerstone of frameworks i.e. of adaptable and reusable object-oriented architectures. Building class hierarchies is a very important and common task, but such hierarchies are not so easy to build and maintain. Therefore, the object community is very interested by all methodologies and tools that could help object designers and programmers in this task.

In this paper, we present an approach for building and reorganizing object-oriented class hierarchies using the formal concept analysis. Benefits of this technique include the creation of well-defined class inheritance hierarchy structures with a maximal factorization of properties(attributes and methods) and automatic elimination of non-essential complexity.

 

Title:

Identifying the Development Approach trough a Problem-Oriented Analysis Method

 

 

Author & Affiliation:

Oscar Dieste, Universidad Complutense de Madrid

Marcela Genero, Universidad de Castilla-La Mancha

 

Abstract:

This paper proposes new analysis method, called POAM (Problem-Oriented Analysis Method). POAM has been developed to solve several shortcomings of existing conceptual models (solution orientation and dependence of concrete development approaches). POAM uses a kind of conceptual model unbiased towards any development approach, thus supporting developers to understand the problem and its constraints before any solution is identified. POAM is also able to identify and derive the best classical conceptual model for a given situation, allowing developers to use in design those notations, as data flow diagrams or class diagrams, universally used for software development.

 

 

Title:

 

Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications

 

Author & Affiliation:

Walter   Dosch , SonkeMagnussen

University of L ubeck, Germany

 

Abstract:

The paper studies the transformational refinement of data structures in the framework of higher-order algebraic specifications. We present novel procedures that mechanize the refinement of entire data structures within a single complex transformation step. The transformations validate

a general refinement relation that captures different types of simulations. A uniform transformation rule describes algebraic implementations based on abstraction and representation functions. It is systematically specialized to

transformations covering particular changes between data structures. All transformation procedures have been implemented in the L¨ubeck Transformation System along with analysis algorithms that use syntactic criteria for establishing the soundness conditions. We report practical experiences when outlining the data structure refinement with the

system . The paper summarizes results from the forthcoming thesis

S. Magnussen: Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems, PhD thesis, Faculty of Technology and Sciences, University of L¨ubeck .

 

 

Title:

Workload Metrics Based on Instruction Grouping

 

Author & Affiliation:

Carl Herder and Jozo J. Dujmović

San Francisco State University

 

Abstract:

This paper investigates workload metrics based on instruction grouping. The focus is on the Java bytecode instruction set, but the principles are generally applicable across architectures, wherever a workload can be described by frequencies of using a set of instructions or other basic operators. We discuss the motivation and justification for grouping frequencies of related instructions and propose an iterative grouping methodology. The effects of our approach are demonstrated using cluster analysis of SPEC JVM98 benchmark.

 

Title :

Reengineering an Object-Oriented System into a Component-Based System Using Metrics and Relationships between Classes

Author & Affiliation

Eunjoo Lee, Seoul National University , Seoul , Korea

Woochang Shin, University, Seoul , Korea

 

Abstract

Object-oriented development had not provided extensive reuse and computing infrastructures are evolving from mainframe to distributed environments, where object technology has not led to massive development of distributed systems. However, component-based technology is considered to be more suited for distributed system development due to its granularity and reusability. In this paper, we present a process including the metrics and guidelines that can be applied to reengineer object-oriented systems into component-based systems. Components are created based upon inheritance and composition relationships between classes. Resulting components are determined by using the metrics we propose

 

Title :

Improving Software Engineering Practice with HCI Aspects

 

Author & Affiliation

 

Abstract :

Xavier Ferre, Universidad Politecnica de Madrid

Ana M. Moreno, Universidad Politecnica de Madrid

 

Techniques from HCI have been used for the development of usable software products for a long time, but their use is often not integrated with software engineering practices. In this work we describe an approach for bridging the gap between software engineering and HCI, by offering orientation to software practitioners on the application of HCI techniques and activities. For this purpose, we have carried out a survey in HCI literature to define the activities in a user-centered development process, and to select the HCI techniques that are more appropriate for integration into software engineering practice.

 

Title :

A Grid Based Analysis Approach for Learning From Sparse Data

 

Author & Affiliation

Ray R. Hashemi, Armstrong Atlantic State University , USA

Mahmood Bahar, Teachers Training University Tehran , Iran

Nan Tang, University of Arkansas at Little Rock, USA

John F. Young, National Center for Toxicological Research , USA

 

Abstract :

Prediction of an entity behavior based on its properties (i.e., independent variables) is a two-step process: (a) learning the hidden patterns from a data set of similar entities with similar properties (i.e., a training set) and (b) using the learned patterns to predict the entity behavior.  Learning from a “sparse” training data set is a real challenge.  The prediction process of a sparse training set becomes more complicated, when there are a few attributes for which data is not sparse. 

     In this paper, we present a new methodology that lends itself easily to the learning from training sets with sparse data or a mixture of sparse and non-sparse data.  The methodology is applied to an empirical data set obtained from behavior of some chemical agents in a bio-environment.  The goal of the prediction is to determine whether a given chemical agent causes liver cancer.

 

 

Title :

Indexing XML Data for Path Expression Queries

 

Author & Affiliation

Gongzhu Hu and Chunxia Tang

Department of Computer Science, Central Michigan University

 

Abstract :

Retrieval of XML data is like retrieval of relational databases, but the difference is that relational data are stored in 2-D flat tables whereas XML data are organized in a tree-like structure. Fast tree traversal of XML data is commonly done through indexing. In this paper, we present a design and implement of an efficient and quick solution to indexing XML data. Our approach is based on a numbering scheme that encodes the XML elements for not only indexing to the elements but also for quick determination of the ancestor-descendant relationship between elements in the tree hierarchy. This approach also allows efficiently inserting and updating the indexing system, which is an improvement over several XML numbering methods seen in the literature.

 

Title:

Developing Common Components for e-Commerce Application

 

Author & Affilition :

Ha Jin Hwang, CatholicUniversity of Daegu , South Korea

 

 

Abstract :

Component-based systems have become increasingly popular approaches to develop complex systems, offering well-formed abstractions, strong potential for reuse, dynamic plug-and-play and end-user application enhancement. Developing components requires very challenging work, particularly in achieving appropriate division of responsibility among components features.

The paper discusses the Features-Oriented Component Engineering (FOCE) method to improve component development by utilizing features during component specification, design, implementation and deployment. The paper identifies several important common components for e-Commerce and presents an application of FOCE based e-Commerce system.

 

Title :

Analyzing the Practice and Relationship of the Configuration Management among International Standards

 

Author & Affiliation

Sun-Myung Hwang, Hye-mee Kim

Dept. of Computer Engineering, DaeJeon University

 

Abstract:

The configuration management process is to establish and maintain the integrity of all the work products of a process or project. This paper discusses the similarities and differences between ISO/IEC 12207 and ISO/IEC 15846. The most widely used models for software process assessment. ISO/IEC 15504, CMM and CMMI can rate maturity of processes. We analyze and compare the practices for measuring Configuration process and propose metric for quantitative measure.

 

 

Title :

Increasing the Efficiency of Cooperation among Agents by Sharing Actions

 

Author & Affiliation

Kazunori Iwata, Aichi University , Korea

Mayumi Miyazaki, Nagoya Institute of Technology , Korea

Nobuhiro Ito, Nagoya Institute of Technology, Korea

Naohiro Ishii , Aichi Institute of Technology, Korea

 

Abstract :

Recently, multi-agent techniques are being studied with keen interest to develop flexible information systems for complicated problems. In particular, rescue systems for reducing the damage caused by serious disasters are of international interest. The RoboCupRescue Project, launched in Japan in 1999, is an international research project aimed at developing a rescue system for serious disasters. In this paper, we focus on the system controlling the rescue agents. One aspect of great interest regarding multi-agent techniques is the design of systems that realize efficient cooperative behavior. Traditional frameworks for cooperative behavior design include cooperative protocols, hierarchical approaches and so on. However, autonomous robot agents such as rescue agents can not communicate with each other and form groups to cooperate within these traditional frameworks, because these agents have limited mobility and can obtain only restricted information. Moreover, they need to behave in a real-time environment which is complicated and changing continuously.

In this paper, we propose a new cooperative model for multi-agentsystems which improves the performance of the systems by reducing redundant actions among the agents. Moreover, the results of disaster simulations confirm that our model is efficient for such complicated environments.

 

 

Title :

Reliability Assurance in Development Process for TOE on the Common Criteria

 

Author & Affiliation

Haeng-Kon Kim, Kyungsan , Kyungbuk , Korea

Hoon Kim and Byong-Kyu No, Korea Information Security Agency

 

Abstract :

Security begins with good software code and high quality testing of the code, and it continues with the process used to identify corrected and patch security vulnerabilities and with their auditing based on recognized standards. Security is an important aspect of software systems, especially for distributed security-sensitive systems. The Common Criteria(CC)is the standard requirements catalogue for the evaluation of security critical systems. Using the CC, a large number of security requirements on the system itself and on the system development can be defined. However, the CC does not give methodological process support.In this paper, we show how integrate security aspects into the software engineering process. In addition , we also introduce our work on ensuring the reliability assurance in development process for Network Management System as TOE. The activities and documents from the Common Criteria are tightly intertwined with the system development, which improves the quality of the developed system and reduces the additional cost and effort due to high security requirements.For modeling and verification of critical parts of CBD(Component Based Development) system, we use formal description techniques and model checker, which increases both the understanding of the system specification and the system’s reliability. We demonstrate our ideas by means of a case study, the CBD-NMS project.

 

Title :

A Study on the Specification for e-Business Agent Oriented Component Based Development

 

Author & Affiliation

Haeng-Kon Kim, Ho-Jun Shin, Catholic University of Daegu , Korea

 

 

Abstract :

Agent technology becomes more and more importance in the e-business domain. The concepts and technology have been brought to a stage where they are useable in real applications, and there is a growing understanding of how to apply them to practical problems. Component methodologies have proved to be successful in increasing speed to market of software development projects, lowering the development cost and providing better quality.In this paper, we propose systemical development process using component and UML(Unified Modeling Language) technology to analysis, design and develop e-business agent. The ebA-CBD(e-business Agent-Component Based Development) process is an attempt to consider all of the best features of existing AOSE(Agent Oriented Software Engineering) methodologies while grounding agent-oriented concepts in the same underlying semantic framework used by UML, the standard Modeling language for Object Oriented Software Engineering. Finally we describe how these concepts may assist in increasing the efficiency and reusability in business application and e-business agent development.

 

 

Title :

On XML Data Processing through F-logic Query Processing

 

Author & Affiliation

Seonggyu Kim

Dept. of Computer Science at Anyang University , South  Korea

 

Abstract :

With the advent of XML and database languages armed with the object-oriented concept and deductive logic, the problem of efficient query processing for them has become a major issue. We describe a way of processing semi-structured XML data through explanation of query processing of an F-logic database. We have shown how to convert an XML data model to an F-logic data model. Such transformation provides an intuitive way for view definitions and schema reasoning, and thus can make formulating data mining queries and building a semantic web an easy task. We have then presented an efficient query processing method based on connection graph resolution. We have also presented a compatibility test algorithm using the fact substitution satisfy associative and homomorphic laws to reduce search space in a database.

 

 

Title :

MPLS OAM Functions and their Applications to Performance Monitoring, Fault Detection and Localization

 

Author & Affiliation

Youngtak Kim, College of Engineering, Yeungnam University , Korea

 

 

Abstract :

In this paper, we propose the MPLS OAM (Operation, Administration and Maintenance) functions for performance monitoring, fault detection, notification and localization. The proposed MPLS OAM functions include periodic performance monitoring, continuity check, fault detection and fault notification, and loop-back test for fault localization. The proposed MPLS OAM functions are designed to be independent of the lower layer networking technology, such as ATM, FR, SDH/SONET, or WDM. The proposed MPLS OAM can support LSP restoration at a severely degraded performance. We present the experimental results of the MPLS OAM function for the performance monitoring and fault detection & notification, localization in MPLS network, based on the NIST GMPLS network simulator.

 

Title :

Applying Model Checking Techniques to Game Solving

 

Author & Affiliation

Gihwon Kwon, Department of Computer Science, Kyonggi University

Abstract :

In this paper, we automatically solve Push-Push game with model checking techniques which exhaustively explores all search space. Although model checking finds out the best solution for the game, it always suffers from the state explosion problem. To overcome this well-known problem, we use clever methods such as abstraction and pruning. In addition, we propose the relay model checking which decomposes the whole problem into a series of smaller one and then conquers one by one at a time. As a result, we solved all levels of the game. Our solution also shows better performance than human experts; that is, we solved the game in fewer steps than human experts.

 

Title :

Modeling Access Combinators with UML

 

Author & Affiliation

Oh Hyun Kwon, Information Technology Dept. of Tongmyung Univ

Min Kyu Lee, Plastic Software

 

Abstract

In this paper we propose that Access Combinators model which is extended from SMIL and UML tool was utilized for those modeling. Suggested Access Combinator is compose of seven different function which robust the SMIL and those are expressed by Class Diagram and Sequential Diagram. The model was matched well with implementation.

 

Title :

Fault detecting capability and test suite reduction for Boolean specifications: an empirical evaluation

 

Author & Affiliation

M. F. LAU and T. Y. CHEN and S. P. NG

Swinburne University of Technology, Australia

 

Abstract :

Finding a subset of test cases that satisfies the same testing objective as the original test suite is referred to as the problem of test suite reduction. Such a subset of test cases is referred to as a representative set. Recent studies show that the representative set and the original test suite have similar fault detecting capabilities. This paper reports an empirical study on whether representative sets found by different heuristics will still have similar fault detecting capabilities. As a result, software testers may be able to choose an heuristic which delivers smaller sized representative sets without rendering the fault detecting capability.

 

Title :

Using Hierarchical Classification to Certify Software Packages

 

Author & Affiliation

Jaewon Oh, Dongchul Park , Jongwon Lee, Chisu Wu, Seoul National University , Seoul, Korea

Byungjeong Lee, University of Seoul, Seoul, Korea

Euyseok Hong, Sungshin Women’s University, Seoul, Korea

 

Abstract :

Various types of COTS (Commercial-Off-The-Shelf) software are being produced radically and its application areas are also expanding. Because software quality evaluation depends on types of software and environments where software is operated, certification organizations need different certification programs that are foundations or basic frames for certifying software. We can certify new software products by making new certification programs or referring to previous ones. However, it is redundant to make new programs whenever certifying products and simply referring to previous ones may cause problems because the previously certified software may not have the same quality characteristics as the new software has. Hence, we need to systematically derive certification programs for assessing new software. In this paper, we propose a meta model. By using this model, certification programs can be incrementally constructed based on hierarchical classification of software packages. Furthermore, the meta model is validated through generating certification programs with quality data on some certified software products.

 

Title :

CMM, SPICE, and Six-Sigma Level Mapping andEvaluating the Mapping-Effectiveness

 

Author & Affliation

Ji-Hyub Park , Woo-Song Kim, Kyung-Whan Lee, Chung-Ang University , Korea

Sun-Myung Hwang, Dae-Jeon University , Korea

 

Abstract:

Software quality management, which leads to improve the performance capability of project, has been studied on the many viewpoints. It is hard work to compare the each process level assessed with CMM, SPICE and Six-Sigma, which are the popular techniques for the industry of software and system management. This paper discusses the relationship between the three process assessments and the derivation of overall mapping table which relates the result levels assessed with SPICE, CMM and Six-Sigma. Additionally, we analyze the mapping-effectiveness, which is the most effectual way after mapping of the levels or before, through the Analytic Hierarchy Process method.

 

Title :

A DiffServ-MPLS solution for real-time applications with deterministic end-to-end guarantees

 

Author & Affiliation

Steven Martin, Ecole Centrale d'Electronique, Paris , France

Pascale Minet , Domaine de Voluceau, Paris , France

Laurent George, Université Paris, France

 

Abstract :

In this paper, we are interested in providing deterministic end-to-end guarantees to real-time applications in the Internet. We focus on two QoS parameters: the end-to-end response time and the end-to-end jitter, parameters of the utmost importance for such applications. We propose a solution, very simple to deploy, based on a combination of DiffServ and MPLS. TheExpedited Forwarding (EF) class of the Differentiated Services (DiffServ) model is well adapted for real-time applications as it is designed for flows with end-to-end real-time constraints. Moreover MultiProtocolLabel Switching (MPLS), when applied in DiffServ architecture, is an efficient solution for providing Quality of Service (QoS) routing. The results of our worst case analysis enable to derive a simple admission control for the EF class. Resources provisioned for the EF class but not used by this class are available for the other classes.

 

 

Title :

Domain Design Method to Support Effective Reuse in Component-Based Software Development

 

Author & Affiliation

Mikyeong Moon, Keunhyuk Yeom

Pusan National University, Korea

 

Abstract :

Domain engineering is the foundation for emerging “product line” software development approaches and affects the maintainability, understandability, usability, and reusability characteristics of family of similar systems [1]. However, the existing domain engineering methods do not elicit necessary information for the Component-Based Software Development process, such as, selecting and configuring appropriate components. In this paper, we suggest a method that systematically designs a domain to enhance reusability in the context of Component-Based Software Development approaches. For this, we extract information objectively that can be reused in a domain from the requirement analysis phase. We sustain and refine this information, and match it to artifacts of each phase in domain engineering. Through this method, reusable domain components and malleable domain architecture can be produced.

 

 

Title :

Fuzzy Subtractive Clustering Based Indexing Approach for Software Components Classification

 

Author & Affiliation

Sathit Nakkrasae, Ramkhamhaeng University, Thailand

Peraphon Sophatsathit, Chulalongkorn University, Thailand

William R. Edwards, The University of Louisiana at Lafayette, USA

 

Abstract :

Software Engineering is not only a technical discipline of its own, but also a problem domain where technologies coming from other disciplines are relevant and can play important roles.  One important example is knowledge engineering [1], a term that is used in a board sense to encompass artificial intelligence, computational intelligence, knowledge bases, data mining, and machine learning.  Many typical software development issues can benefit from these disciplines.  For this reason, this paper will employ computational intelligence approach to classify software component repository into similarity component cluster groups with the help of Fuzzy Subtractive Clustering algorithm.  The center of each cluster will be used to construct a coarse grain classification indexing structure.  Subsequent retrieval requirements of software component are compared with all the indexed cluster centers.  Any software components belonging to the cluster partition whose center is closest to the required software component will be retrieved for subsequent participation in component selection at fine grain level.  This approach not only is suitable for multidimensional data, but also automatically decides the correct model classification.

 

Title :

Design and Evaluation of a Fuzzy Logic-Based Location Management Method for Mobile Networks

 

Author & Affiliation

Ihn -Han Bae, Catholic University of Daegu , Korea

Sun-Jin Oh, Semyung University , Korea

Stephan Olariu, Old Dominion University

 

Abstract :

State-of-the-art wireless communication networks allow dynamic relocation of  mobile terminals. A location management mechanism is required to keep track of a mobile terminal for delivering incoming calls. In this paper, we propose a fuzzy logic-based location management method to reduce paging cost. In the proposed method, the location update uses an area-based method that uses direction-based method together with movement-based method, and the location search uses a fuzzy logic-based selective paging method based on the mobility information of mobile terminals. A partial candidate paging area is selected by fuzzy control rules, and then the fuzzy logic-based selective paging method pages only cells within the partial candidate paging area. The performance of the proposed fuzzy logic-based location management method is evaluated by an analytical model and by a simulation, and is compared with that of basic velocity paging (BVP) method.

 

 

Title :

Design Constraints by Layered Architectural Style

 

Author & Affiliation

Chanjin Park , Chisu Wu, Seoul National University , Seoul, Korea

Euyseok Hong, Sungshin Women’s University, Seoul , Korea

 

Abstract

Layering reflects division of the software modules into layers and their relationships. The layered view of architecture is one of the most commonly used views in software architecture and properly layered systems have many good properties such as reusability and modifiability. Although many discussions about layered style have been done, few of them show how the design artifacts and source codes conform to constraints described in the layered view of architecture. This paper proposes the new relationship between sets of classes in object oriented design, called layer relationship, and shows how to concretize the relationship between layers in architecture into the constraint for design. The meaning of layer relationship is explained with examples from design patterns and Microsoft COM. Also, the prototype to check conformance is introduced and the architecture document of a open source software is compared with source codes developed by many international developers.

 

 

Title :

Change Management of XML-based Software Documents Using Sparse Version Stamps on Edges

 

Author & Affiliation

Geunduk Park , Chisu Wu, Seoul National University , Seoul , Korea

Woochang Shin, Seokyeong University , Seoul , Korea

Kapsoo Kim, Seoul National University of Education, Seoul , Korea

 

Abstract :

Various advantages of XML such as flexibility and interoperability have given rise to a steady increase in the number of software documents using XML, and this growth has in turn necessitated new methods for systematically managing massive XML-based documents.Unlike general documents of planar structure based on lines, documents in XML internally constitute a tree structure. Therefore, traditional version control techniques that recognize documents of planar structure are not suitable in handling hierarchically structured documents. This paper proposes a new way of managing changes made in structured documents. While being a timestamp-based approach, the proposed method has the characteristics of maintaining version stamps for edges, rather than nodes in the tree structure, and only assigning version stamps when they are required.

 

Title :

Integrated Requirements Analysis Method

 

Author & Affiliation

Jeongwook Kim, Sooyong Park , Jintae Kim, Eunmi Lee, Ohcheon Kwon,Gyusang Shin

 

Abstract :

In Requirements engineering process, requirements elicitation and analysis are very important task to develop software systems successfully. Even though various methods have been proposed including scenario based analysis, goal based analysis, and use case driven analysis, each method has their own strengths and weaknesses and do not support requirements elicitation and analysis efficiently. This paper proposes an integrated approach to compromise each method.  How each method can be performed and quality factors can be identified efficiently are discussed. It also shows how the proposed approach can be applied to Meeting Reservation System (MRS) development.

 

 

Title :

Scalable Element-Based Connector

 

Author & Affiliation

Tomas Bures, Frantisek Plasil

Charles University , Academy of Sciences of the Czech Republic

 

Abstract :

Connectors are used in component-based systems as first-class entities to abstract component interactions. In this paper, we propose a way to compose connectors by using fine-grained elements, each of them representing a single, well-defined function. We identify an experimentally proven set of connector elements, which, composed together, model four basic component interconnection types (procedure call, messaging, streaming, blackboard), and allow for connector variants to reflect distribution, security, fault-tolerance, etc. The presented results are based on a proof-of-the-concept implementation where connectors are semi-automatically generated.

 

Title :

A research on the confidence verification of KPA questionnaire itemsand the SPICE Level transformation model

 

Author & Affiliation

Kiwon Song, Jeonghwan Park ,  Kyungwhan Lee, Chung-Ang University, Korea

Jinsoo Kim, Konyang University , Korea

 

Abstract :

The requirement for improvement of the process of organization is recently increased in the project related to the software. This is aimed at increasing the capability of prediction and control possibility for the process of software in order to develop the high quality software, minimize the cost of operation, and reduce the time of product delivery. Therefore, we expect to have improvement in the chance of the level of process capability. The project management used by the quantitative model is required to approach the highest level as for the business.

We propose STM (SPICE Transformation Model), which transforms SPICE rating of levels into the scoring value in this paper. To construct STM, we calibrate the KPA maturity questionnaire, compare EPML of KPA with the EPML calculated by STM, and verify the confidence of KPA maturity questionnaire.

 

 

Title :

Why don’t we practice what we teach?

 

Author & Affilliation

Andre Oboler, David McG. Squire and Kevin B. Korb

Monash University , Australia

 

Abstract :

The development process used by academic researchers often seems unsystematic. A Software Development Life Cycle (SDLC) is seldom considered, commenting is scarce, and external documentation consists of erasure marks left on whiteboards. Configuration management is paid lip-service, but is not standard practice. This paper examines reasons behind the apparent large-scale non-adoption of software engineering in academic research. The effects where it was adopted are examined. Finally, we present an SDLC designed for the academic research environment.

 

Title :

A Technology-Centered Approach to Information Systems Development

 

Author & Affiliation

Maris Treimanis, University of Latvia, Latvia

 

 

Abstract :

Information Systems Technology (ISTechnology) is a technology-centered and meta-model based approach to information systems development.  The meta-model, the method and the tools for defining and enabling an organization’s technology are the main components of ISTechnology.  Predefined technological semantics (What?, Who?, When?, Where?, How?) are connected with meta-model entities and relations.  The ISTechnology methods and tools allow us to define the technology model of the organization, and they also ensure that people perform tasks in accordance with the model.  This paper mostly describes the ISTechnology meta-model. ISTechnology has been used widely every since 1996 to develop various kinds of MIS for banking and other sectors.

 

 

Title :

Goal Flow Diagram and the Bifurcation Process (GFD/BP)

 

 

Author & Affiliation

Joseph Wong, The Hong Kong Polytechnic University

 

 

 

Abstract :

A model for goals, called a goal flow diagram (GFD), has been proposed [1] with the aim to derive use cases.  Complementary goals define an area of interests that is called a “focus of interests” (FOI).  An FOI may be refined into lower-level FOIs.  When an FOI cannot be decomposed any further that FOI becomes a potential use case.  The same process can be applied to conflicting goals when a compromise cannot be reasonably found.  Conflicting goals define an area of conflicts that is called a “focus of conflicts” (FOC) [2].  This paper proposes a process for the decomposition and derivation of goal flow diagram primitives based on the principle of duality. 

 

 

Title :

A MVC Diagram—A Visualization Tool for the MVC Model

 

Author & Affiliation

Chong-wei Xu, Kennesaw State University

 

 

 

Abstract :

A MVC diagram has been developed as a visualization tool for the MVC model.  The MVC diagram can be used as a graphical language to assist the analysis and design of software systems, especially for Web applications.

 

 

Title :

Architecture based Software Reengineering Approach for Transforming from Legacy System to Component Based System through Applying Design Patterns

 

Author & Affiliation

Jung-Eun Cha, Chul-Hong Kim, Young-Jong Yang

Software Engineering Department, Electronics and Telecommunications Research Institute, Korea

 

Abstract :

In this paper, we suggest the architecture based reengineering approach using design patterns. A design pattern, as core element of software architecture, has integrated the concept of standardization about certain domain and expert experience into a set of related components that can perform specific functionality with better structure. We describe the reengineering process that defines a target architecture to be transformed by refining architecture information of legacy system extracted through domain analysis, identifies the reengineering patterns that are applicable in that architecture, and completes a target system by mapping identified reengineering pattern into target architecture. Also, we explain the Servlet2EJB project transforming servlet programs into EJB components as a case study for realizing our reengineering process

 

Title :

Shifting from an Vehicle-Structure based Development Process
to a Software Engineering based Development Process

 

Author & Affiliation

Falk Christoph, Robert Bosch AG, Vienna                                    Grechenig Thomas, Zuser Wolfgang, Vienna University

 

Abstract :

Modern diesel engines are controlled by electronic diesel engine control units (EDC). With the introduction of new exhaust gas laws, monitoring functions and vehicle convenience functions the complexity of the EDC raised. As distributed development and a software structure, which refers to the vehicle structures, were development- goals, the software layer concept and the CARTRONIC concept were introduced at Robert Bosch. This led to a structure which gives an overview over all electronic, mechanic, hydraulic and logic components of the car, which is base for the software architecture. This architecture supports the organisation of software modules to various files, where each file represents a component of the structure. As functions and control of a vehicle are redundantly distributed over several control units, which are connected via the CAN hardware interface, the implementation of CARTRONIC is in contradiction to the principles of software engineering design. Because of safety reasons information, which is received via the CAN interface has to be evaluated redundantly. A vision of the future is a realization of a software structure following to the paradigm of software engineering, where the disadvantages of the distributed software are eliminated.

 

 

Title :

A Generic Data Dispatcher for CORBA-based Applications

 

Author & Affiliation

Markus Aleksy, Ralf Gitzel, Martin Schader

University of Mannheim, Germany

 

Abstract :

In this paper we present a generic data dispatcher which can distribute data without any requirements with regard to the data format. Two major topics to be considered are determination of the actual message type and dynamic creation of sub-sequences which can be sent to different servers. An example based on the CORBA framework was implemented to prove the concept.