{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T09:11:44Z","timestamp":1685351504067},"reference-count":9,"publisher":"National Library of Serbia","issue":"2","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ComSIS","COMPUT SCI INF SYST","COMPUT SCI INFORM SY","COMPUTER SCI INFORM","COMSIS J"],"published-print":{"date-parts":[[2011]]},"abstract":"<jats:p>The behavior of commercial systems is described with business process models.\n   There are different notations and formalism to express business processes.\n   Many of these notations such as BPMN or ARIS EPC models are widely used in\n   commercial projects. In the paper we focus on formalisms to express rules\n   and specifications for the business processes. Temporal logic in general is\n   a suitable formalism to express rules for dynamic processes. CTL is one kind\n   of temporal logic focusing on branches and paths in particular. With CTL it\n   is possible to formulate rules about different paths in business processes.\n   Since the textual formulae of CTL are not very suitable in the development\n   of commercial systems we introduce a graphical notation (G-CTL) based on the\n   business process notation ARIS EPC. Moreover, we add to the CTL semantics\n   specializes to differentiate between the element types in business process\n   models and provide wildcards which allow the user to check for unknown\n   elements or elements with only partially known properties.<\/jats:p>","DOI":"10.2298\/csis110111015s","type":"journal-article","created":{"date-parts":[[2011,5,5]],"date-time":"2011-05-05T10:52:53Z","timestamp":1304592773000},"page":"427-446","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing business process specifications"],"prefix":"10.2298","volume":"8","author":[{"given":"Andreas","family":"Speck","sequence":"first","affiliation":[{"name":"Christian-Albrechts-University Kiel, Kiel, Germany"}]},{"given":"Sven","family":"Feja","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University Kiel, Kiel, Germany"}]},{"given":"S\u00f6ren","family":"Witt","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University Kiel, Kiel, Germany"}]},{"given":"Elke","family":"Pulvermuller","sequence":"additional","affiliation":[{"name":"University of Osnabrueck, Osnabrueck, Germany"}]},{"given":"Marcel","family":"Schulz","sequence":"additional","affiliation":[{"name":"Intershop Communications AG Intershop Tower, Jena, Germany"}]}],"member":"1078","reference":[{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2003.12.001"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1132469.1132474"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.038"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/990010.990011"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2007.01.001"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-5273(95)00047-X"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"}],"container-title":["Computer Science and Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T08:30:13Z","timestamp":1685349013000},"score":1,"resource":{"primary":{"URL":"https:\/\/doiserbia.nb.rs\/Article.aspx?ID=1820-02141100015S"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011]]}},"URL":"https:\/\/doi.org\/10.2298\/csis110111015s","relation":{},"ISSN":["1820-0214","2406-1018"],"issn-type":[{"value":"1820-0214","type":"print"},{"value":"2406-1018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}