{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:55:04Z","timestamp":1649094904897},"reference-count":66,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Semantic Computing"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p> New research activities sailing under the brands of semantic web, semantic web service, and semantic computing have extended, and partly also confused the classical meaning of the term semantics as the software engineering community established it in the last century. In this article we try to shed some light on the different connotations of meaning with this word. We reflect on the role of semantic definitions and formally defined specifications, modeling and programming languages in software engineering activities. We sketch formally defined construction and validation methods, and discuss contributions of tools that exploit semantic information to enhance the quality of software products and development processes. We explore recent work on the use of semantic computing technology in software engineering and discuss opportunities for successful future applications. We conclude with an outlook on the potential of service-oriented computing to change the way software applications are designed, laid out, delivered, and used. <\/jats:p>","DOI":"10.1142\/s1793351x09000641","type":"journal-article","created":{"date-parts":[[2009,7,14]],"date-time":"2009-07-14T01:49:05Z","timestamp":1247536145000},"page":"5-30","source":"Crossref","is-referenced-by-count":3,"title":["A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING"],"prefix":"10.1142","volume":"03","author":[{"given":"BERND J.","family":"KR\u00c4MER","sequence":"first","affiliation":[{"name":"Faculty of Mathematics and Computer Science, FernUniversit\u00e4t in Hagen, 58084 Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TIZIANA","family":"MARGARIA","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Universit\u00e4t Potsdam, August-Bebel-Strasse 89, 14482 Potsdam, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"A Software Process Model Handbook for Incorporating People's Capabilities","author":"Acuna S. T.","year":"2005"},{"key":"rf2","first-page":"509","volume":"27","author":"Akers S. B.","journal-title":"IEEE Transactions on Computers"},{"key":"rf3","volume-title":"An Introduction to Mathematical Logic and Type Theory: To Truth through Proof","author":"Andrews P. B.","year":"1986"},{"key":"rf4","first-page":"1257","volume":"11","author":"Balzer R.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1109\/32.21743"},{"key":"rf7","volume-title":"Algebraic Specification","author":"Bergstra J. A.","year":"1989"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17654-3"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_18"},{"key":"rf16","first-page":"677","volume":"35","author":"Bryant R. E.","journal-title":"IEEE Transactions on Computers"},{"key":"rf17","volume-title":"Parallel Program Design \u2014 A Foundation","author":"Chandy K. M.","year":"1988"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1109\/52.43044"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"rf21","doi-asserted-by":"crossref","unstructured":"R.\u00a0Cleaveland, J.\u00a0Parrow and B.\u00a0Steffen, The Concurrency Workbench, LNCS\u00a0407 (Springer, 1989)\u00a0pp. 24\u201337.","DOI":"10.1007\/3-540-52148-8_3"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58555-9_92"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(95)00071-2"},{"key":"rf27","volume-title":"OWL Web Ontology Language Reference","author":"Dean M.","year":"2004"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61629-2_43"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(82)80001-7"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2"},{"key":"rf38","first-page":"528","volume":"10","author":"Goguen J. A.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"rf39","unstructured":"J. A.\u00a0Goguen, Formal Descriptions of Programming Concepts (North-Holland, 1978)\u00a0pp. 491\u2013525."},{"key":"rf40","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663416"},{"key":"rf41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77966-7_3"},{"key":"rf42","first-page":"27","volume":"10","author":"Guttag J. V.","journal-title":"Acta Informatica"},{"key":"rf43","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"rf46","first-page":"169","volume":"11","author":"Hayes I.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"rf47","doi-asserted-by":"publisher","DOI":"10.1147\/rd.204.0302"},{"key":"rf48","first-page":"55","volume":"40","author":"Helbig J.","journal-title":"Computer"},{"key":"rf49","volume-title":"Applications of Formal Methods","author":"Hinchey M.","year":"1995"},{"key":"rf50","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985"},{"key":"rf51","doi-asserted-by":"crossref","unstructured":"K.\u00a0Jensen, Petri Nets: Central Models and Their Properties, LNCS\u00a0254 (Springer, 1986)\u00a0pp. 248\u2013299.","DOI":"10.1007\/978-3-540-47919-2_10"},{"key":"rf54","doi-asserted-by":"publisher","DOI":"10.1109\/52.210596"},{"key":"rf55","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.406"},{"key":"rf59","first-page":"543","volume":"19","author":"Kr\u00e4mer B. J.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"rf60","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6463-5"},{"key":"rf62","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0072-1"},{"key":"rf63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-71549-5"},{"key":"rf65","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007963427189"},{"key":"rf69","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.398"},{"key":"rf70","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"rf71","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.229776"},{"key":"rf72","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989"},{"key":"rf73","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"rf75","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008627026003"},{"key":"rf81","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89778-1"},{"key":"rf82","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45017-3_33"},{"key":"rf83","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.400"},{"key":"rf84","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541"},{"key":"rf87","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"rf89","first-page":"16","volume":"3","author":"Ross D. T.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"rf90","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1003450"},{"key":"rf93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24626-8_22"},{"key":"rf96","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"Spivey M.","year":"1989"},{"key":"rf97","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90003-8"},{"key":"rf98","volume":"28","author":"Steffen B.","journal-title":"ACM Computing Surveys"},{"key":"rf99","volume":"28","author":"Steffen B.","journal-title":"ACM Computing Surveys"},{"key":"rf100","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.386"},{"key":"rf103","volume-title":"The Specification of Computer Programs","author":"Turski W. M.","year":"1987"},{"key":"rf104","volume-title":"The Formal Description Technique LOTOS","author":"van Eijk P. H. J.","year":"1989"},{"key":"rf105","volume-title":"Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL","author":"V\u00f6lker N.","year":"1998"},{"key":"rf106","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(01)00028-4"},{"key":"rf110","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"}],"container-title":["International Journal of Semantic Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793351X09000641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:39:43Z","timestamp":1565141983000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793351X09000641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":66,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2009,3]]}},"alternative-id":["10.1142\/S1793351X09000641"],"URL":"https:\/\/doi.org\/10.1142\/s1793351x09000641","relation":{},"ISSN":["1793-351X","1793-7108"],"issn-type":[{"value":"1793-351X","type":"print"},{"value":"1793-7108","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}