{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:28Z","timestamp":1749221308877},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410218"},{"type":"electronic","value":"9783540452669"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722620_1","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T09:00:16Z","timestamp":1167469216000},"page":"1-17","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing (and Reasoning about) the Specifications of Workflows"],"prefix":"10.1007","author":[{"given":"Goce","family":"Trajcevski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Alonso, G., Agrawal, D., El Abadi, A., Mohan, C.: Functionalities and limitations of current workflow management systems. IEEE Experts - Special Issue on Cooperative Information Systems\u00a012(5) (1997)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Alonso, G., Fiedler, U., Hagen, C., Lazcano, A., Schukdt, H., Weiler, N.: Wise: Business to business e-commerce. In: Research Issues on Data Engineering, RIDE (1999)","DOI":"10.1109\/RIDE.1999.758645"},{"key":"1_CR3","unstructured":"Alonso, G., Hagen, C., Lazcano, A.: Processes in electronic commerce. In: ICDCS Workshop on Electronic Commerce in Web-Based Applications (1999)"},{"key":"1_CR4","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming (1996)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"International Workshop on Logic in Databases (LID 1996)","author":"C. Baral","year":"1996","unstructured":"Baral, C., Lobo, J.: Formal characterization of active databases. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154. Springer, Heidelberg (1996)"},{"key":"1_CR6","unstructured":"Baral, C., Lobo, J.: Defeasible specifications in action theories. In: Intl. Joint Conference on AI (1997)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J., Trajcevski, G.: Formal characterization of active databases: Part ii. In: 5th Intl. Conf. on Deducive and Object - Oriented Databases, DOOD 1997 (1997)","DOI":"10.1007\/3-540-63792-3_19"},{"key":"1_CR8","unstructured":"Baral, C., Lobo, J., Trajcevski, G.: Formalizing workflows as collection of condition \u2013 action ruls. Technical report, UIC \u2013 EECS \u2013 1998 \u2013 2, Univ. of Illinois at Chicago (1998)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J., Trajcevski, G.: Formalizing (and reasoning about) the specification of workflows. Technical Report UIC\u2013EECS\u201300\u20133, University of Illinois at Chicago, Dept. of EECS (2000)","DOI":"10.1007\/10722620_1"},{"key":"1_CR10","unstructured":"Baral, C., Son, T.: Relating theories of actions and reactive robot control. In: AAAI 96 Workshop on Reasoning about actions, planning and robot control: bridging the gap (1996)"},{"key":"1_CR11","unstructured":"Baral, C., Son, T.: Approximate reasoning about actions in presence of sensing and incomplete information. Technical report, Dept of Computer Science, University of Texas at El Paso (1997)"},{"key":"1_CR12","unstructured":"Baral, C., Son, T.: Relating theories of action and reactive control. In: Linkoping Electronic Articles in computer and Information Science, vol.\u00a03 (1998)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Bergamaschi, S., Sartori, C.: On taxonomic reasoning in conceptual design. ACM Transactions on Database Systems\u00a03(17) (1992)","DOI":"10.1145\/132271.132272"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Bonner, A.: Workflow, transactions and datalog. In: Principles of Database Systems, PODS (1999)","DOI":"10.1145\/303976.304005"},{"key":"1_CR15","unstructured":"Bonner, A., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical report, Univ. of Toronto (1995)"},{"key":"1_CR16","unstructured":"Bonner, A., Kifer, M.: Concurrency and communication in transaction logic. In: Joint Intl. Conference and Symposium on Logic Programming (September 1996)"},{"key":"1_CR17","unstructured":"Borghoff, U.M., Bottoni, P., Mussio, P., Parechi, R.: Reflective agents for adaptive workflows. In: 2nd Intl. Conf. on Practical Applications of Intelligent Agents and Multi \u2013 Agent Technology, PAAM 1997 (April 1997)"},{"key":"1_CR18","unstructured":"Casati, F.: Models, Semantics and Formal Methods for the Design of Workflows and their Exceptions. PhD thesis, Politecnico di Milano (1999)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Intl. Conf. on Cooperative Information Systems (CoopIS)","author":"F. Casati","year":"1999","unstructured":"Casati, F., Pozzi, G.: Modeling exceptional behavior in commercial workflow management systems. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol.\u00a01901, Springer, Heidelberg (1999)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Cassati, F., Ceri, S., Pernici, B., Pozzi, G.: Deriving active rules for workflow enactment. In: 7th Intl. Conf. on Database and Expert Systems Application (1996)","DOI":"10.1007\/BFb0034673"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Cichocki, A., Rusinkiewicz, M.: Migrating workflows. In: NATO-ASI, Advances in Workflow Management Systems and Interoperability (1997)","DOI":"10.1007\/978-3-642-58908-9_15"},{"key":"1_CR22","unstructured":"The Workflow Management Coalition. Terminology and glossary. Technical Report WFMC-TC-1011, The Workflow Management Coalition (June 1996)"},{"key":"1_CR23","first-page":"841","volume-title":"Handbook of theoretical computer science","author":"P. Cousot","year":"1990","unstructured":"Cousot, P.: Methods and logics for proving programs. Handbook of theoretical computer science, vol.\u00a0B, pp. 841\u2013994. MIT Press, Cambridge (1990)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Pokorny, R.L., Ramakrishnan, C., Dawson, S.: Modeling and analysis of interactions in virtual enterprises. Research Issues on Data Engineering, RIDE (1999)","DOI":"10.1109\/RIDE.1999.758587"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic based modeling and analysis of workflows. In: ACM Principles of Database Systems (1998)","DOI":"10.1145\/275487.275491"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gclfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Ceorgakopoulos","year":"1995","unstructured":"Ceorgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases\u00a03, 119\u2013153 (1995)","journal-title":"Distributed and Parallel Databases"},{"key":"1_CR28","unstructured":"De Giacomo, G., Iocchi, L., Nardi, D., Rosati, R.: Descriptoin logic-based framework for planning with sensing action. In: Description Logic (1997)"},{"key":"1_CR29","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal logic. In: AAAI 1998 (1997)"},{"key":"1_CR30","unstructured":"Hagen, C., Alonso, G.: Flexible exception handling in the opera process support system. In: 18th Intl. Conf. on Distributed Computing Systems (ICDCS 1998) (April 1998)"},{"key":"1_CR31","unstructured":"Hagen, C., Alonso, G.: Beyond the black box: Event-base inter-process communication in pss. In: 19th International Conferrence on Distributed Computing Systems, ICDCS (1999)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Hull, R., Llirbat, F., Simon, B., Su, J., Dong, G., Kumar, B., Zhou, G.: Declarative workflows that support easy modifications and dynamic browsing. In: Intl. Joint Conference on Work Activities Coordination and Collaboration, WACC (1999)","DOI":"10.1145\/295665.295674"},{"key":"1_CR33","unstructured":"Hull, R., Llirbat, F., Su, J., Dong, G., Kumar, B., Zhou, G.: Efficient support for decision flows in e\u2013commerce applications. In: 2nd Intl. Conf. on Telecommunications and Electronic Commerce, ICTEC (1999)"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Jeffrey, J., Lobo, J., Murata, T.: A high \u2013 level petri net for goal \u2013 directed semantics of horn clause logic. IEEE Transactions on Knowledge and Data Engineering\u00a08(2) (1996)","DOI":"10.1109\/69.494164"},{"key":"1_CR35","unstructured":"Kondratyev, M.: Dual representation of workflow specifications. Master\u2019s Project Report. University of Illinois at Chicago (March 2000)"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Lesperance, Y., Lovesque, H., Lin, F., Marcu, D., Reiter, R., Scherl, R.: Foundations of a logical approach to agent programming. In: Intelligent Agents - II (1995)","DOI":"10.1007\/3540608052_76"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Levesque, H., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming (May 1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Leymann, F., Altenhuber, W.: Managing business processes as an information resource. IBM Systems Journal\u00a02(32) (1994)","DOI":"10.1147\/sj.332.0326"},{"key":"1_CR39","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence, vol.\u00a04, pp. 463\u2013501. Edinburgh University Press, Edinburgh (1969)"},{"key":"1_CR40","unstructured":"Mohan, C.: Tutorial: State of the art in workflow management system research and products (March 1990)"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Muth, P., Weissenfels, J., Gillman, M., Weikum, G.: Integrating light-weight wfms with existing business environments. In: International Conferrence on Data Engineering, ICDE (1999)","DOI":"10.1109\/ICDE.1999.754944"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Nilsson, N.: Teleo-reactive programs for agent control. Journal of AI research, 139\u2013158 (1994)","DOI":"10.1613\/jair.30"},{"issue":"20","key":"1_CR43","first-page":"1","volume":"19","author":"R. Reiter","year":"1994","unstructured":"Reiter, R.: On specifying database updates. Journal of Logic Programming\u00a019(20), 1\u201339 (1994)","journal-title":"Journal of Logic Programming"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Sheth, A., Georgakopoulos, D., Joosten, S.M.M., Rusinkiewics, M., Scacchi, W., Wiledcn, J., Wolf, A.: Report from the nsf workshop on workflow and process automation in information systems. ACM SIGSOFT - Software Engineering Notes, 22(1) (1997)","DOI":"10.1145\/251759.251825"},{"key":"1_CR45","unstructured":"Singh, M.P.: Formal semantics for workllow computations. Technical report, TR \u2013 96 \u2013 08, North Carolina State University (1996)"},{"key":"1_CR46","volume-title":"Software Engineering","author":"I. Sommerville","year":"1992","unstructured":"Sommerville, I.: Software Engineering. Addison - Wesley, London (1992)"},{"key":"1_CR47","unstructured":"Sutton, S.M., Tarr, P.L., Osterweil, L.J.: An analysis of process languages. Technical Report 95 - 78, Dept. of Computer Science, University of Massachusetts, Amherst (1995)"},{"key":"1_CR48","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers\u00a08(1) (1998)"},{"key":"1_CR49","volume-title":"Language, thought and reality","author":"B. Whorf","year":"1956","unstructured":"Whorf, B.: Language, thought and reality. MIT Press, Cambridge (1956)"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Wodtke, D., Weikum, G.: A formal foundation for distributed workflow execution based on state charts. In: 6th Intl. Conf. on Database Theory, ICDT 1997 (1997)","DOI":"10.1007\/3-540-62222-5_48"}],"container-title":["Lecture Notes in Computer Science","Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722620_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:23:20Z","timestamp":1558293800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722620_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410218","9783540452669"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/10722620_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}