• International Journal of Computer Science & Network Security
• /
• v.23 no.5
• /
• pp.21-32
• /
• 2023

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.2
• /
• pp.244-251
• /
• 2020

This paper presents a design of the Meta-Class Repository (MCR) which maintain syntactically analyzed and structured meta-class information from UML diagrams, and then proposes 'meta-class,' also known as super-class, to construct structured information analyzed syntactically. The MCR is a collection of these meta-classes which contains the information extracted from diagrams. This paper also presents a design of the Code Generation Engine (CGE) which roles generating codes corresponding classes from UML diagrams based on the MCR maintaining a collection of meta-classes which is syntactically-analyzed and constructed in previous process. The logics of CGE are designed to generate codes collaborated with MCR and CGE with integration. The logics of CGE mechanism is presented with the form of finite state machine to present the algorithms of code generation formally and have the advantages of simplicity and easiness in development.

• Journal of Korea Multimedia Society
• /
• v.12 no.10
• /
• pp.1436-1449
• /
• 2009

The value of sensing information is decided according to positions of sensor nodes, which are very important in sensor networks. In this paper, we propose a method that estimates positions of nodes by using adjacent node information and received signal strength in a sensor network. With the proposed method, we can find positions of nodes easily because we use information that nodes have. Moreover, we can find distribution easily for all the nodes because we can measure a relative position for a node whose position is not known based on anchor nodes whose positions are already known. We utilized Use case diagram, activity diagram and State machine diagram among several diagrams of UML to implement proposed method in sensor networks that is dynamic system. We can understand exact flow for each function of the proposed method in node position estimation system can be implemented easily. And we can be confirmed that the position of estimated nodes has a little error.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.233-240
• /
• 2021

The majority of the Web's success can be related to its productivity and flexibility. Web Services (WSs) have the means to create new patterns for the delivery of software capabilities. The WS easily provides the use of existing components available via the Internet. WSs are a new trend that shares ubiquitous systems with others, so the popularity of the Web is increased day by day with their associated systems. This paper will explore and adopt the possibility of developing a technique that will automate instructors' scheduling of timetables within a Web services environment. This technique has an advantage that facilitates users to reduce the time cost and effort by reducing errors and costs for institutes. Providing dependable tables to avoid mistakes related to instituting schedules is ensured by an automated repetitive manual procedure. Automated systems are increasingly developed based on organizations and their customers. Still, the setting's difficulty of automation systems increases to rise as the system architecture and applications must accomplish various requirements and specifications of ever-demanding project scenarios. The automation system is composed of an operating system, platforms, devices, machines, control system, and information technology. This architecture provides more productivity and optimized services. The main purpose of this paper is to apply an automation system to enhance both quality and productivity. This paper also covers an agile method of proving an automation system by Finite State Machine (FSM) and Attributed Graph Grammar (AGG) tool.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.340-342
• /
• 2005

임베디드 소프트웨어의 적용영역이 확장됨에 따라 학계와 업계에서 임베디드 소프트웨어 개발 기술에 대한 관심이 고조되고 있다. UML 2.0은 산업체에서 많이 사용되는 모델링 언어로, 그 동안 현장에서는 주로 상태머신 다이어그램(State Machine Diagrams)을 사용하여 임베디드 소프트웨어의 동적 행위를 모델링하여 왔다. 그러나 모델러는 상태머신 다이어그램보다 시퀀스 다이어그램(Sequence Diagrams)을 선호하는데, 이는 시퀀스 다이어그램을 사용하는 것이 직관적이고 정확한 행위 모델을 개발할 수 있기 때문이다. UML 2.0이 최근 다양한 모델링 요소를 반영하도록 확장되었음에도 불구하고, 시퀀스 다이어그램을 사용하여 임베디드 소프트웨어를 모델링을 하기에는 아직 부족한 점이 있다. 이를 보완하고, 임베디드 소프트웨어를 더욱 잘 디자인하기 위하여 예외 상황과 인터럽트를 처리할 수 있는 방법을 제안한다.

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

UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링 하는데 유용하게 사용된다. 워크플로우 모델링은 이해하기 쉽고. 작업하기 쉬운 보편성을 갖고 있도록 개발되어져야 한다. 또한 모델링을 하는 기법 자체에는 정형적인 의미를 내포하고 있어야 하며 분석이 가능해야 한다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(Abstract State Machine) 시멘틱을 이용하여 액티비티 다이어그램 기반의 워크플로우 모델링에 대한 시멘틱 표현을 제안한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱 표현을 통하여 보다 효율적인 워크플로우 모델링이 가능하다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• Journal of Korean Institute of Industrial Engineers
• /
• v.41 no.1
• /
• pp.34-42
• /
• 2015

Modeling and control of human-involved manufacturing systems poses a huge challenge on how to model all possible interactions among system components within the time and space dimensions. As the manufacturing environment are getting complicated, the importance of human in the manufacturing system is getting more and more spotlighted to incorporate the manufacturing flexibility. This paper presents a formal modeling methodology of affordance-based MPSG (Message-based Part State Graph) for a human-machine collaboration system incorporating supervisory control scheme for flexible manufacturing systems in automotive industry. Basically, we intend to extend the existing model of affordance-based MPSG to the real industrial application of humanmachine cooperative environments. The suggested extension with the real industrial example is illustrated in three steps; first, the manufacturing process and relevant data are analyzed in perspectives of MABA-MABA and the supervisory control; second, the manufacturing processes and task allocation between human and machine are mapped onto the concept of MABA-MABA; and the last, the affordance-based MPSG of humanmachine collaboration for the manufacturing process is presented with UMLs for verification.