• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.923-930
• /
• 2006

In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

• 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.

• Journal of Digital Contents Society
• /
• v.11 no.1
• /
• pp.25-38
• /
• 2010

There is no guideline or standard for the specification of the open-source-framework-based Spring AOP, and it causes confusion in development and maintenance. Moreover, the inconsistency between the existing MVC model, the AOP model that is used for Struts framework and the UML diagram makes the aspect reuse more difficult. In this study, a widened existing method was proposed so that Aspect, Pointcut and Advice could be expressed by either UML or XML to ensure that the Spring AOP can accept the combined use of the existing MVC model and the AOP model, which is used for Struts framework. Relationship was defined so that the mutual conversion could be possible with the proposed expression method, and the realization of simple development and maintenance was verified via the examples of mutual conversion. In addition, a packaging method to efficiently reuse aspect was proposed, and the possibility of reuse was verified.

• The KIPS Transactions:PartD
• /
• v.15D no.5
• /
• pp.629-646
• /
• 2008

Because most metricsin the literatures are described by a natural language, they can be interpreted in an ambigous manner. To cope with this problem, there are some researches to express based on Object Constraint Language(OCL). Because OCL has been proposed to describe structural constraintsfor Unified Modeling Language(UML) diagrams, it is difficult and awkward. In this paper, we propose Metric Description Language(MDL) which is a high level language to describe metrics. MDL supports a modular description of complex metrics, aggregation function, and automatic navigation between entities. Moreover, we develop MetriUs for describing metrics using MDL and supporting an automated computation for UML diagrams. In a case study, we have described a variety of existing metrics using MDL and found that MDL contributes to producing simpler expression of metrics than OCL.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• Journal of Digital Convergence
• /
• v.13 no.6
• /
• pp.165-175
• /
• 2015

Methods to design programs which implement IT systems have been developed in various forms from flowchart to activity diagram of UML. However, program design tools and methods developed so far have not been efficient comparing to program coding tools and methods. In addition, Program design methods and tools developed until now have been difficult to support the bidirectional conversion between program design and coding, and the improvement of development productivity and maintainability. Therefore, in this study, we propose Convergence Development Method to enable working with wide bandwidth through fusing the program design and coding phase by using SOC and supporting tool named SETL which automatizes the convergence of design and coding. Thus, by using SETL, it is expected that the efficiency gap between the program design and coding phase is reduced, and development productivity and maintainability is increased. key words.

• Journal of Convergence Society for SMB
• /
• v.2 no.1
• /
• pp.33-40
• /
• 2012

Recently, embedded environment suffers a huge change, by growth of hardware and turning to be software-controlled. This has improved embedded software complexity. It also brought us the limit of the old development way to resolve the problem. Model-driven development is one solution to solve the limit common software development by previous way, and it became a one uses for embedded environment also. In this paper, we propose model based development approach for embedded software, witch consists of diagram editor and automatic code generator. The diagram editors are implemented by GMF, which include additional functions to solve memory restrictions and concurrent execution problems without OS environment to a automatic code generator. In order to verify the generated code, it will be tested in main control model of UAV by replacing existing module with generated one.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.165-166
• /
• 2012

The School Management Information System (SMIS) is important to accomplish educational mission. To reach the goal, it is necessary to know the rules, culture of school and related data prior to building the SMIS. This study is related with an attempt to develop the SMIS in Indonesian case. There are more than 240 million inhabitants in 33 provinces, and only six official religions which are recognized by the Indonesian government. Based on National Education Standards, the EPC diagram in the ARIS tool is used to design the process of the SMIS. For the implementation of the SMIS, the Use Case diagram and Sequence diagram are constructed by Together 2008.

• Journal of Digital Contents Society
• /
• v.8 no.3
• /
• pp.269-277
• /
• 2007

Web service is an important technology to develop business to business e-commerce application. From a business perspective of time to market, dynamic evolution offers flexibility that software can adapt to unforeseen and fluctuating business requirements. OWL-S, based on OWL, is a service ontology language. The semantics provided by OWL support automation of service discovery, invocation, and service composition. In this paper we propose a framework to support dynamic evolution of service-oriented applications. We extend use-case analysis method to derive service description by defining requirements concept and mapping from requirement concept to activity diagram. A prototype is provided to show the validity of this framework.

• IE interfaces
• /
• v.15 no.1
• /
• pp.10-19
• /
• 2002

New trends such as electronic commerce, virtual organizations, e-business applications, etc. increase the dependence of production management on information software systems and contribute to the needs for global, distributed object systems. This paper presents a component based approach for production management systems under the multi-tier distributed information system architecture using UML(Unified Modeling Language), CORBA(Common Object Request Broker Architecture) and XML(eXtensible Markup Language) technologies, and propose rules for mapping a UML class diagram to a XML DTD (Document Type Definition). And we adapt it to the prototype system implementation. The components are implemented by CORBA and we use XML messages for the information exchange between components.