Управление процессами
80
Список исполльзованной
и рекомендованной литературы
1*
Литература
Вся приведенная литература является публичной и может быть доступна
в посиковіх системах. Для тоо что бы найти источник достаточно набрать
в любой поисковой (например google) системе его имя, например:
Google:
Design and implementation of the YAWL system.
Workflow системы
[1]. Design and implementation of the YAWL system. W.M.P. van der Aalst, L.
Aldred, M. Dumas, and A.H.M. ter Hofstede. Department of Technology
Management, Eindhoven University of Technology. Centre for Information
Technology Innovation, Queensland University of Technology.
[2]. YAWL: Yet Another Workflow Language. W.M.P. van der Aalst, L.
Aldred, M. Dumas, and A.H.M. ter Hofstede. Department of Technology
Management, Eindhoven University of Technology. Centre for Information
Technology Innovation, Queensland University of Technology.
[3]. Workflow Patterns: On the Expressive Power of (Petri-net-based)
Workflow Languages. W.M.P. van der Aalst, L. Aldred, M. Dumas, and
A.H.M. ter Hofstede. Department of Technology Management, Eindhoven
University of Technology. Centre for Information Technology Innovation,
Queensland University of Technology.
[4]. Design and implementation of the YAWL system. W.M.P. van der Aalst, L.
Aldred, M. Dumas, and A.H.M. ter Hofstede. Department of Technology
Management, Eindhoven University of Technology, The Netherlands.
80
Управление процессами
81
[5]. AN OPEN ARCHITECTURE FOR ADAPTIVE WORKFLOW
MANAGEMENT SYSTEMS. R. Siebert University of Stuttgart Institute of
Parallel and Distributed High-Performance Systems (IPVR) Stuttgart,
Germany.
[6]. Modeling Workflow within Distributed Systems. Yuhong Yan, Alex Bejan*
Flydragon Computer Consulting, NY, USA ANCA Tech. RI, USA
[7]. An Alternative Way to Analyze Workflow Graphs. W.M.P. van der Aalst,
A. Hirnschall, and H.M.W. Verbeek. Eindhoven University of Technology,
Faculty of Technology and Management, Department of Information and
Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands.
[8]. Workflow Verification: Finding Control-Flow Errors Using Petri-NetBased Techniques. W.M.P. van der Aalst. Eindhoven University of
Technology, Faculty of Technology and Management, Department of
Information and Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The
Netherlands.
[9]. Query Nets: Interacting Workflow Modules that Ensure Global
Termination. Rob J. van Glabbeek and David G. Stork Ricoh Innovations 2882
Sand Hill Rd. Suite 115 Menlo Park, CA 94025-7022, USA
[10]. Evaluation of Correctness Criteria for Dynamic Work.ow Changes.
Stefanie Rinderle, Manfred Reichert, and Peter Dadam University of Ulm,
Faculty of Computer Science, Dept. Databases and Information Systems.
[11]. Patterns and XPDL: A Critical Evaluation of the XML Process Definition
Language. Wil M.P. van der Aalst. Department of Technology Management
Eindhoven University of Technology, The Netherlands.
[12]. Advanced Workow Patterns. . W.M.P. van der Aalst. Eindhoven
University of Technology, Faculty of Technology and Management,
Department of Information and Technology, P.O. Box 513, NL-5600 MB,
Eindhoven, The Netherlands.
[13]. Expressiveness and Suitability of Languages for Control Flow Modelling
in Workflows. Bartosz Kiepuszewski, M.Sc. A dissertation presented to the
Faculty of Information Technology Queensland University of Technology in
fulfilment of the requirements for the degree of Doctor of Philosophy.
81
Управление процессами
82
[14]. Workow Patterns. W.M.P. van der Aalst, A.H.M. ter Hofstede, B.
Kiepuszewski, and A.P. Barros. Department of Technology Management,
Eindhoven University of Technology GPO Box 513, NL-5600 MB Eindhoven.
[15]. Workflow Management Systems and ERP Systems: Differences,
Commonalities, and Applications. Jorge Cardoso1, Robert P. Bostrom2 and
Amit Sheth3 1Departamento de Matemática e Engenharia Universidade da
Madeira 9050-078 Funchal – Portugal.
[16]. Workflow Based Process Controlling. Michael Zur Muehlen. ISBN: 38325-0388-9.
Приложения ECA и логических систем
[1]. An Event- and Repository-Based Component Framework for Workflow
System Architecture
DISSERTATION. DIMITRIOS TOMBROS.
[2]. Advanced Workow Patterns. W.M.P. van der Aalst and A.P. Barros and
A.H.M. ter Hofstede and B. Kiepuszewski
[3]. ECA Perspectives – Requirements, Applications, Technology. Anton
Eliens, Zhisheng Huang, Johan F. Hoorn and Cees Visser Intelligent
Multimedia Group Vrije Universiteit, Amsterdam, Netherlands
{feliens,huang,jfhoorn,ctvg}@cs.vu.nl
[4]. Planning as model construction in linear temporal logic. Marta Cialdea
Mayer, Serenella Cerrito, Amedeo Cesta.
[5]. An Extensible Workflow Designing Kit
Markus Bon, Jürgen Zimmermann
Universität Kaiserslautern
(bon, jnzimmer)@informatik.uni-kl.de
[6]. A Framework for Workflow Management Systems Based on Objects, Rules
and Roles. Gerti Kappel, Stefan Rausch-Schott, Werner Retschitzegger,
Department of Information Systems, University of Linz.
[7]. Knowledge Management using Business Process Modeling and Workflow
Techniques Hsiang-Ling Kuo, Yun-Heh Chen-Burger, Dave Robertson School
of Informatics, The University of Edinburgh, UK
email: s0125762@ed.ac.uk
82
Управление процессами
83
[8]. Tore Risch, Martin Skold In N.Paton (ed.): Active Rules in Database
Systems, Springer-Verlag, New York, 1999, ISBN 0-387-98529-8.
[9]. Optimising Propositional Modal Satisfiability for Description Logic
Subsumption Ian Horrocks and Peter F. Patel-Schneider. University of
Manchester, Manchester, UK (horrocks@cs.man.ac.uk) Bell Labs Research,
Murray Hill, NJ, U.S.A. (pfps@research.bell-labs.com)
[10]. Integrating Model Checking and Theorem Proving for Relational
Reasoning. Konstantine Arkoudas Sarfraz Khurshid Darko Marinov Martin
Rinard. MIT Laboratory for Computer Science.
[11]. A New Perspective on Rule Support for Object Oriented Databases,
E. Anwar, S. Chakravarthy. Database Systems Research and Development
Center Computer and Information Sciences Department. University of Florida.
[12]. ECA Rule Integration into an OODBMS Architecture and
Implementation S. Chakravarthy, V. Krishnaprasad, Z. Tamizuddin, R. H.
Badani. Database Systems Research and Development Center
Computer and Information Sciences Department, University of Florida.
[13]. Composite Events for Active Databases Semantics
Contexts and Detection S. Chakravarthy, V. Krishnaprasad, E. Anwar S.K.
Kim. Database Systems Research and Development Center
Computer and Information Sciences Department University of Florida.
[14]. Design of SENT INEL An Object_Oriented DBMSWith Event_Based
Rules S. Chakravarthy E. Anwar L. Maugis, Database Systems Research and
Development Center, D. Mishra Intergraph Corporation.
[15]. A Declarative Approach to Business Rules in Contracts:
Courteous Logic Programs in XML. Benjamin N. Grosof IBM T.J. Watson
Research Center. Yannis Labrou Computer Science and Electrical Engineering
and Department University of Maryland. Hoi Y. Chan IBM T.J. Watson
Research Center.
[16]. Combining different business rules technologies: A rationalization.
[17]. Formalizing Workflows Using the Event Calculus Nihan Kesim Cicekli,
Yakup Yildirim, Department of Computer Engineering, METU, Ankara,
Turkiye.
[18]. An ECA Rule-Matching Service for Simpler Development of Reactive
Applications
83
Управление процессами
84
Diego López de Ipiña, Laboratory for Communications Engineering,
Cambridge University Engineering Department.
[19]. Extreme Model Checking. Thomas A. Henzinger, Ranjit Jhala, Rupak
Majumdar, and Marco A.A. Sanvido, Electrical Engineering and Computer
Sciences, University of California, Berkeley.
[20]. ULTRAflow – A Lightweight Workflow Management System. Alfred
Fent and Burkhard Freitag, University of Passau, Department of Computer
Science, 94030 Passau, Germany.
[21]. MANAGING DOMAIN ARCHITECTURE EVOLUTION THROUGH
ADAPTIVE USE CASE AND BUSINESS RULE MODELS BY RUSSELL R.
HURLBUT, Chicago, Illinois, May 1998.
[22]. EXTENDING THE BFA WORKFLOW AUTHORIZATION MODEL TO
EXPRESS WEIGHTED VOTING. Savith Kandala and Ravi Sandhu.
[23]. Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks
Medical Informatics Group Department of Computer Science University of
Manchester.
[24]. TAL Rules versus ECA Rules: an Attempt for Comparison in the Credit
Management Context
Maria Mach University of Economics, Wroclaw, Poland.
[25]. Flora-2: A Rule-Based Knowledge Representation and Inference
Infrastructure for
the Semantic Web? Guizhen Yang1, Michael Kifer2, and Chang Zhao2 1
Department of Computer Science and Engineering University at Bu_alo,
Bu_alo, NY 14260-2000, USA
[26]. Towards a multi-agent model for the office information system: a Prolog
based approach.
[27]. Managing Change and Compliance Can Workflow Technologies Help?
Paul Chung Modelling and Reasoning Group Department of Computer
Science. LOUGHBOROGH university.
[28]. A Case-based Framework for Workflow Model Management. Madhu,
Therani & Leon Zhao. MIS Dept., U of Arizona, Tucson, AZ 85721.
[29]. Characterizing Production Systems using Logic Programming and
Situation Calculus.
84
Управление процессами
85
Chitta Baral, Jorge Loboy.
[30]. Query Nets: Interacting Workflow that Ensure Global Termination? Rob
J. van Glabbeek and David G. Stork Ricoh Innovations.
[31]. A Logical Framework for Scheduling Workows Under Resource
Allocation Constraints.
Pinar Senkul Michael Kifer Ismail H. Toroslu.
[32]. A Logic-Based Formalism to Model and Analyze Workow Executions
Gianluigi Greco, Antonella Guzzo, and Domenico Sacca.
[33]. Modeling Coordination as Resource Flow: An Object-Based Approach.
John Noll
Bryce Billinger.
[34]. SweetJess: Translating DamlRuleML To Jess. Benjamin Grosof, MIT Sloan
School of Management.
[35]. Temporal Logic and reasoning about actions. Gisela Mendez, Jorge Lobo.
[36]. Model Checking Large Software Specifications William Chan Richard J.
Anderson Paul Beame Steve Burns Francesmary Modugno David Notkin Jon
D. Reese.
[37]. Workflow Access Control from a Business Perspective, Dulce Domingos,
António Rito-Silva, Pedro Veiga.
[38]. Logic Based Approaches to Workow Modeling and Verifcation, Saikat
Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, and Guizhen Yang.
Стандарты
[1]. Introduction to Workflow
http://www.wfmc.org/information/introduction_to_workflow02.pdf
The base principals of the workflow systems.
[2]. Workflow: An Introduction
http://www.wfmc.org/information/introduction_to_workflow02.pdf
It’s a good starting point for a brief description of WfMC’s vision of workflow
systems.
[3]. The Workflow Reference Model
http://www.wfmc.org/standards/docs/tc003v11.pdf
85
Управление процессами
86
The base document describind the WfMC standards structure.
[4]. Process Definition Interchange Meta Model
http://www.wfmc.org/standards/docs/if19807m.pdf
[5]. Process Definition Interchange Process Model
http://www.wfmc.org/standards/docs/if19807r3.pdf
[6]. Process Definition Interchange Organization Model
http://www.wfmc.org/standards/docs/if19807o.pdf
[7]. XML Process Definition Language
http://www.wfmc.org/standards/docs/TC-1025_10_xpdl_102502.pdf
The XML is new modern process definition language based on XML not a plain
text language syntax as WSDL.
[8]. Workflow Client Application API Specification
http://www.wfmc.org/standards/docs/if2v20.pdf
Both C API and OLE API Framework definitions
[9]. Workflow Interoperability Abstract Specification
http://www.wfmc.org/standards/docs/TC-1012_Nov_99.pdf
Here is a starting requirements for an extension to SOAP protocol.
[10]. Wf-XML remoting object interexchange specification
http://www.wfmc.org/standards/docs/Wf-XML-1.0.pdf
[11]. AWSP: Asynchronous Service Protocol form
www.oasis-open.org
awsp-2002.02.12.doc
[12]. Interface 5 Issues and directions
http://www.wfmc.org/standards/docs/Interface_5_Issues_and_Directions.pdf
The presentation has a good view to set of required log tables for data analysis.
[13]. http://www.wfmc.org/standards/docs/TC-1015_v11_1998.pdf
Here is the formal description of the Logical Database Structure.
[14]. OMG CORBA Service API
http://www.omg.org/docs/formal/00-05-02.pdf
[15]. OMG Workflow
http://www.omg.org/technology/documents/formal/workflow_management.h
tm
86
Управление процессами
87
[16]. Web Services and Workflow
http://www.webservicesarchitect.com/content/articles/sander01.asp
Интернет
[1]. www.wfmc.org
Workflow Management Coalition
[2]. http://tmitwww.tm.tue.nl/research/patterns
Workflow Patterns
[3]. http://www.daimi.au.dk/PetriNets/
Petri Nets
[4]. http://www.oasis-open.org
Oasis Group
87