Abstract
With the rapidly growing complexity of software systems, systems engineers and users are often confronted with a constantly increasing variety of software tools which have to be integrated and operated. Since most systems offer no or little support for these tasks they have to be handled by well-trained specialists. This is a serious bottleneck limiting the advantages of those systems.
This paper deals with aspects of systems modeling and process control supporting both system engineers and end-users. We introduce a modeling method for the control and data flow within software systems (e.g. CAD frameworks), which is powerful enough to capture both the static and dynamic properties of the system and yet is easy to understand by its users. An adequate model of the system is crucial for providing intelligent user support. We will describe how such a model can be automatically translated into rules controlling the execution of the system, thus relieving the user from having to supervise all the actions by him/herself.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
F. Bretschneider, H. Lagger, and B. Schulz. 1989. Infrastructure for Complex Systems-CAD Frameworks. In Computer Aided Systems Theory — EUROCAST '89, eds. F. Pichler and R. Moreno-Diaz, 125–133. Lecture Notes in Computer Science 410, Berlin: Springer-Verlag.
F. Bretschneider, C. Kopf, H. Lagger, A. Hsu, E. Wei. 1990. Knowledge Based Design Flow Management. In ICCAD-90: Digest of Technical Papers, 350–353. Washington: IEEE Computer Science Press.
G. Genrich, 1987. Predicate / Transition Nets. In Petri-Nets: Central Models and their Properties, eds. W. Brauer, W. Reisig, G. Rozenberg, 207–247, Lecture Notes in Computer Science 254. Berlin: Springer-Verlag.
G. Rozenberg, P.S. Thiagarajan. 1986. Petri Nets: Basic Notations, Structure and Behavior. In Petri Nets, 585–668. Lecture Notes in Computer Science 224, Berlin: Springer-Verlag.
G. Musgrave. 1989: FEL-Editor Version 7.65S, Users Manual., Frontend Ltd., Brunel University, Uxbridge.
C. Forgy. 1989: OPS83 User's Manual and Report. Production Systems Technologies, Inc.
A. Hsu, L. Hsu. 1987: HILDA: An Integrated System Design Environment. Proc. of ICCD, pp. 398–402.
M. L. Bushnell. 1988: Automated Full-Custom VLSI Layout Using the ULYSSES Design Environment. Academic Press, 1988.
M. L. Bushnell, S. W. Director. 1989: Automated Design Tool Execution in the ULYSSES Design Environment. In IEEE Transaction on Computer Aided Design, Vol.8, No.3, pp.279–287.
J. Daniell, S. W. Director. 1989: An Object Oriented Approach to CAD Tool Control within a Design Framework. In Proc. of 26th DAC, pp. 197–202.
A. Casotto, A.R. Newton, A. Sangiovanni-Vincentelli. 1990: Design Management Based on Design Traces. In Proc. of DAC, pp.136–141.
N. Vidovic et al. 1989: Towards a Consistent View of the Design Tools and Process in Distributed Problem Solving Environments. 22nd Hawaii Int'l Conf. on System Sciences.
C.A.Petri. 1962: Kommunikation mit Automaten. In Schriften des Institutes für instrumenteile Mathematik, Bonn.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kopf, C., Bretschneider, F. (1992). Systems modeling and process control. In: Pichler, F., Díaz, R.M. (eds) Computer Aided Systems Theory — EUROCAST '91. EUROCAST 1991. Lecture Notes in Computer Science, vol 585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021020
Download citation
DOI: https://doi.org/10.1007/BFb0021020
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55354-0
Online ISBN: 978-3-540-47034-2
eBook Packages: Springer Book Archive