Sisi in the ALPS: A Simple Simulation and Verification Approach for PASS

Abstract

Originally developed as a simple static computation tool (Simple Sim - SiSi), in this paper we describe the principle behind a pragmatic approach that is not only practical for simple calculation of lead times for process models in Abstract Layered PASS (ALPS), but also can serve as tool of structural soundness verification for the distributed and somewhat fractured descriptions of this subject-oriented process modeling language. It is the foundation for the first deployed tool that can handle soundness verification all of PASS including the multi-subject construct.