In: Proc. Int. Symp. on Software Engineering for Parallel and Distributed Systems, 20-21 April 1998, Kyoto, Japan, pages 223-229. 1998.
Abstract: Reuse has long been recognized as a key technology that can bring about significant productivity gains in software development. Code-level reuse is well understood and frequently practiced. However, reuse in software requirements, another phase where much benefit could be expected, remains inadequately addressed. Hierarchical colored Petri net (HCPN) formalism has been successfully used on several large-scale industrial projects, and it includes features designed to enhance modularity and understandability of the model. Unfortunately, such features fall short of making HCPN reusable. This paper gives formal definitions of RCPN as a reuse extension to the HCPN. RCPN can reduce complexity and cost of modeling and analysis in requirement engineering phase and increase software development productivity. An application of RCPNs is demonstrated by showing how a RCPN component for water level monitoring system can be reused in a coffee vending machine model.
Keywords: colored Petri nets, hierarchical Petri nets, requirement engineering, requirement reuse, software requirements, software reuse.