Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Min, Hyun-Seok | - |
dc.contributor.author | Chung, Sang-Mun | - |
dc.contributor.author | Choi, Jin-Young | - |
dc.date.accessioned | 2021-09-06T11:38:35Z | - |
dc.date.available | 2021-09-06T11:38:35Z | - |
dc.date.created | 2021-06-14 | - |
dc.date.issued | 2013 | - |
dc.identifier.issn | 0948-695X | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/106570 | - |
dc.description.abstract | Traditionally, System Analysis and Software Design are treated as separate processes. Software Design is based on System Analysis but they have little direct relationship to each other. UML (Unified Modeling Language) is widely accepted by industry as the de facto standard for System Analysis and Software Design. The primary tool for System Analysis is the Use Case Diagram and its Scenarios, while the primary tools for Software Design are the Class Diagram and Sequence Diagram. State Machine Diagram is also very useful for behavioral modeling. Our aim is to derive system behavior from software design, so that separate processes can work together. This paper suggests how to make a system-wide State Machine Diagram by gathering State Machine Diagrams in the system using predefined Stereotypes and Synchronization/Externalization. The resulting system-wide State Machine Diagram can be used for various things, such as automatic test case generation for the system, deadlock detection, and Use Case scenario consistency checking. The proposed method is applied to the Missile project of ADD (Agency for Defense Development) in South Korea. The result is very promising. It is expected to be applied to more projects. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM | - |
dc.subject | GENERATION | - |
dc.title | Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Choi, Jin-Young | - |
dc.identifier.scopusid | 2-s2.0-84875686539 | - |
dc.identifier.wosid | 000322547200004 | - |
dc.identifier.bibliographicCitation | JOURNAL OF UNIVERSAL COMPUTER SCIENCE, v.19, no.1, pp.53 - 77 | - |
dc.relation.isPartOf | JOURNAL OF UNIVERSAL COMPUTER SCIENCE | - |
dc.citation.title | JOURNAL OF UNIVERSAL COMPUTER SCIENCE | - |
dc.citation.volume | 19 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 53 | - |
dc.citation.endPage | 77 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Theory & Methods | - |
dc.subject.keywordPlus | GENERATION | - |
dc.subject.keywordAuthor | System | - |
dc.subject.keywordAuthor | UML | - |
dc.subject.keywordAuthor | State Machine Diagram | - |
dc.subject.keywordAuthor | Test | - |
dc.subject.keywordAuthor | Deadlock | - |
dc.subject.keywordAuthor | Consistency | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.