A model for representing the design of a distributed software system and a design procedure are suggested. The model is based on a modified form of Petri net and the modification is made based on the desirable features of software blueprints. It enables one to represent the static structure and the dynamic behavior of the modeled system at a desired level of design. The model emphasizes hierarchical component structure, explicit representation of data flow, the incorporation of the concepts of system design such as abstraction, elaboration, and functional decomposition, and especially the representation of the design of the interaction between components.
분산 소프트웨어 시스템의 설계를 표현하는 모형과 설계 절차를 제시하였다. 이 모형은 변형된 페트리 네트에 근거를 두었다.
변형된 페트리 네트는 Control State Descriptors, Data Objects(transferred, shared), 그리고 Components(active, passive, interaction agent)의 집합으로 구성되며 제어정보의 흐름은 control transfer specification에 의해 표현된다.
이 모형은 modeled system의 정적구조와 동적특성을 원하는 설계 단계에서 나타낼 수 있다. 그리고 추상화(abstraction), 기능적 분해 (functional decomposition), module화 등과 같은 시스템 설계의 근대적 개념의 도입, 계층적 구조, 자료 흐름의 표현을 강조하였으며 특히 소프트웨어 부품간의 통신 설계의 표현에 중점을 두었다.