{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T00:24:06Z","timestamp":1648945446997},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2008,5]]},"abstract":"<jats:p> The process notion is central in computing. Business processes and workflow processes are essential elements of software systems implementations. Processes are connected to notions of interaction and composition. The Web Services Framework as a development and deployment platform for services is based on the assembly of interacting processes as the compositional paradigm. Service-based software development on and for the Web platform embracing the philosophy of discovering and using third-party services makes a shared knowledge representation framework necessary. We develop a semantical and ontological framework for service process composition. We propose a framework for the compositional definition of Web services based on the \u03c0-calculus to define protocol-like restrictions on service interactions and based on description logic and ontologies to guide the discovery and modelling of services and processes. <\/jats:p>","DOI":"10.1142\/s0218194008003684","type":"journal-article","created":{"date-parts":[[2008,7,29]],"date-time":"2008-07-29T06:16:55Z","timestamp":1217312215000},"page":"383-411","source":"Crossref","is-referenced-by-count":1,"title":["AN ONTOLOGICAL FRAMEWORK FOR WEB SERVICE PROCESSES"],"prefix":"10.1142","volume":"18","author":[{"given":"CLAUS","family":"PAHL","sequence":"first","affiliation":[{"name":"Dublin City University, School of Computing, Dublin 9, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"RONAN","family":"BARRETT","sequence":"additional","affiliation":[{"name":"Dublin City University, School of Computing, Dublin 9, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf3","volume-title":"Web Services \u2014 Concepts, Architectures and Applications","author":"Alonso G.","year":"2004"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049404"},{"key":"rf8","unstructured":"N.\u00a0Desai and M.\u00a0Singh, Int. Conf. on Web Services (ICWS 2004) (IEEE Press, 2004)\u00a0pp. 124\u2013133."},{"key":"rf9","volume":"3","author":"Peltz C.","journal-title":"Web Services Journal"},{"key":"rf11","doi-asserted-by":"crossref","unstructured":"D.\u00a0Kozen and J.\u00a0Tiuryn, Handbook of Theoretical Computer Science\u00a0B, ed. J.\u00a0van Leeuwen (Elsevier, 1990)\u00a0pp. 789\u2013840.","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"rf13","volume-title":"The \u03c0-Calculus \u2014 A Theory of Mobile Processes","author":"Sangiorgi D.","year":"2001"},{"key":"rf14","volume":"7","author":"Pahl C.","journal-title":"Int. J. Software Tools for Technology Transfer (STTT)"},{"key":"rf15","volume-title":"Knowledge Representation \u2014 Logical, Philosophical, and Computational Foundations","author":"Sowa J. F.","year":"2000"},{"key":"rf16","volume-title":"The Semantic Web","author":"Daconta M. C.","year":"2003"},{"key":"rf17","volume-title":"The Description Logic Handbook","author":"Baader F.","year":"2003"},{"key":"rf20","volume":"19","author":"Payne T.","journal-title":"IEEE Intelligent Systems"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.07.003"},{"key":"rf23","first-page":"77","volume":"1","author":"Lara R.","journal-title":"Applied Ontology"},{"key":"rf24","volume-title":"The Object Constraint Language \u2014 Precise Modeling with UML","author":"Warmer J. B.","year":"1998"},{"key":"rf25","first-page":"40","author":"Meyer B.","journal-title":"Computer"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1145\/261640.261641"},{"key":"rf32","volume-title":"Architecture Solutions for E-Learning Systems","author":"Gleeson G.","year":"2007"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194008003684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:43:44Z","timestamp":1565142224000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194008003684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":17,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,5]]}},"alternative-id":["10.1142\/S0218194008003684"],"URL":"https:\/\/doi.org\/10.1142\/s0218194008003684","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5]]}}}