Systems engineering : a formal approach. Part V. Specification language

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

[1]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[2]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[3]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[4]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[5]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[6]  Wim H. Hesselink,et al.  Deadlock and Fairness in Morphisms of Transition Systems , 1988, Theor. Comput. Sci..

[7]  S. Spaccapietra.  Entity-relationship approach : ten years of experience in information modeling : proceedings of the Fifth International Conference on Entity-Relationship Approach, Dijon, France, November 17-19, 1986 , 1987 .

[8]  Alain Finkel,et al.  The Minimal Coverability Graph for Petri Nets , 1991, Applications and Theory of Petri Nets.

[9]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[10]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[11]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[12]  W.M.P. van der Aalst,et al.  Timed coloured Petri nets and their application to logistics , 1992 .

[13]  Charles W. Bachman,et al.  Data structure diagrams , 1969, DATB.

[14]  Michael A. Arbib,et al.  A mathematical theory of systems engineering: The elements , 1970 .

[15]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[16]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[17]  T. J. Teorey,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.

[18]  David A. Marca,et al.  SADT: structured analysis and design technique , 1987 .

[19]  Stefano Ceri,et al.  Distributed Databases: Principles and Systems , 1984 .

[20]  Peter Checkland,et al.  Systems Thinking, Systems Practice , 1981 .

[21]  Julius T. Tou,et al.  Information Systems , 1973, GI Jahrestagung.

[22]  Manuel Silva Suárez,et al.  Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows , 1991, Applications and Theory of Petri Nets.

[23]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[24]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[25]  Kees M. van Hee,et al.  Data, Process and Behaviour Modelling in an Integrated Specification Framework , 1991, DMIS.

[26]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[27]  Marco Ajmone Marsan,et al.  On Petri Nets with Stochastic Timing , 1985, PNPM.

[28]  van Hpj Rik Geldrop.  Deriving the Aho-Corasick algorithms : a case study into the synergy of programming methods , 1993 .

[29]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[30]  Joseph Sifakis.  Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

[31]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[32]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[33]  C. Petri.  Kommunikation mit Automaten , 1962 .

[34]  Göran Goldkuhl,et al.  Information Systems Development: A Systematic Approach , 1981 .

[35]  K. M. van Hee,et al.  Integration of a data model and high-level Petri nets , 1991 .

[36]  Edsger W. Dijkstra,et al.  Co-operating sequential processes , 1968 .

[37]  P. D. Moerland,et al.  Exercises in multiprogramming , 1993 .

[38]  Erik Poll,et al.  Some categorical properties for a model for second order lambda calculus with subtyping , 1991 .

[39]  Hugh Glaser,et al.  Principles of functional programming , 1984 .

[40]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[41]  Jan L. A. van de Snepscheut,et al.  Trace Theory and VLSJ Design , 1985, Lecture Notes in Computer Science.

[42]  Sidneyf Elder,et al.  ELEMENTS OF SET THEORY , 1995 .

[43]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[44]  Stewart Robinson,et al.  Simulation: A Statistical Perspective , 1993 .

[45]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[46]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[47]  John Wordsworth.  Software development with Z - a practical approach to formal methods in software engineering , 1992, International computer science series.

[48]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[49]  Gjpm Geert-Jan Houben,et al.  The GOOD based hypertext reference model , 1991 .

[50]  C. J. Date.  An Introduction to Database Systems, Volume II , 1980 .

[51]  Jan A. Bergstra,et al.  Axiomatizing Probabilistic Processes: ACP with Generative Probabilities , 1995, Inf. Comput..

[52]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[53]  Raffaele di Giovanni,et al.  HOOD and Z for the Development of Complex Software Systems , 1990, VDM Europe.

[54]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[55]  J. Meigs,et al.  WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[56]  Jan L. G. Dietz,et al.  Modeling of discrete dynamic systems-framework and examples , 1989, Inf. Syst..

[57]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[58]  C. J. Date.  An Introduction to Database Systems , 1975 .

[59]  Antoni W. Mazurkiewicz,et al.  Traces, Histories, Graphs: Instances of a Process Monoid , 1984, International Symposium on Mathematical Foundations of Computer Science.

[60]  Darrel C. Ince,et al.  Practical formal methods with VDM , 1991 .

[61]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[62]  Jos C. M. Baeten,et al.  A Congruence Theorem for Structured Operational Semantics with Predicates , 1993, CONCUR.

[63]  Kees M. van Hee,et al.  Executable Specifications for Distributed Information Systems , 1989, International Symposium on Combinatorial Optimization.

[64]  Wolfgang Reisig.  Place/Transition Systems , 1986, Advances in Petri Nets.

[65]  W.M.P. van der Aalst,et al.  The modelling and analysis of queueing systems with QNM-ExSpect , 1991 .

[66]  Jay R. Galbraith.  Designing Complex Organizations , 1973 .

[67]  Sheldon M. Ross,et al.  A Course in Simulation , 1990 .

[68]  Hank G. Sol,et al.  Dynamic Modelling of Information Systems , 1991 .

[69]  Joost-Pieter Katoen,et al.  Parallel programs for the recognition of P-invariant segments , 1991 .

[70]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[71]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[72]  Fairouz Kamareddine,et al.  Non well-foundedness and type freeness can unify the interpretation of functional application , 1992 .

[73]  Erol Gelenbe,et al.  Measuring, Modelling and Evaluating Computer Systems, Proceedings of the Third International Symposium, Bonn - Bad Godesberg, Germany, October 3-5, 1977 , 1977, Performance.

[74]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[75]  Paul J. Lewis,et al.  Information Systems Development: A Systematic Approach , 1994 .

[76]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[77]  D. Vere-Jones.  Markov Chains , 1972, Nature.

[78]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[79]  J. Davenport.  Editor , 1960 .

[80]  Kalle Lyytinen,et al.  Different perspectives on information systems: problems and solutions , 1987, CSUR.

[81]  S. Spaccapietra,et al.  An Algebra for a General Entity-Relationship Model , 1985, IEEE Transactions on Software Engineering.

[82]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[83]  A. W. Roscoe,et al.  A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..

[84]  C. J. Date.  An Introduction to Database Systems, Volume I, 5th Edition , 1986 .

[85]  Rüdiger Valk,et al.  Formal Properties of Place/Transition Nets , 1979, Advanced Course: Net Theory and Applications.

[86]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[87]  Simon Thompson,et al.  Type theory and functional programming , 1991, International computer science series.

[88]  W. T. Harwood,et al.  The specification of complex systems , 1986 .

[89]  Kees M. van Hee,et al.  Transforming Functional Database Schemes to Relational Representations , 1992, Specifications of Database Systems.

[90]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

[91]  Edward Yourdon,et al.  Object-oriented design , 1991, Yourdon Press Computing Series.

[92]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[93]  Horst F. Wedde,et al.  Analyzing Program Solutions of Coordination problems by CP-Nets , 1978, MFCS.

[94]  C. A. Petri.  Introduction to General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[95]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[96]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.

[97]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[98]  Peter Buneman,et al.  FQL: a functional query language , 1979, SIGMOD '79.

[99]  Naphtali Rishe.  Database design fundamentals , 1988 .

[100]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[101]  Kees M. van Hee,et al.  A Formal Framework for Dynamic modelling of Information Systems , 1990, DMIS.

[102]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[103]  van Km Kees Hee,et al.  Systems engineering : a formal approach. Part I. System concepts , 1993 .

[104]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[105]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[106]  Marc Gyssens,et al.  A graph-oriented object database model , 1990, IEEE Trans. Knowl. Data Eng..

[107]  E. F. Codd.  Data base management , 1975, AFIPS National Computer Conference.

[108]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[109]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[110]  René David,et al.  Autonomous And Timed Continous Petri Nets , 1991, Applications and Theory of Petri Nets.

[111]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[112]  Bertrand Meyer,et al.  Introduction to the Theory of Programming Languages , 1990 .

[113]  J. D. Johannes,et al.  Systems Simulation: The Art and Science , 1975, IEEE Transactions on Systems, Man, and Cybernetics.