{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:59:13Z","timestamp":1725487153720},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429593"},{"type":"electronic","value":"9783540456544"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45654-6_22","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:21:19Z","timestamp":1184602879000},"page":"270-284","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory"],"prefix":"10.1007","author":[{"given":"Lina","family":"Garc\u00eda-Cabrera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Jos\u00e9","family":"Rodr\u00edguez-F\u00f3rtiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Parets-Llorca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,8]]},"reference":[{"key":"22_CR1","unstructured":"Bush, V.: As We May Think, The Atlantic Monthly, July (1945) 176, 101\u2013108. [On-line] \n                      http:\/\/www.isg.sfu.ca\/ duchier\/misc\/vbush\/\n                      \n                    ."},{"issue":"n.7","key":"22_CR2","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1145\/48511.48515","volume":"31","author":"B. Campbell","year":"1988","unstructured":"Campbell, B., Goodman, J.M.: HAM: A general purpose Hypertext Abstract Machine, CACM, Vol. 31, n.7, July (1988) 856\u2013861.","journal-title":"CACM"},{"key":"22_CR3","unstructured":"De Bra, P., Houben, G.J., Kornatzky, Y.: An Extensible Data Model for Hyperdocuments, 4th ACM Conference on Hypertext, Milan, December (1992) 222\u2013231."},{"key":"22_CR4","unstructured":"Furuta R., Stotts, P.D.: The Trellis Hypertext Reference Model, NIST Hypertext Standardization Workshop, February (1990) 83\u201393."},{"key":"22_CR5","first-page":"29","volume-title":"The 1st International Conference on Web Information Systems Engineering, Workshop on WWW Semantics","author":"L. Garc\u00eda-Cabrera","year":"2000","unstructured":"Garc\u00eda-Cabrera, L., Parets-Llorca, J.: A Cognitive Model for Adaptive Hypermedia Systems. The 1st International Conference on Web Information Systems Engineering, Workshop on WWW Semantics. IEEE Press. Hong-Kong, China, June (2000) 29\u201333."},{"key":"22_CR6","first-page":"5","volume-title":"5th European Conference on Software Maintenance and Reengineering, Workshop on FFSE","author":"L. Garc\u00eda-Cabrera","year":"2001","unstructured":"Garc\u00eda-Cabrera, L., Rodr\u00edguez-F\u00f3rtiz, M. Jos\u00e9, Parets-Llorca, J.: Formal Foundations for the Evolution of Hypermedia Systems. 5th European Conference on Software Maintenance and Reengineering, Workshop on FFSE. IEEE Press. Lisbon, Portugal, March (2001) 5\u201312."},{"key":"22_CR7","unstructured":"Halasz, F., Schwartz, M.: The Dexter Hypertext Reference Model, NIST Hypertext Standardization Workshop, February (1990) 95\u2013133."},{"key":"22_CR8","unstructured":"Lange, D.B.: A Formal Model of Hypertext, NIST Hypertext Standardization Workshop, February (1990) 145\u2013166."},{"key":"22_CR9","volume-title":"Th\u00e9orie de la mod\u00e9lisation","author":"J.-L. Moigne Le","year":"1990","unstructured":"Le Moigne, J-L.; La th\u00e9orie du syst\u00e9me g\u00e9n\u00e9ral. Th\u00e9orie de la mod\u00e9lisation. Paris. Presse Universitaires de France (1990)."},{"issue":"3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1109\/69.224194","volume":"5","author":"C. Lin","year":"1993","unstructured":"Lin, C.; Chaudhury, A.; Whinston, A. B.; Marinescu, D. C.: Logical Inference of Horn Clauses in Petri Net Models. IEEE Transactions on Knowledge and Data Engineering, vol 5,3. (1993) 416\u2013425.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Parets, J.; Torres, J.C. 1996. Software Maintenance versus Software Evolution: an Approach to Software Systems Evolution. IEEE Symposium and Workshop on Engineering of Computer Based-Systems (ECB.96). Friedrichshafen, Germany, March (1996) 134\u2013141.","DOI":"10.1109\/ECBS.1996.494521"},{"issue":"n.1","key":"22_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/151480.151521","volume":"11","author":"J. L. Schnase","year":"1993","unstructured":"Schnase, J. L., Leggett, J.J, Hicks, D.L., Szabo, R. L.: Semantic Data Modelling of Hypermedia Associations. ACM Transactions on Information Systems, Vol. 11, n.1, January (1993) 27\u201350.","journal-title":"ACM Transactions on Information Systems"},{"issue":"n.2","key":"22_CR13","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1017\/S089006040000192X","volume":"11","author":"F.M. Shipman III","year":"1997","unstructured":"Shipman III, F.M., McCall, R. J.: Integrating Different Perspectives on Design Rationale: Supporting the Emergence of Design Rationale form Design Communication. Artificial Intelligence in Engineering Design, Analysis, and Manufacturing (AIEDAM), Vol. 11, n.2, April (1997) 141\u2013154.","journal-title":"Artificial Intelligence in Engineering Design, Analysis, and Manufacturing (AIEDAM)"},{"key":"22_CR14","volume-title":"The Morgan Kaufmann Series in Representation and Reasoning","author":"J. F. Sowa De","year":"1991","unstructured":"Sowa, J. F., De: Principles of Semantic Networks: Explorations in the Representation of Knowledge. The Morgan Kaufmann Series in Representation and Reasoning. San Mateo, California, Morgan Kaufmann (1991)."},{"key":"22_CR15","unstructured":"Rodriguez-Fortiz, M.J, Parets Llorca, J.: Using Predicate Temporal Logic and Coloured Petri Nets to specifying integrity restrictions in the structural evolution of temporal active systems. ISPSE 2000. International Symposium on Principles of Software Evolution. Kanazawa, Japan, November (2000) 81\u201385."},{"issue":"n. 1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/267954.267955","volume":"16","author":"P.D. Stotts","year":"1998","unstructured":"Stotts, P.D., Furuta, R., Ruiz-Cabarrus, C.: Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. ACM TOIS, Vol. 16, n. 1, January (1998) 1\u201330.","journal-title":"ACM TOIS"},{"key":"22_CR17","unstructured":"Uschold, M.: Ontologies: Principles, Methods and Applications. Knowledge Engineering Review, vol. 11, n. 2, June (1996)."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45654-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T23:43:28Z","timestamp":1558482208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45654-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429593","9783540456544"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45654-6_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"8 February 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}