Abstract
of Papers Presented
|
Title: |
Modeling Dynamic Role-based Access Constraints using UML |
|
Author & Affiliation: |
Khaled Alghathbar, Duminda Wijesekera |
|
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
|
|
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 , Hae-Sool Yang, Young-Kyu Kang, |
|
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 |
|
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, |
|
Title: |
Workload
Metrics Based on Instruction Grouping |
|
Author & Affiliation: |
Carl Herder and Jozo J. Dujmović |
|
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, Woochang
Shin, University, |
|
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, Mahmood
Bahar, John F. Young, |
|
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, |
|
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, Catholic |
|
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, |
|
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, Mayumi Miyazaki, Nagoya
Institute of Nobuhiro
Ito, Nagoya Institute of Naohiro
Ishii , Aichi Institute of |
|
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 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 , 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 |
|
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 |
|
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, |
|
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, |
|
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 |
|
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, Byungjeong Lee, Euyseok Hong, Sungshin Women’s University, |
|
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 |
Sun-Myung Hwang, |
|
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, Pascale Minet , Domaine
de Voluceau, Laurent George, |
|
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 |
|
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, Peraphon Sophatsathit,
William R. Edwards, The |
|
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 : |
|
|
Author & Affiliation |
|
|
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 |
Euyseok Hong, Sungshin Women’s University, |
|
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 |
Woochang Shin, Kapsoo Kim, |
|
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 : |
|
|
Author & Affiliation |
Jeongwook
Kim, |
|
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 : |
|
|
Author & Affiliation |
Tomas Bures, Frantisek Plasil |
|
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 |
|
|
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 ma |
|
Title : |
Why don’t we practice what we
teach?
|
|
Author & Affilliation |
Andre Oboler, David McG. Squire and
Kevin B. Korb |
|
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 : |
|
|
Author & Affiliation |
Maris
Treimanis, |
|
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 |
|
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 : |
|
|
Author & Affiliation |
Chong-wei Xu,
|
|
Abstract : |
|
|
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, |
|
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 |
|
Author & Affiliation |
Falk Christoph,
Robert Bosch
AG, |
|
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 |
|
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. |