
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
G. Lausen, "Modeling and Analysis of the Behavior of Information Systems," IEEE Transactions on Software Engineering, vol. 14, no. 11, pp. 16101620, November, 1988.  
BibTex  x  
@article{ 10.1109/32.9049, author = {G. Lausen}, title = {Modeling and Analysis of the Behavior of Information Systems}, journal ={IEEE Transactions on Software Engineering}, volume = {14}, number = {11}, issn = {00985589}, year = {1988}, pages = {16101620}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.9049}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Modeling and Analysis of the Behavior of Information Systems IS  11 SN  00985589 SP1610 EP1620 EPD  16101620 A1  G. Lausen, PY  1988 KW  information systems; specification techniques; Petri net; data abstractions; information flows; semantic hierarchy data model; behavior constraints; data structures; flowcharting; formal specification; Petri nets VL  14 JA  IEEE Transactions on Software Engineering ER   
Many widely used specification techniques for information systems are based on a hierarchy of information flow diagrams. A method is introduced which preserves the benefits of these techniques and adds the precision of the Petri net formalism. Informationflow diagram hierarchies are formalized by notions of net theory. The bottomlevel nets of a hierarchy are treated as Petri nets. The behavior model of the information system is the Petri net derived by repeatedly replacing each part of a net by its associated refinement. As a prerequisite for such replacements, the data abstractions relation information flows of different level are specified by a semantic hierarchy data model. The nets in the hierarchy are appended by dynamic counterparts of the abstractions so that a consistent replacement becomes possible. The interface behavior of the nets in the hierarchy is analyzed, using the concept of behavior constraints as a formal measure of correct interface behavior. The behavior model can be derived in an iterative bottomup way by first analyzing a net for fulfillment of its associated behavior constraint and afterward integrating it into the nexthigherlevel net.
[1] P. Atzeniet al., "A computer aided tool for conceptual data base design," inProc. IFIP WG 8.1 Working Conf. Automated Tools for Information Systems Design and Development. Amsterdam, The Netherlands: NorthHolland, 1982, pp. 85106.
[2] H. Balzert, "Die Entwicklung van Software systemen, "BiWissenschaftsverlag, 1982 (in German).
[3] G. Bracchi and B. Pernici, "The design requirements for office systems,"ACM Trans. Office Inform. Syst., vol. 2, no. 2, pp. 151170, 1984.
[4] W. Brauer, Ed.Net Theory and Applications(Lecture Notes in Computer Science, vol. 84). Berlin: SpringerVerlag, 1980.
[5] M. L. Brodie, "Association: A database abstraction for semantic modelling," inProc. 2nd Int. EntityRelationship Conf., Amsterdam, The Netherlands: NorthHolland, 1981.
[6] F. De Cindio, G. De Michelis, L. Pomelto, and C. Simone, "Equivalence notions for concurrent systems," inInformatik Fachberichte 66. Berlin: SpringerVerlag, 1983, pp. 2939.
[7] T. W. Olle, H. G. Sol, and A. A. Verrijn Stuart, Eds.,Information Systems Design Methodologies: A Comparative Review. Amsterdam, The Netherlands: NorthHolland, 1983.
[8] H. Genrich and K. Lautenbach, "System modelling with high level Petri nets,"Theoretical Comput. Sci., vol. 13, pp. 109136, 1981.
[9] H. Genrich and E. StankiewiczWiechno, "A dictionary of some basic notions of net theory," inNet Theory and Application(Lecture Notes in Computer Science, vol. 84). Berlin: SpringerVerlag, 1980, pp. 519535.
[10] M. Hammer, and D. McLeod, "The semantic data model: A modelling mechanism for database applications," inProc. ACM SIGMOD Conf., 1978.
[11] C. A. Heuser and G. Richter, "On the relationship between conceptual schemata and integrity constraints on databases," inProc. IFIP TC2 Working Conf. on Database Semantics. Amsterdam, The Netherlands: NorthHolland, 1985, pp. 2740.
[12] S. R. Kosaragu, "Decidability of reachability in vector addition systems, inProc. 14th Annu ACM Symp. Theory of Computing, 1982, pp. 267281.
[13] G. Lausen, "Conceptual modelling based on net refinements," inProc. IFIP TC2 Working Conf. Database Semantics. Amsterdam, The Netherlands: NorthHolland, 1985, pp. 4158.
[14] G. Lausen, "Grundlagen einer netzorientierten Vorgehensweise für den konzeptuellen Datenbankentwurf," Univ. Kalsruhe, 1985.
[15] M. Lundeberg, "The ISAC approach to specification of information systems," inInformation Systems Design Methodologies: A Comparative Review. Amsterdam, The Netherlands: NorthHolland, 1982, pp. 173234.
[16] A. Oberweis and G. Lausen, "Temporal aspects in office information systems," inProc. IFIP TC 8 Working Conf. Office Systems: Methods and Tools. Amsterdam, The Netherlands: NorthHolland, 1987.
[17] R. Milner,A Calculus of Communicating Systems (Lecture Notes in Computer Science 92). New York: SpringerVerlag, 1980.
[18] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: PrenticeHall, 1981.
[19] W. Reisig, "Zur verwendung von Petri NetzMorphismen bei der Systemkonstruktion," inProc. Formale Modelle far Informationssysteme, Informatik Fachberichte, 21. Berlin: SpringerVerlag, 1979, pp. 220235 (in German).
[20] W. Reisig,Systementwurf mit Netzen. Berlin: SpringerVerlag, 1985 (in German).
[21] D. T. Ross, "Structured analysis (SA): A language for communicating ideas,"IEEE Trans. Software Eng., vol. SE3, no. 1, pp. 16 34, 1977.
[22] G. Richter, "Clocks and their use for time modelling," inProc. IFIP TC 8.1 Working Conf. Theoretical and Formal Aspects of Information Systems. Amsterdam, The Netherlands: NorthHolland, 1985, pp. 4966.
[23] G. Richter and R. Durchholz, "IML inscribed highlevel Petri nets," inInformation Systems Design Methodologies: A Comparative Review. Amsterdam, The Netherlands: NorthHolland, 1982, pp. 335 368.
[24] C. Rolland and C. Richard, "The Remora methodology for information systems design and management," inInformation Systems Design Methodologies: A Comparative Review. Amsterdam, The Netherlands: NorthHolland, 1982, pp. 369426.
[25] U. Schiel, "An abstract introduction to the temporalhierarchic data model (THM)," inProc. Int. Conf. Very Large Databases, 1983, pp. 322330.
[26] A. Solvberg, "A draft proposal for integrating system specification models," inInformation Systems Design Methodologies: A Comparative Review. Amsterdam, The Netherlands: NorthHolland, 1982, pp. 475535.
[27] H. Sakai and H. Horiuchi, "A method for behaviour modelling in data oriented approach to systems design," inProc. Int. Conf. Data Engineering (COMPDEC), 1984, pp. 492499.
[28] R. Studer and A. Horndasch, "Modelling static and dynamic aspects of information systems," inProc. IFIP TC2 Working Conf. Database Semantics. Amsterdam, The Netherlands: NorthHolland, 1985, pp. 1326.
[29] A. Solvberg and C. H. Kung, "On structural and behaviour modelling of reality," inProc. IFIP TC2 Working Conf. Database Semantics. Amsterdam, The Netherlands: NorthHolland, 1985, pp. 205 222.
[30] I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets,"J. Comput. Syst. Sci., vol. 27, 1983, pp. 136141.
[31] J.M. Smith and D.C.P. Smith, "Database Abstractions: Aggregation and Generalization,"ACM Trans. Database Sys., June 1977, pp. 105133.
[32] D. Tsichritzis, "Objectworld," inOffice Automation. Berlin: SpringerVerlag, 1985, pp. 379398.
[33] K. Voss, "Nets as a consistent formal tool for the stepwise design and verification of a distribution system," inProc. IFIP TC 8 Working Conf. Evolutionary Information Systems. Amsterdam, The Netherlands: NorthHolland, 1981, pp. 173191.