{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T09:27:24Z","timestamp":1773480444883,"version":"3.50.1"},"reference-count":27,"publisher":"IGI Global","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4,1]]},"abstract":"<p>Declarative process models support process flexibility, whose importance has been widely recognized, particularly for organizations that face frequent changes and variable stimuli from their environment. However, the currently dominant declarative approaches lack expressiveness for addressing the process context (namely, environment effects) and leading its execution towards a goal. This paper proposes a declarative model which addresses activities as well as states, external events, and goals. The model is based on the Generic Process Model (GPM), extended by a notion of activity, which includes a state change aspect and an intentional aspect. The achievement of the intention of an activity may depend on events in the environment and is hence not certain. The paper provides a formalization of the model and describes an execution mechanism. It emphasizes the usefulness of specifying the intentional aspect of activities, by using it as a basis for semantic validation of the model at design time and for a planning module that can guide execution at runtime. These are illustrated by an example from the medical domain.<\/p>","DOI":"10.4018\/jismd.2013040103","type":"journal-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T17:20:13Z","timestamp":1376500813000},"page":"44-64","source":"Crossref","is-referenced-by-count":8,"title":["A State-Based Intention Driven Declarative Process Model"],"prefix":"10.4018","volume":"4","author":[{"given":"Pnina","family":"Soffer","sequence":"first","affiliation":[{"name":"Department of Management Information Systems, University of Haifa, Haifa, Israel"}]}],"member":"2432","reference":[{"key":"jismd.2013040103-0","doi-asserted-by":"publisher","DOI":"10.1108\/14637150510630846"},{"key":"jismd.2013040103-1","doi-asserted-by":"crossref","unstructured":"Awad, A., Decker, G., & Weske, M. (2008). Efficient compliance checking using BPMN-Q and temporal logic, In Dumas et al. (Eds.), BPM '08 (LNCS 5240, pp. 326-341). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/978-3-540-85758-7_24"},{"key":"jismd.2013040103-2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1995.tb00052.x"},{"key":"jismd.2013040103-3","doi-asserted-by":"crossref","unstructured":"Barba, I., Weber, B., & Del Valle, C. (2012) Supporting the optimized execution of business processes through recommendations. In Proceedings of the BPM Workshops, LNBIP 99, Part 2 (pp. 135-140). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/978-3-642-28108-2_12"},{"key":"jismd.2013040103-4","article-title":"Treatise on basic philosophy","volume":"Vol. 3","author":"M.Bunge","year":"1977","journal-title":"The furniture of the world"},{"key":"jismd.2013040103-5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90081-7"},{"key":"jismd.2013040103-6","doi-asserted-by":"crossref","unstructured":"Ghattas, J., Soffer, P., & Peleg, M. (2009). A formal model for process context learning. In Proceedings of the BPI 2009, Ulm, Germany.","DOI":"10.1007\/978-3-642-12186-9_14"},{"key":"jismd.2013040103-7","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath, F., III, & Hobson, S. \u2026 Vacul\u00edn R. (2011). Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events. International Conference on Distributed Event-Based Systems (DEBS).","DOI":"10.1145\/2002259.2002270"},{"key":"jismd.2013040103-8","unstructured":"Lamsweerde, A. (2001). Goal-oriented requirements engineering: A guided tour. In Proceedings of the 5th International Symposium on RE (pp. 249-261). IEEE CS Press."},{"key":"jismd.2013040103-9","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.007"},{"key":"jismd.2013040103-10","doi-asserted-by":"crossref","unstructured":"McCarthy, D. R., & Dayal, U. (1989). The architecture of an active database management system. In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD) (pp. 215-224). ACM Press.","DOI":"10.1145\/66926.66946"},{"key":"jismd.2013040103-11","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, M. H., Sidorova, N., & van der Aalst, W. M. P. (2007). Constraint-based workflow models: Change made easy. In Curbera et al., (Eds), Proceedings of the OTM, (LNCS 4803, pp.77\u201394). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/978-3-540-76848-7_7"},{"issue":"1","key":"jismd.2013040103-12","first-page":"1","article-title":"Learning from context to improve business processes","volume":"6","author":"K.Ploesser","year":"2009","journal-title":"BPTrends"},{"key":"jismd.2013040103-13","doi-asserted-by":"publisher","DOI":"10.1002\/spip.301"},{"key":"jismd.2013040103-14","doi-asserted-by":"crossref","unstructured":"Reichert, M., Rinderle, S., & Dadam, P. (2003). Adept workflow management system. In van der Aalst et al. (Eds.), Proceedings of the BPM 2003, (LNCS 2678, pp. 370\u2013379). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/3-540-44895-0_25"},{"key":"jismd.2013040103-15","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2009.02.014"},{"key":"jismd.2013040103-16","first-page":"45","article-title":"Using declarative specifications in business process design.","volume":"5","author":"I.Rychkova","year":"2008","journal-title":"International Journal of Computer Science and Applications"},{"key":"jismd.2013040103-17","doi-asserted-by":"crossref","unstructured":"Schonenberg, H., Mans, R., Russell, N., Mulyar, N., & van der Aalst, W. M. P. (2008). Process flexibility: A survey of contemporary approaches. In Dietz et al. (Eds.), CIAO! And EOMAS 2008, (LNBIP 10, pp. 16-30). Berlin, Germany: Springer.","DOI":"10.1007\/978-3-540-68644-6_2"},{"key":"jismd.2013040103-18","doi-asserted-by":"crossref","unstructured":"Schonenberg, H., Weber, B., van Dongen, B. F., & van der Aalst, W. M. P. (2008). Supporting flexible processes through recommendations based on history. In Dumas et al., (Eds.), Proceedings of the BPM 2008, (LNCS 5240, pp. 51\u201366). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/978-3-540-85758-7_7"},{"key":"jismd.2013040103-19","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2010070101"},{"key":"jismd.2013040103-20","doi-asserted-by":"publisher","DOI":"10.1108\/14637150510630837"},{"issue":"3","key":"jismd.2013040103-21","doi-asserted-by":"crossref","first-page":"175","DOI":"10.17705\/1jais.00119","article-title":"Goal-driven multi-process analysis.","volume":"8","author":"P.Soffer","year":"2007","journal-title":"Journal of the Association for Information Systems"},{"key":"jismd.2013040103-22","doi-asserted-by":"crossref","unstructured":"van der Aalst, W. M. P., Pesic, M., & Song, M. S. (2010). Beyond process mining: From the past to present and future. In Proceedings of CAiSE (LNCS 6051, pp. 38-52). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/978-3-642-13094-6_5"},{"key":"jismd.2013040103-23","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"jismd.2013040103-24","unstructured":"Weber, B., Pinggera, J., Zugal, S., & Wild, W. (2010). Handling events during business process execution: An empirical test. In ER-POIS at CAISE (pp. 19-30)."},{"key":"jismd.2013040103-25","doi-asserted-by":"crossref","unstructured":"Weber, B., Reijers, H., Zugal, S., & Wild, W. (2009). The declarative approach to business process execution: An empirical test. In van Eck et al. (Eds.), CAiSE 2009 (LNCS 5565, pp. 470-485). Berlin \/ Heidelberg, Germany: Springer-Verlag.","DOI":"10.1007\/978-3-642-02144-2_37"},{"key":"jismd.2013040103-26","doi-asserted-by":"crossref","unstructured":"Zugal, S., Pinggera, J., & Weber, B. (2011). Toward enhanced life-cycle support for declarative processes. Journal of Software Maintenance and Evolution: Research and Practice.","DOI":"10.1002\/smr.554"}],"container-title":["International Journal of Information System Modeling and Design"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=80244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T19:59:33Z","timestamp":1654113573000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jismd.2013040103"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2013,4,1]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,4]]}},"URL":"https:\/\/doi.org\/10.4018\/jismd.2013040103","relation":{},"ISSN":["1947-8186","1947-8194"],"issn-type":[{"value":"1947-8186","type":"print"},{"value":"1947-8194","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,1]]}}}