Abstract
A multiparadigm approach for representing system development processes is proposed. High-level Petri nets are used for representing knowledge about activity coordination. The intuitive visual representation of Petri nets as well as associated formal techniques for validation of important process properties support the establishment and maintenance of coordination structures. Specifications of tasks are the building blocks of the process description. Individual tasks associated with Petri net transitions are specified by a set of rules. These rules guarantee the flexibility for updating task specifications to fit to new situations. They support the evolution of process descriptions and allow improvement of the process while it is being performed. On the realization level a high-level Petri net-simulator serves as a distributed inference engine for the rules that are associated with the transitions. The process description relies on the expressive power of an object oriented data model.
Preview
Unable to display preview. Download preview PDF.
References
V. Ambriola, P. Ciancarini and C. Montangero. Software Process Enactment in Oikos. In 4th ACM SIGSOFT Symposium on software Development Environments, pp. 183–192, December 1990.
R. Balzer. Tolerating Inconsistency. ICSE 13 Austin, Texas, Mai 1991.
S. Bandinelli, A. Fugetta, C. Ghezzi SLANG Solution for the ISPW-7 Software Process Example.
N.S. Barghouti, G.E. Kaiser. Modeling Concurrency in Rule-based Development Environments. IEEE Expert, pp. 15–27, December 1990.
N.S. Barghouti, G.E. Kaiser. Scaling up Rule-based Software Development Environments. International Journal on Software Engineering, Vol 2(2).
L. Cardelli A Semantics of Multiple Inheritance. Springer Verlag, LNCS-173, 1984.
R. Gladbeek, U. Goltz Refinement of Actions in Causality Based Models, GMD-Arbeitspapiere 428, 1990.
V. Gruhn. The Software Process Management Environment MELMAC. First European Workshop on Software Process Modeling, Milan (Italy), May 1991.
Y. Han, K.L. Paap, and B. Klaassen. Circuit simulation and its parallel acceleration. In Edwards, D.A. (Eds.): Design Methodologies for VLSI and Computer Architecture. Amsterdam: North-Holand, 1988.
U. Huebner, U. Glaeser and H.T. Vierhaus Mixed Level Hierarchical Test Generation for Transition Faults and Ocurrent Related Defects IEEE Int. Test Conf. 1992, Baltimore.
K. Jensen and G. Rozenberg (Eds.) High-level Petri Nets. Theory and Application. IEEE Springer-Verlag, Berlin Heidelberg 1991.
G.E. Kaiser, P.H. Feiler, and S.S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software, 40–49, May 1988.
M.I. Kellner, P.H. Feiler, A. Finkelstein, T. Katayama, L.J. Osterweil, M.H. Penedo, and H.D. Rombach. ISPW-6 Software Process Example. In Procs. of the First International Conference on the Software Process, 176–186, Redondo Beach, California, October 1991.
B. KrÄmer. Concepts, Syntax and Semantics of SEGRAS — A Specification Language for Distributed Systems. Oldenbourg Verlag, München, Wien, 1989.
B. KrÄmer and Luqi. Petri net-based models of software engineering processes. In Procs. of the 23-rd HICSS, volume II, pp. 104–112, January 1990.
B. KrÄmer and H.W. Schmidt. Object-oriented development of integrated programming environments with ASDL. IEEE Software, 98–107, January 1989.
KrÄmer, B., Schmidt, H.-W.: Architecture and functionality of a specification environment for distributed systems. In: Knafl, G. (ed.): Procs. compsac 90, pp. 617–622. Los Alamitos: Computer Society Press 1990
W. Meyer, H.T. Vierhaus. Switch-Level Fault Simulation for Non-Trivial Faults Based on Abstract Data Types Proceedings IEEE CompEuro'91, Bologna, 1991.
R. Milner. A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.
T. Murata and D. Zhang. A predicatetransition net model for parallel interpretation of logic programs. IEEE Transactions on Software Engineering, 481–497, April 1988.
B. Peuschel, W. Schaefer, S. Wolf. Merlin: A knowledge-based Software Development Environment. International Journal on Software Engineering, Vol 2(2).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoffmann, C., KrÄmer, B., Dinler, B. (1992). Multiparadigm description of system development processes. In: Derniame, JC. (eds) Software Process Technology. EWSPT 1992. Lecture Notes in Computer Science, vol 635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017511
Download citation
DOI: https://doi.org/10.1007/BFb0017511
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55928-3
Online ISBN: 978-3-540-47310-7
eBook Packages: Springer Book Archive