{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:57:11Z","timestamp":1740171431479,"version":"3.37.3"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T00:00:00Z","timestamp":1619395200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T00:00:00Z","timestamp":1619395200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Karlsruher Institut f\u00fcr Technologie (KIT)"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Data Semant"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>For Read-Write Linked Data, an environment of reasoning and RESTful interaction, we investigate the use of the Guard-Stage-Milestone approach for specifying and executing user agents. We present an ontology to specify user agents. Moreover, we give operational semantics to the ontology in a rule language that allows for executing user agents on Read-Write Linked Data. We evaluate our approach formally and regarding performance. Our work shows that despite different assumptions of this environment in contrast to the traditional environment of workflow management systems, the Guard-Stage-Milestone approach can be transferred and successfully applied on the web of Read-Write Linked Data.<\/jats:p>","DOI":"10.1007\/s13740-021-00123-0","type":"journal-article","created":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T12:03:12Z","timestamp":1619438592000},"page":"57-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Specifying and Executing User Agents in an Environment of Reasoning and RESTful Systems Using the Guard-Stage-Milestone Approach"],"prefix":"10.1007","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0576-7457","authenticated-orcid":false,"given":"Tobias","family":"K\u00e4fer","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Jochum","sequence":"additional","affiliation":[]},{"given":"Nico","family":"A\u00dffalg","sequence":"additional","affiliation":[]},{"given":"Leonard","family":"N\u00fcrnberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,26]]},"reference":[{"key":"123_CR1","unstructured":"A\u00dffalg N, N\u00fcrnberg L, Jochum B, K\u00e4fer T (2019) Controlling internet of things devices with read-write linked data interfaces using data-driven workflows. In: Proceedings of posters and demos at the 15th international conference on semantic systems (SEMANTiCS)"},{"key":"123_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri B, Calvanese D, De Giacomo G, Deutsch A, Montali M (2013) Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd symposium on principles of database systems (PODS). ACM","DOI":"10.1145\/2463664.2465221"},{"key":"123_CR3","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1613\/jair.3826","volume":"46","author":"B Bagheri Hariri","year":"2013","unstructured":"Bagheri Hariri B, Calvanese D, Montali M, De Gia-como G, De Masellis R, Felli P (2013) Description logic knowledge and action bases. J Artif Intell Res 46:651\u2013686","journal-title":"J Artif Intell Res"},{"key":"123_CR4","unstructured":"Berners-Lee T (2009) Read-write linked data [Design issues]. http:\/\/www.w3.org\/DesignIssues\/ReadWriteLinkedData.html"},{"issue":"3","key":"123_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s13740-012-0008-7","volume":"1","author":"S Bischof","year":"2012","unstructured":"Bischof S, Decker S, Krennwallner T, Lopes N, Polleres A (2012) Mapping between RDF and XML with XSPARQL. J Data Semantics 1(3):147\u2013185","journal-title":"J Data Semantics"},{"key":"123_CR6","unstructured":"Brauns S, Kafer T, Koriath D, Harth A (2016) Individualisiertes Gruppentraining mit Datenbrillen fur die Produktion. In: Proceedings of the 46th annual convention of the German informatics society (INFORMATIK) (in German)"},{"key":"123_CR7","doi-asserted-by":"crossref","unstructured":"Calvanese D, Montali M, Patrizi F, Rivkin A (2019) Modeling and in-database management of relational, data-aware processes. In: Proceedings of the 31st international conference on advanced information systems engineering (CAiSE)","DOI":"10.1007\/978-3-030-21290-2_21"},{"key":"123_CR8","doi-asserted-by":"crossref","unstructured":"Casati F, Ceri S, Pernici B, Pozzi G (1996) Deriving active rules for workflow enactment. In: Proceedings of the 7th international conference on database and expert systems applications (DEXA)","DOI":"10.1007\/BFb0034673"},{"key":"123_CR9","unstructured":"Ciortea A, Mayer S, Gandon F, Boissier O, Ricci A, Zimmermann A (2019) A decade in hindsight: The missing bridge between multi-agent systems and the world wide web. In: Proceedings of the 18th international conference on autonomous agents and multi agent systems (AAMAS)"},{"key":"123_CR10","unstructured":"Ciortea A, Mayer S, Michahelles F (2018) Repur-posing manufacturing lines on the fly with multi-agent systems for the web of things. In: Proceedings of the 17th international conference on autonomous agents and multi-agent systems (AA-MAS)"},{"issue":"4","key":"123_CR11","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1016\/j.is.2012.09.002","volume":"38","author":"E Damaggio","year":"2013","unstructured":"Damaggio E, Hull R, Vaculin R (2013) On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Inf Syst 38(4):561\u2013584","journal-title":"Inf Syst"},{"issue":"12","key":"123_CR12","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman RM, Dumas M, Ouyang C (2008) Semantics and analysis of business process models in BPMN. Inf Softw Technol 50(12):1281\u20131294","journal-title":"Inf Softw Technol"},{"issue":"2","key":"123_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.future.2009.08.011","volume":"26","author":"E Elmroth","year":"2010","unstructured":"Elmroth E, Hernandez-Rodriguez F, Tordsson J (2010) Three fundamental dimensions of scientific workflow interoperability: model of computation, language, and execution environment. Future Gener Comput Syst 26(2):245\u2013256","journal-title":"Future Gener Comput Syst"},{"key":"123_CR14","unstructured":"Fielding R (2000) Architectural styles and the design of network-based software architectures. Doctoral dissertation. University of California, Irvine, USA"},{"key":"123_CR15","unstructured":"Gil Y, Ratnakar V, Deelman E, Mehta G, Kim J (2007) Wings for pegasus: creating large-scale scientific applications using semantic representations of computational workflows. In: Proceedings of the 19th conference on innovative applications of artificial intelligence (IAAI)\/22th conference on artificial intelligence (AAAI)"},{"key":"123_CR16","unstructured":"Gurevich Y (1995) Evolving algebras 1993: Lipari guide. In Specification and validation methods, Oxford University Press"},{"key":"123_CR17","doi-asserted-by":"crossref","unstructured":"Haller A, Cimpian E, Mocan A, Oren E, Bus-sler C (2005) Wsmx\u2014a semantic service-oriented architecture. In: Proceedings of the 3rd international conference on web services (ICWS)","DOI":"10.1109\/ICWS.2005.139"},{"key":"123_CR18","doi-asserted-by":"crossref","unstructured":"Harth A, Speiser S (2012) On completeness classes for query evaluation on linked data. In: Proceedings of the 26th conference on artificial intelligence (AAAI)","DOI":"10.1609\/aaai.v26i1.8209"},{"key":"123_CR19","volume-title":"Linked data management","author":"A Hogan","year":"2014","unstructured":"Hogan A (2014) Linked data and the semantic web standards. In: Harth A, Hose K, Schenkel R (eds) Linked data management. Chapman and Hall\/CRC, Boca Raton"},{"key":"123_CR20","doi-asserted-by":"crossref","unstructured":"Hull R, Damaggio E, De Masellis R, Fournier F, Gupta M, Heath FFTI, Vaculin R (2011) Business artifacts with guard-stage-milestone lifecycles. In: Proceedings of the 5th international conference on distributed event-based systems (DEBS)","DOI":"10.1145\/2002259.2002270"},{"key":"123_CR21","doi-asserted-by":"crossref","unstructured":"Hull R, Damaggio E, Fournier F, Gupta M, Heath FFT, III, Hobson S, Vaculin R (2011) Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Proceedings of the 7th international workshop on web services and formal methods (WS-FM)","DOI":"10.1007\/978-3-642-19589-1_1"},{"key":"123_CR22","doi-asserted-by":"crossref","unstructured":"Jochum B, Niirnberg L, Afifalg N, Kafer T (2019) Data-driven workflows for specifying and executing agents in an environment of reasoning and restful systems. In: Proceedings ofthe 3rd international workshop in artificial intelligence for busi-ness process management (AI4BPM) at the 17th international conference on business process managment (BPM)","DOI":"10.1007\/978-3-030-37453-2_9"},{"key":"123_CR23","unstructured":"Kaifer T, Harth A (2018) Rule-based programming of user agents for linked data. In: Proceedings of the 11th workshop on linked data on the web (LDOW) at the 27th webconf (WWW)"},{"key":"123_CR24","doi-asserted-by":"crossref","unstructured":"Kaifer T, Harth A (2018). Specifying, monitoring, and executing workflows in linked data environments. In: Proceedings of the 17th international semantic web conference (ISWC)","DOI":"10.1007\/978-3-030-00671-6_25"},{"key":"123_CR25","doi-asserted-by":"crossref","unstructured":"Kafer T, Harth A, Mamessier S (2016) Towards declarative programming and querying in a distributed cyber-physical system: The i-VISION case. In: Proceedings of the 2nd international workshop on modelling, analysis, and control ofcomplex CPS (CPSData) at the 9th CPS week","DOI":"10.1109\/CPSData.2016.7496418"},{"key":"123_CR26","doi-asserted-by":"crossref","unstructured":"Korkan E, Kabisch S, Kovatsch M, Steinhorst S (2018) Sequential behavioral modeling for scalable iot devices and systems. In: Proceedings of the 21st forum on specification and design languages (FDL)","DOI":"10.1109\/FDL.2018.8524065"},{"issue":"2","key":"123_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jismd.2011040101","volume":"2","author":"V Kiinzle","year":"2011","unstructured":"Kiinzle V, Weber B, Reichert M (2011) Object-aware business processes: fundamental requirements and their support in existing approaches. Int J Inf Syst Model Des 2(2):1\u201329","journal-title":"Int J Inf Syst Model Des"},{"key":"123_CR28","doi-asserted-by":"crossref","unstructured":"Martin DL, Paolucci M, McIlraith SA, Burstein MH, McDermott DV, McGuinness DL, Sycara KP (2004) Bringing semantics to web services: the OWL-S approach. In: Proceedings of the 1st international workshop on semantic web services and web process composition (SWSWPC)","DOI":"10.1007\/978-3-540-30581-1_4"},{"key":"123_CR29","unstructured":"Martin D, Burstein M, Hobbs J, Lassila O, Mc-Dermott D, McIlraith S, Sycara K (2004) Owl-s: semantic markup for web services [Member submission]. https:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"123_CR30","doi-asserted-by":"crossref","unstructured":"Montali M, Rivkin A (2017) Db-nets: on the marriage of colored petri nets and relational databases. In: Transactions on Petri Nets and Other, Models of Concurrency, p 12","DOI":"10.1007\/978-3-662-55862-1_5"},{"key":"123_CR31","volume-title":"Building microservices\u2014designing fine-grained systems","author":"S Newman","year":"2015","unstructured":"Newman S (2015) Building microservices\u2014designing fine-grained systems. O\u2019Reilly, Sevastopol"},{"issue":"9","key":"123_CR32","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1016\/j.datak.2009.02.016","volume":"68","author":"C Pautasso","year":"2009","unstructured":"Pautasso C (2009) Restful web service composition with BPEL for REST. Data Knowl Eng 68(9):851\u2013866","journal-title":"Data Knowl Eng"},{"key":"123_CR33","doi-asserted-by":"crossref","unstructured":"Pautasso C, Wilde E (2011) Push-enabling restful business processes. In: Proceedings of the 9th international conference on service-oriented computing (ICSOC)","DOI":"10.1007\/978-3-642-25535-9_3"},{"issue":"1","key":"123_CR34","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MS.2017.4541049","volume":"35","author":"C Pautasso","year":"2018","unstructured":"Pautasso C, Zimmermann O (2018) The web as a software connector: integration resting on linked resources. IEEE Softw 35(1):93\u201398","journal-title":"IEEE Softw"},{"key":"123_CR35","doi-asserted-by":"crossref","unstructured":"Pautasso C, Zimmermann O, Leymann F (2008) Restful web services vs Big web services: making the right architectural decision. In: Proceedings of the 17th international conference on world wide web (WWW)","DOI":"10.1145\/1367497.1367606"},{"key":"123_CR36","unstructured":"Petri CA (1962) Kommunikation mit Automaten. Doctoral dissertation, Technische Hochschule Darmstadt, Germany"},{"key":"123_CR37","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, van der Werf JMEM, Overbeek S, Brouwers R (2019) Information systems modeling: Language, verification, and tool support. In: Proceedings of the 31st international conference on advanced information systems engineering (CAiSE)","DOI":"10.1007\/978-3-030-21290-2_13"},{"key":"123_CR38","doi-asserted-by":"crossref","unstructured":"Popova V, Dumas M (2012) From petri nets to guard-stage-milestone models. In: Proceedings of the 1st international workshop on data- and artifact-centric bpm (DAB) at the 10th international conference on business process management (BPM)","DOI":"10.1007\/978-3-642-36285-9_38"},{"key":"123_CR39","unstructured":"Seco JC, Debois S, Hildebrandt TT, Slaats T (2018) RESEDA: declaring live event-driven computations as reactive semi-structured data. In: Proceedings of the 22nd international enterprise distributed object computing conference (EDOC)"},{"key":"123_CR40","doi-asserted-by":"crossref","unstructured":"Stadtmiiller S, Speiser S, Harth A, Studer R (2013) Data-fu: a language and an interpreter for interaction with R\/W Linked Data. In: Proceedings of the 22th international conference on world wide web (WWW)","DOI":"10.1145\/2488388.2488495"},{"key":"123_CR41","doi-asserted-by":"crossref","unstructured":"Turi D, Missier P, Goble CA, Roure DD, Oinn T (2007) Taverna workflows: syntax and semantics. In: Proceedings of the 3rd international conference on e-science and grid computing (e-Science)","DOI":"10.1109\/E-SCIENCE.2007.71"},{"issue":"1","key":"123_CR42","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.dss.2004.04.008","volume":"40","author":"M zur Muehlen","year":"2005","unstructured":"zur Muehlen M, Nickerson JV, Swenson KD (2005) Developing web services choreography standards-the case of REST vs. SOAP. Decis Support Syst 40(1):9\u201329","journal-title":"Decis Support Syst"}],"container-title":["Journal on Data Semantics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-021-00123-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13740-021-00123-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-021-00123-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,25]],"date-time":"2022-12-25T12:55:38Z","timestamp":1671972938000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13740-021-00123-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,26]]},"references-count":42,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["123"],"URL":"https:\/\/doi.org\/10.1007\/s13740-021-00123-0","relation":{},"ISSN":["1861-2032","1861-2040"],"issn-type":[{"type":"print","value":"1861-2032"},{"type":"electronic","value":"1861-2040"}],"subject":[],"published":{"date-parts":[[2021,4,26]]},"assertion":[{"value":"3 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 March 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 March 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 April 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}