A software development support tool for developing softwares of concurrent systems is suggested and implemented.
For this purpose LSS(Life Cycle Support System) generator approach is combined with the restricted form of the modified Petri net.
Using an LSS generator ISLDM/SEM, a specification tool is generated whose underlying methodology is the modified Petri net. To achieve this, it is necessary to see the modified Petri net in the point of Entity-Relationship view which is the basic model of LSS generator approach. The specification in the developed system description language is checked against incompleteness, inconsistency, and ambiguity.
Petri net structures are extracted from the database in modified form. Then they are fed into the analyzer tool. The analyzer converts modifications into equivalent original Petri net structures and checks dynamic behaviors of the modeled system using the concept of the reachability tree.
同時修行 시스템(Concurrent System)은 相互 排除 (Mutual Exclusion), 交錯 (Deadlock), 프로세스의 同期化 (Synchronization of Processes)의 固有한 問題들을 가지며 그 特徵들 때문에 시스템의 模型設立 및 分析, 設計가 어렵다.
이에 同時修行 시스템의 模型 設立, 設計에 있어서 유용한 방법론인 페트리 네트(Petri Net)와 소프트웨어 開發支援 시스템 (Software Development Support System)의 生成을 部分的으로 實現시킨 壽命週期 支援시스템 生成 接近法 (Life Cycle Support System Generator Approach)을 結合하여 同時修行 시스템 開發 支援 道具를 提案하고 實現시켰다.
그것은 明細(Specification) 및 分析 (Analysis) 道具로 구성된다. 明細道具는 壽命週期 支援 시스템 生成 소프트웨어인 ISLDM/SEM을 이용하여 修正된 페트리 네트를 基本模型으로 生成된다. 이를 위해서 壽命週期 支援 시스템 生成接近法의 기초 모형인 개체-관계 (Entity-Relationship) 모델의 觀點으로 修正된 페트리 네트를 轉換시키는 것이 필요하다. 이 明細道具에 의한 시스템 명세는 데이타베이스에 저장되고 저장된 명세는 ISLDM/SEM 시스템이 提供하는 分析 機能에 의하여 그 完全性(Completeness), 一貫性 (Consistency), 明瞭性(Unambiguous-ness)이 檢討된다.
分析 道具는 旣存의 페트리 네트 分析理論인 接近可能性 나무 (Reachability Tree) 理論을 바탕으로 實現되었다. 이 道具는 데이타베이스에 貯藏된 明細로부터 抽出된 靜的구조를 入力으로 받아 시스템 設計의 動的 特性들을 接近 가능성 나무 槪念을 利用하여 밝혀 준다.