{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T19:27:53Z","timestamp":1649186873498},"reference-count":21,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2003,12]]},"abstract":"<jats:p> Structuring media objects such as text or graphics by means of XML is a broadly discussed issue in hypermedia modelling. Thereby, an entire hypermedia document is not only arranged in such a way that different developers may interchange data and have easy access to the inner structure of media objects. Moreover, utilizing a given document structure to find new possibilities of linking documents is a major concern. Formal approaches, however, rarely appear in this context. In this paper, we contribute to formally structuring media objects and their linkage, thereby aiming at analyzing hyperlink structures. That is, properties of hyperlink structures such as reachability, existence of certain paths through a hyperdocument, or dangling links may be verified mathematically in advance of implementing the hyperdocument. Algebraic specifications serve as a formal model which allows to obtain algebras reflecting hyperlink structures and which is open to analyze their static properties. <\/jats:p>","DOI":"10.1142\/s0218194003001500","type":"journal-article","created":{"date-parts":[[2003,12,26]],"date-time":"2003-12-26T04:19:09Z","timestamp":1072412349000},"page":"655-684","source":"Crossref","is-referenced-by-count":0,"title":["TOWARDS THE ALGEBRAIC ANALYSIS OF HYPERLINK STRUCTURES"],"prefix":"10.1142","volume":"13","author":[{"given":"ALEXANDER","family":"FRONK","sequence":"first","affiliation":[{"name":"Software-Technology, University of Dortmund, 44221 Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752"},{"key":"rf3","first-page":"107","volume":"7","author":"Berghammer R.","journal-title":"Journal of Universal Computer Science"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(01)00163-3"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"rf7","volume-title":"XML \u2014 How to Program","author":"Deitel H. M.","year":"2001"},{"key":"rf8","first-page":"163","volume":"17","author":"Doberkat E.-E.","journal-title":"Software \u2014 Concepts and Tools"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-72087-1_23"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97986-6"},{"key":"rf12","first-page":"892","volume":"8","author":"Fronk A.","journal-title":"JUCS Special Issue: Hypermedia \u2014 State of the Art 2002"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4144-7"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1145\/175235.175237"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1335-9"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1145\/175235.175239"},{"key":"rf20","volume-title":"Hypermedia & the Web \u2014 An Engineering Approach","author":"Lowe D.","year":"1999"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61282-3_3"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1145\/125490.125495"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1145\/208344.208354"},{"key":"rf27","volume-title":"Understanding Hypertext: Concepts and Applications","author":"Seyer P.","year":"1991"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1145\/64789.64791"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1145\/267954.267955"},{"key":"rf30","doi-asserted-by":"crossref","unstructured":"M.\u00a0Wirsing, Handbook of Theoretical Computer Science, volume B: Formal Methods and Semantics, ed. J.\u00a0van Leeuwen (Elsevier, 1990)\u00a0pp. 675\u2013788.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194003001500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T12:14:02Z","timestamp":1565180042000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194003001500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":21,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2003,12]]}},"alternative-id":["10.1142\/S0218194003001500"],"URL":"https:\/\/doi.org\/10.1142\/s0218194003001500","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}