• Journal of Information Processing Systems
• /
• v.2 no.2
• /
• pp.114-123
• /
• 2006

We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atomic services and their properties such as IOPE from the UML class diagram, and retrieve information related to the composition of services from the UML state-chart diagram. Then, the XSLT applications utilize the acquired information to generate the OWL-S service model ontology through the predefined mappings between OWL-S constructs for composite services and UML state-chart primitives. For the justification of generated service ontology, several validation checks are performed. Our service ontology generation method is general and fully automatic, as well as effective, in that it is achieved in an environment familiar to developers, and information needed to generate service ontology is provided necessarily during service development. It is also noticeable to facilitate representing the condition with GUI rather than a complex language such as OCL.

• Annual Conference of KIPS
• /
• 2002.11c
• /
• pp.2007-2010
• /
• 2002

본 연구는 UML(Unified Modeling Language) 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검증하는 방법에 관한 연구이다. 일관성은 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 사용자가 작성한 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 정확성을 검증하기 위해서는 관계를 가지는 다이어그램들의 관계요소를 파악할 필요가 있다. 메타모델을 유도한 후에는 각 메타모델을 기초로 일관성 및 정확성 검증 규칙을 유도해 내고 검증의 자동화를 위하여 정형적 명세로 표현한다. 본 연구에서는 다이어그램별로 작성한 메타모델에서 규칙을 유도하고 그러한 규칙을 OCL(Obiect Constraint Language) 형태로 표현하여 검증하는 방법을 제안한다.

• Annual Conference of KIPS
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.2
• /
• pp.117-125
• /
• 2014

The EtherCAT protocol has become a very promising alternative for real-time industrial application due to its ability to eliminate uncertainties in the Ethernet. However, the extended markup language (XML) for the EtherCAT network system, which is required in the design, lacks systematic development to take advantage of model transformation techniques. This paper focuses on the system development procedure of the EtherCAT-based encoder system using the CANopen over EtherCAT (CoE) protocol. UML modeling is being adapted to design for XML of EtherCAT-based encoder system. To this purpose, this paper analyzes the object dictionary (OD) of a commercial encoder and CANopen over EtherCAT. A UML diagram is then designed based on the analysis, and XML is generated through the designed UML diagram. Finally, an experimental test_bed for the EtherCAT-based encoder system is implemented and its performance is compared with a commercial encoder.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• Journal of information and communication convergence engineering
• /
• v.9 no.1
• /
• pp.21-26
• /
• 2011

In this paper, we suggest the object-oriented methodology for the design and implementation scheme for the program development in the application of control and instrumentation such as the detection system of RFID defective tags which needs the embedded programming. We apply the design methodology of UML in the system design phase, and suggest the implementation scheme of LabVIEW programs using LVOOP(LabVIEW Object Oriented Programming)in which make it possible to write the object-oriented programming. We design the class diagram and the sequence diagram using UML, and write the classes of LVOOP from the designed class diagram and the main VI from the sequence diagram, respectively. We show that it is possible to develop the embedded programs such as the RFID application through the implementation example of the detection system of RFID defective tags in this paper. And, we obtain the advantages based on the object-oriented design and implementation using the LVOOP approach such as the development of LabVIEW programs by adding the classes and the concept of object of the object-oriented language to LabVIEW.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.161-171
• /
• 2005

SMIL(Synchronized Multimedia Integration Language) allows multimedia objects into a synchronized multimedia presentation. In this paper, I propose modeling rules, formal models, modeling function and an algorithm for SMIL documents using use case diagram and sequence diagram of UML(Unified Modeling Language)to Develop for SMIL Documents Editor. It will be used the use case diagram and collaboration diagram for object-oriented visualizing tool to describe the temporal behavior of the presentation. The main contribution of this paper is that developers of SMIL documents editor easily generate them using this rules and algorithm. And, the formal models and modeling functions provide an environment for processing object-oriented. documents.

• The Journal of Society for e-Business Studies
• /
• v.9 no.1
• /
• pp.1-19
• /
• 2004

The systematic testing is frequently regretted in recent web applications because of time and cost pressure. Moreover developers have difficulties with applying the traditional testing techniques to testing web application. The approach of creating test cases for a web application from a sequence model is proposed for the rapid and efficient testing. Test cases for web application are extracted from call messages (including self-call messages) of UML (Unified Modeling Language) sequence diagram. A test case consists of messages, script functions, or server pages and additional values. Moreover a simple testing tool for web application is proposed. A URL for testing web application is created and executed by this testing tool. The URL consists of server page address and additional values. This test tool is made using Microsoft Visual Basic. The efficiency of proposed method and tool has been shown using a practical case study which reflects the development project of the web application for supporting member management.

• International Journal of Computer Science & Network Security
• /
• v.21 no.5
• /
• pp.139-150
• /
• 2021

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and methods (actions). The modeled systems are not even necessarily software systems: They can be human and artificial systems of many different kinds (e.g., teaching and learning systems). The UML class diagram is described as a central component of model-driven software development. It is the most common diagram in object-oriented models and used to model the static design view of a system. Objects both carry data and execute actions. According to some authorities in modeling, a certain degree of difficulty exists in understanding the semantics of these notions in UML class diagrams. Some researchers claim class diagrams have limited use for conceptual analysis and that they are best used for logical design. Performing conceptual analysis should not concern the ways facts are grouped into structures. Whether a fact will end up in the design as an attribute is not a conceptual issue. UML leads to drilling down into physical design details (e.g., private/public attributes, encapsulated operations, and navigating direction of an association). This paper is a venture to further the understanding of object-orientated concepts as exemplified in UML with the aim of developing a broad comprehension of conceptual modeling fundamentals. Thinging machine (TM) modeling is a new modeling language employed in such an undertaking. TM modeling interlaces structure (components) and actionality where actions infiltrate the attributes as much as the classes. Although space limitations affect some aspects of the class diagram, the concluding assessment of this study reveals the class description is a kind of shorthand for a richer sematic TM construct.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.172-174
• /
• 2003

최근 XML 문서가 급증함에 따라 웹-기반 XML 응용 문서의 중요성이 많이 부각되고 있는 실정이다. 웹-기반 XML 응용 문서 중 대표적인 예로 OSD가 있다. OSD는 소프트웨어 패키지와 그들 간의 관계를 정의하는 것이다. UML은 객체지향 표준 모델링 방법으로 객체지향 코드 생성이나 데이터베이스 스키마 생성을 용이하게 해주는 표기법이다. 따라서, 본 연구는 XMI를 이용하여 OSD로 부터 UML 클래스 다이어그램을 생성하는 시스템을 구현한다. 본 연구의 의의는 향후 늘어나는 웹 기반 XML 응용인 OSD의 표준 모델링 방법을 제안함으로써 객체지향 문서 관리의 기반이 되도록 한다.