IEEE Transactions on Software Engineering · 1991 · 39 citations · 30 references
EngineeringSystems EngineeringProcess DesignSystems ArchitectureSystems ModelingPetri NetsProcess ArchitectureProcess EngineeringProcess ModelingSoftware ModelingSoftware Process ModelsHigh-level Petri NetsPetri Net SemanticsProcess Architecture ModelingProcess DescriptionProcess Modeling LanguagesProcess RepresentationScenarios
The Prism model of engineering processes and an architecture which captures this model in its various components are described. The architecture has been designed to hold a product software process description the life-cycle of which is supported by an explicit representation of a higher-level (or meta) process description. The central part of this paper describes the nine-step Prism methodology for building and tailoring process models and gives several scenarios to support this description. In Prism, process models are built using a hybrid process modeling language that is based on a high-level Petri net formalism and rules. An important observation is that this environment should be seen as an infrastructure for carrying out the more difficult task of creating sound process models.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
30
Software processes are software too
Leon J. Osterweil · 1987 · 874 citations
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text
Dewayne E. Perry · 1989 · 147 citations