• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1193-1207
• /
• 2003

Various web applications are developed as the Internet is popularized in many fields. However, in most cases of web application development, systematic analysis is omitted and developers jump into the implementation. Therefore developers have difficulties with applying the development methods for a large scale project. The approach of creating an analysis models of a web application from a business model is proposed for the rapid and efficient development. The analysis process, tasks and techniques are proposed for this approach. The use case diagram and web page list are created from business modes that is depicted using the notation of UML activity diagram. The page diagram and logical / physical database models are created using the use case diagram and the web page list. These analysis models are refined during the detailed design phase. The efficiency of proposed method has been shown using a practical case study which reflects the development project of the web application for supporting the association of auto repair shops.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2072-2087
• /
• 1999

As software size ever increases and user's requirements become more and more sophisticated., the importance of software quality is more and more emphasized. However, we are not satisfied for the present techniques on detecting errors and checking consistency in the object-oriented design model. This paper proposes a systematic approach which produces implementable rules to detect errors and check consistency. At first, the meta-models for UML diagrams are constructed, generalized meta-rules are reduced from the meta-models, and then the meta-rules are applied to produce the implementable rules. This approach enables to pursue the completeness of the rules and the automation of rule application. An example of rule application shows the feasibility of the rule application.

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.186-200
• /
• 2006

Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sired industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

• Journal of Korea Spatial Information System Society
• /
• v.3 no.1 s.5
• /
• pp.5-16
• /
• 2001

ITS (Intelligent Transport System) has been developed into the full service leading to a new life style with the various services from private sector, which was intended to prevent the traffic accidents and to reduce the traffic jams. Since traveler-type components used in ITS services are not exclusively designed. but they can be one of the existing devices such as mobile phone, PDA, PC, KIOSK and etc. We need to consider that these devices are equipped to support ITS related services. Therefore, this study modeled, through UML, a framework of portable components based on the present national ITS architecture; the purpose being that private companies may be able to develop portable components with concepts of ITS services. The methodology of the modeling process we followed consisted of four steps: (1) analyzing service-related subsystems, (2) generalizing equipment-package and functional specifications. (3) describing information and function specific reference models, and (4) UML modeling of the reference model.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.9
• /
• pp.57-68
• /
• 2011

Self-healing is an approach to evaluating constraints defined in target system and to applying an appropriate strategy when violating the constrains. Today, the computing environment is very complex, so researches that endow a system with the self-healing's ability that recognizes problem arising in a target system are being an important issues. However, most of the existing researches are that self-healing developers need much effort and time to analyze and model constraints. Thus, in order to improve these problems, this paper proposes the method that automatically generates monitoring module by using UML models for self-healing. The approach proposes: 1) defining system knowledge required for self-healing from UML model, 2) process for generating monitor, by using monitor generated, and process for monitoring the problems. Through these, we can reduce the efforts of self-healing developers to analyze target system, and secure monitoring scope based on information of system knowledge. Also we can minimize the efforts to develop the monitoring environment automatically. to evaluate the proposed approach, we apply proposed approach to ATM prototype system for qualitative result, and perform quantitative evaluation through video conference system in our existing research.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.1
• /
• pp.191-203
• /
• 2009

To provide dynamic services for users in ubiquitous computing environments by considering context in real-time, in our previous work we proposed Metaservice concept, the description specification and the process for building a Metaservice library. However, our previous process generates separated models - UML, OWL, OWL-S based models - from each step, so it did not provide the established method for translation between models. Moreover, it premises aid of experts in various ontology languages, ontology editing tools and the proposed Metaservice specification. In this paper, we design the translation process from domain ontology in OWL to Metaservice Library in OWL-S and develop a visual tool in order to enable non-experts to generate consistent models and to construct a Metaservice library. The purpose of the Metaservice Library translation process is to maintain consistency in all models and to automatically generate OWL-S code for Metaservice library by integrating existing OWL model and Metaservice model.

• Journal of Internet Computing and Services
• /
• v.20 no.2
• /
• pp.69-76
• /
• 2019

Recent Enterprise System has component driven real-time distributed architecture (RDA) and this kind of architecture should performed with satisfying strict constraints on life cycle of object and response time such as synchronization, transaction and so on. Microsoft's .NET platform supports RDA and is able to implement services including before mentioned time restriction and security service by only specifying attribute code and maximizing advantages of OMG's Model Driven Architecture (MDA). In this study, a method to automatically generate an extended model of essential elements in an enterprise-system-based RDA as well as the platform specific model (PSM) for Microsoft's .NET platform are proposed. To realize these ideas, the functionalities that should be considered in enterprise system development are specified and defined in a meta-model and an extended UML profile. In addition, after defining the UML profile for .NET specification, these are developed and applied as plug-ins of the open source MDA tool, and extended models are automatically generated using this tool. Accordingly, by using the proposed specification technology, the profile and tools can easily and quickly generate a reusable extended model even without detailed coding-level information about the functionalities considered in the .NET platform and RDA.

• The Journal of Society for e-Business Studies
• /
• v.14 no.1
• /
• pp.35-56
• /
• 2009

Many process modeling techniques, such as Petri-net, UML Activity Diagram, and EPC, are used to design process models. In this paper, we analyze ubiquitous process design based on workflow patterns. In particular, we focus on process design using active rules that have the form of Event-Condition-Action, and deal with the WS-ECA language, which was devised for ubiquitous web services coordination. We first check whether workflow patterns can be designed with ECA rules, and we then provide WS-ECA representations for ECA rules of the patterns. The contribution of this paper is that ECA rule-based process models were presented based on workflow patterns and they can be a guideline for ubiquitous process modeling.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.792-799
• /
• 2003

As eTransformation and collaborative eCommerce have been on the rise, business processes between business partners are increasingly recognized as important assets that need to be integrated. These trends imply more complex and dynamic business processes should be considered in order to integrate related business organizations and business units. Moreover, these business processes are widely distributed across stakeholders. Therefore, there is a need for business process modeling that is usable, flexible and capable of integrating systems consistently across businesses and technology barriers. In this paper, a business process modeling methodology is introduced, which is based on top­do\W and model-driven approach utilizing OMG's MDA(Model-Driven Architecture) and UML profile for EDOC(Enterprise Distributed Object Computing). This provides the ability to model business process at all levels simultaneously, to combine business process models retaining their meaning, to use business process design patterns constraining the behavior of sub-processes, and to derive specific codes from a stable model as the underlying infrastructure shifts over time. In addition, we suggest some modifications of the meta-model for EDOC-Business Process Profile by adding new features in order to model business processes rigidly. This paper illustrates some examples of business process modeling and compares them with UML diagrams and IDEF models. The proposed methodology is implemented to develop a business process modeling tool.

• Journal of the Korea Society for Simulation
• /
• v.14 no.2
• /
• pp.57-71
• /
• 2005

A simulation for the analysis of the evasive capability of a conventional costal submarine against a light Anti-Submarine Warfare (ASW) torpedo has been studied. The Torpedo, Submarine Controller, Devoy, and Jammer models of this simulation are analysised and designed using Unified Modeling Language (UML) and in addition they are modeled Discrete Event System Specification (DEVS). We examine maximum speed, acceleration, countermeasure systems capabilities of a submarine, and sonar range of a torpedo as the factors which affect the evasive capability of the submarine. This paper shows the relationships between those various factors and the submarine's evasive capability as the outcome of the simulation. The simulation models can be applied for simulation based acquisition (SBA) of a submarine system.