Abstract
The outlines of a method of system analysis and design particularly oriented to the problems of Public Administration Organizational Systems are presented. This method consider a system, at any level of abstraction, as composed by autonomous interacting processes and builds system models by means of Superposed Automata Nets, a subclass of Predicate Transition Nets.
In the system model the autonomy of each process and the interactions among processes are emphasized.
The organization is designed in several steps starting from the definition of the behaviour of the organization to be modelled (remodelled) up to its system architecture.
Since the net model of each level is not derived from the previous one, but it is constructed on the basis of some design choices in such a way that it satisfies the behavioural constraints defined by the previous one, the correctness of each step has to be verified by means of the observation equivalence notion, introduced by R. Milner for CCS.
The method is presented via the discussion of the problem study two.
The emphasis is placed on the contractual aspects in the system design process and on the observation equivalence between functional architecture and system architecture.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Batini C., V. De Antonellis, and A. Di Leva, (Ed.) (1981) Metodologia manuale DATAIDI descrizione sintetica. PFI-CNR Subproject P2.
Boyd D.L., and A. Pizzarello, (1978). Introduction to the WELLMADE design methodology IEEE Trans, on SW-Eng., SE-4 N. 4 276–282.
Brauer, W. (Ed.) (1980) Net Theory and Applications Lec.Not.Comp.Sc. 84 Springer-Verlag, Berlin Heidelberg New York.
De Cindio F., G. De Michelis, L. Pomello, and C. Simone (1981) Verso un modello dei sistemi di processi autonomi interagenti Atti AICA 2, 517–526, Pavia Italy.
De Cindio F., G. De Michelis, L. Pomello, and C. Simone (1982) Superposed Automata Nets Application and Theory of Petri Nets. In C. Girault, W. Reisig (Ed.) Springer Informatik-Fachberichte, 52, 269–279 Springer-Verlag, Berlin Heidelberg New York.
Genrich H.J., and K. Lautenbach (1981) System modeling with high-level Petri Nets Theor.Comp.Sc., 13, 109–136.
Milner R. (1980) A Calculus for Communicating Systems Lec.Not.Comp. Sc. 92 Springer-Verlag, Berlin Heidelberg New York.
Ross D.T., and K. E. Schomanjr (1977) Structured Analysis for requirements definition IEEE Trans, on SW-Eng. SE-3 N.1 6–5.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Cindio, F., De Michelis, G., Pomello, L., Simone, C. (1983). Real System Modeling: A Formal But Realistic Approach To Organizational Design. In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-69208-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12567-9
Online ISBN: 978-3-642-69208-6
eBook Packages: Springer Book Archive