{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:40:09Z","timestamp":1767339609071},"reference-count":70,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0950-5849(98)00078-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:22:55Z","timestamp":1027624975000},"page":"519-540","source":"Crossref","is-referenced-by-count":28,"title":["How to formalize it?"],"prefix":"10.1016","volume":"40","author":[{"given":"A.H.M.","family":"ter Hofstede","sequence":"first","affiliation":[]},{"given":"H.A.","family":"Proper","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(98)00078-0_BIB1","unstructured":"C.B. Jones, Systematic Software Development using VDM, Prentice-Hall, Englewood Cliffs, NJ, 1986."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB2","unstructured":"J.M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge, 1988."},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB3","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1049\/sej.1989.0004","article-title":"Justification of formal methods for system specification","volume":"4","author":"Cohen","year":"1989","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB4","unstructured":"C. Sernadas, J. Fiadeiro, R. Meersman, A. Sernadas, Proof-theoretic conceptual modelling: the NIAM case study. in: E.D. Falkenberg, P. Lindgreen (Eds.), Information System Concepts: An In-depth Analysis, North-Holland\/IFIP, Amsterdam, 1989, pp. 1\u201330."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB5","doi-asserted-by":"crossref","unstructured":"J.A. Hall, Seven myths of formal methods, IEEE Software (September 1990) 11\u201319.","DOI":"10.1109\/52.57887"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB6","unstructured":"U. Hohenstein, G. Engels, Formal semantics of an entity\u2013relationship-based query language, in: Proceedings of the Ninth International Conference on the Entity\u2013Relationship Approach, Lausanne, Switzerland, October 1990."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB7","doi-asserted-by":"crossref","unstructured":"J.P. Bowen, M.G. Hinchey. Seven more myths of formal methods. IEEE Software (July 1995) 34\u201341.","DOI":"10.1109\/52.391826"},{"issue":"3","key":"10.1016\/S0950-5849(98)00078-0_BIB8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/85.397057","article-title":"The automation of proof: a historical and sociological exploration","volume":"17","author":"MacKenzie","year":"1995","journal-title":"Annals of the History of Computing"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB9","unstructured":"G. Polya, How to Solve It: A New Aspect of Mathematical Method, 2nd edn, Princeton University Press, Princeton, NJ, 1957."},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB10","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0950-5849(92)90094-6","article-title":"Formalisation of techniques: chopping down the methodology jungle","volume":"34","author":"ter Hofstede","year":"1992","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB11","unstructured":"J.J. van Griethuysen (Ed.), Concepts and Terminology for the Conceptual Schema and the Information Base, Publ. nr. ISO\/TC97\/SC5\/WG3-N695, ANSI, New York, 1982."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB12","unstructured":"B. Meyer, Introduction to the Theory of Programming Languages, Prentice-Hall, Englewood Cliffs, NJ, 1990."},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity\u2013relationship model: toward a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB14","unstructured":"T.A. Halpin, Conceptual Schema and Relational Database Design, 2nd edn, Prentice-Hall, Sydney, Australia, 1995."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB15","unstructured":"M. Barr, C. Wells, Category Theory for Computing Science, Prentice-Hall, Englewood Cliffs, NJ, 1990."},{"issue":"4","key":"10.1016\/S0950-5849(98)00078-0_BIB16","first-page":"271","article-title":"Prolog, theoretical basis and current developments","volume":"2","author":"Colmerauer","year":"1983","journal-title":"TSI (Technology and Science of Informatics)"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB17","unstructured":"A. Galton, Temporal Logics and their Applications, Academic Press, New York, 1987."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB18","doi-asserted-by":"crossref","unstructured":"D. Harel, First-Order Dynamic Logic, vol. 68 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB19","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge University Press, Cambridge, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB20","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB21","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB22","doi-asserted-by":"crossref","unstructured":"K. Lautenbach, Linear algebraic techniques for Place\/TRansition nets, in: W. Brauer, W. Reisig, G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1987, pp. 142\u2013167.","DOI":"10.1007\/978-3-540-47919-2_7"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB23","unstructured":"T. DeMarco, Structured Analysis and System Specification, Prentice-Hall, Englewood Cliffs, NJ, 1978."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB24","unstructured":"A.H.M. ter Hofstede, M.E. Orlowska. On the complexity of some verification problems in process control specifications, Technical Report #2\/97, Faculty of Information Technology, Queensland University of Technology, Brisbane, April 1997."},{"issue":"5","key":"10.1016\/S0950-5849(98)00078-0_BIB25","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/0306-4379(91)90037-A","article-title":"Semantics and verification of object-role models","volume":"16","author":"van Bommel","year":"1991","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB26","unstructured":"Th. Scheurer, Foundations of Computing: Systems Development with Set Theory and Logic, Addison-Wesley, Wokingham, 1994."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB27","unstructured":"P.W.G. Bots, An environment to support problem solving, PhD thesis, Delft University of Technology, Delft, 1989."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB28","doi-asserted-by":"crossref","unstructured":"G.M. Wijers, H. Heijes, Automated support of the modelling process: a view based on experiments with expert information engineers, in: B. Steinholz, A. S\u00f8lvberg, L. Bergman (Eds.), Proceedings of the Second Nordic Conference CAiSE'90 on Advanced Information Systems Engineering, vol. 436 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1990, pp. 88\u2013108.","DOI":"10.1007\/BFb0000588"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB29","unstructured":"G.M. Wijers, A.H.M. ter Hofstede, N.E. van Oosterom, Representation of information modelling knowledge, in: V.-P. Tahvanainen, K. Lyytinen (Eds.), Next Generation CASE Tools, vol. 3 of Studies in Computer and Communication Systems, IOS Press, 1992, pp. 167\u2013223."},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB30","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1049\/sej.1993.0003","article-title":"Task structure semantics through process algebra","volume":"8","author":"ter Hofstede","year":"1993","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB31","unstructured":"J.L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB32","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB33","unstructured":"C.A. Petri, Kommunikation mit Automaten, PhD thesis, University of Bonn, 1962 (in German)."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB34","unstructured":"A.M. Davis, Software Requirements: Analysis & Specification, Prentice-Hall, Englewood Cliffs, NJ, 1990."},{"issue":"8","key":"10.1016\/S0950-5849(98)00078-0_BIB35","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1002\/spe.4380210806","article-title":"A methodology for constructing predicate transition net specifications","volume":"21","author":"He","year":"1991","journal-title":"Software Practice & Experience"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB36","doi-asserted-by":"crossref","unstructured":"H. Genrich, Predicate\/transition nets, in: W. Brauer, W. Reisig, G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1987, pp. 207\u2013247.","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB37","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri nets, in: W. Brauer, W. Reisig, G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1987, pp. 248\u2013299.","DOI":"10.1007\/978-3-540-47919-2_10"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB38","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri nets: a high level language for system design and analysis, in: G. Rozenberg (Ed.), Advances in Petri Nets 1990, vol. 483 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1991, pp. 342\u2013416.","DOI":"10.1007\/3-540-53863-1_31"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB39","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten (Ed.), Applications of Process Algebra, Cambridge University Press, Cambridge, 1990.","DOI":"10.1017\/CBO9780511608841"},{"issue":"3","key":"10.1016\/S0950-5849(98)00078-0_BIB40","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","article-title":"Branching time and abstraction in bisimulation semantics","volume":"43","author":"van Glabbeek","year":"1996","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB41","unstructured":"D. Edmond, Information Modeling: Specification & Implementation, Prentice Hall, Englewood Cliffs, NJ, 1992."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB42","unstructured":"G.M. Wijers, Modelling support in information systems development, PhD thesis, Delft University of Technology, Delft, 1991."},{"issue":"3","key":"10.1016\/S0950-5849(98)00078-0_BIB43","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/S0169-023X(97)00032-3","article-title":"Verification problems in conceptual workflow specifications","volume":"24","author":"ter Hofstede","year":"1998","journal-title":"Data & Knowledge Engineering"},{"issue":"2","key":"10.1016\/S0950-5849(98)00078-0_BIB44","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0169-023X(96)00039-0","article-title":"Formalization of communication and behaviour in object-oriented analysis","volume":"23","author":"Hubbers","year":"1997","journal-title":"Data & Knowledge Engineering"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB45","unstructured":"T.A. Halpin, A logical analysis of information systems: static aspects of the data-oriented perspective, PhD thesis, University of Queensland, Brisbane, 1989."},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB46","first-page":"136","article-title":"Conceptual schema optimization","volume":"12","author":"Halpin","year":"1990","journal-title":"Australian Computer Science Communications"},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB47","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0169-023X(93)90020-P","article-title":"Expressiveness in conceptual data modelling","volume":"10","author":"ter Hofstede","year":"1993","journal-title":"Data & Knowledge Engineering"},{"issue":"3","key":"10.1016\/S0950-5849(98)00078-0_BIB48","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0306-4379(95)00010-2","article-title":"A unifying object role modelling approach","volume":"20","author":"Bronts","year":"1995","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB49","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0169-023X(95)00005-D","article-title":"Subtyping and polymorphism in object-role modelling","volume":"15","author":"Halpin","year":"1995","journal-title":"Data & Knowledge Engineering"},{"issue":"2","key":"10.1016\/S0950-5849(98)00078-0_BIB50","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0169-023X(95)00043-R","article-title":"A generic model for 3-dimensional conceptual modelling","volume":"20","author":"Creasy","year":"1996","journal-title":"Data & Knowledge Engineering"},{"issue":"3","key":"10.1016\/S0950-5849(98)00078-0_BIB51","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1093\/comjnl\/39.3.215","article-title":"Conceptual data modeling from a categorical perspective","volume":"39","author":"ter Hofstede","year":"1996","journal-title":"The Computer Journal"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB52","unstructured":"O.M.F. De Troyer, On data schema transformations, PhD thesis, University of Tilburg (K.U.B.), Tilburg, 1993."},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB53","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-023X(95)00045-T","article-title":"A formalization of the binary object-role model based on logic","volume":"19","author":"De Troyer","year":"1996","journal-title":"Data & Knowledge Engineering"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB54","doi-asserted-by":"crossref","unstructured":"T.A. Halpin, A fact-oriented approach to schema transformation, in: B. Thalheim, J. Demetrovics, H.-D. Gerhardt (Eds.), MFDBS 91, vol. 495 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1991, pp. 342\u2013356.","DOI":"10.1007\/3-540-54009-1_24"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB55","unstructured":"A. Bloesch, Signed tableaux \u2014 a basis for automated theorem proving in nonclassical logics, PhD thesis, University of Queensland, Brisbane, 1993."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB56","unstructured":"D. Maier, The Theory of Relational Databases, Computer Science Press, Rockville, MD, 1988."},{"issue":"6","key":"10.1016\/S0950-5849(98)00078-0_BIB57","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB58","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Notes on an approach to category theory for computer scientists, in: M. Broy (Ed.), Constructive Methods in Computing Science, vol. 55 of NATO Advanced Science Institute Series, Springer-Verlag, Berlin, 1989, pp. 245\u2013305.","DOI":"10.1007\/978-3-642-74884-4_9"},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB59","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","article-title":"A categorical manifesto","volume":"1","author":"Goguen","year":"1991","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB60","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0950-5849(96)01112-3","article-title":"A unifying framework for conceptual data modelling concepts","volume":"39","author":"Frederiks","year":"1997","journal-title":"Information and Software Technology"},{"issue":"1","key":"10.1016\/S0950-5849(98)00078-0_BIB61","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1051\/ita\/1996300100311","article-title":"A category theory approach to conceptual data modeling","volume":"30","author":"Lippe","year":"1996","journal-title":"RAIRO Theoretical Informatics and Applications"},{"issue":"12","key":"10.1016\/S0950-5849(98)00078-0_BIB62","doi-asserted-by":"crossref","first-page":"927","DOI":"10.1007\/s002360050112","article-title":"Applications of a categorical framework for conceptual data modeling","volume":"34","author":"ter Hofstede","year":"1997","journal-title":"Acta Informatica"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB63","unstructured":"A. Siebes, On complex objects, PhD thesis, University of Twente, Enschede, 1990."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB64","unstructured":"C. Tuijn, Data modeling from a categorical perspective, PhD thesis, University of Antwerp, Antwerp, 1994."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB65","doi-asserted-by":"crossref","unstructured":"T.A. Halpin, J.I. McCormack, Automated validation of conceptual schema constraints, in: P. Loucopoulos (Ed.), Proceedings of the Fourth International Conference CAiSE'92 on Advanced Information Systems Engineering, vol. 593 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1992, pp. 364\u2013377.","DOI":"10.1007\/BFb0035147"},{"issue":"2","key":"10.1016\/S0950-5849(98)00078-0_BIB66","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1093\/comjnl\/35.2.148","article-title":"Uniquest: determining the semantics of complex uniqueness constraints","volume":"35","author":"van der Weide","year":"1992","journal-title":"The Computer Journal"},{"issue":"7","key":"10.1016\/S0950-5849(98)00078-0_BIB67","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1016\/0306-4379(93)90004-K","article-title":"Formal definition of a conceptual language for the description and manipulation of information models","volume":"18","author":"ter Hofstede","year":"1993","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(98)00078-0_BIB68","unstructured":"C.A.R. Hoare, Unified Theories of Programming, Oxford University Computing Laboratory, Oxford, 1994."},{"key":"10.1016\/S0950-5849(98)00078-0_BIB69","unstructured":"C.A.R. Hoare, Mathematical Models for Computing Science, Oxford University Computing Laboratory, Oxford, 1994."},{"issue":"2","key":"10.1016\/S0950-5849(98)00078-0_BIB70","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0020-0190(93)90219-Y","article-title":"From algebra to operational semantics","volume":"45","author":"Jifeng","year":"1993","journal-title":"Information Processing Letters"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000780?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000780?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T05:04:54Z","timestamp":1579064694000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584998000780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":70,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0950584998000780"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(98)00078-0","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}