Welcome To CS565
This year the course material will be uploaded to elearn
BUSINESS PROCESS MANAGEMENT SYSTEMS
Information
Description
The course deals with the workflow technology
which represents the basic framework for the
development of large scale business management systems.
Starting from abstract descriptions of business processes
the course will examine modeling, design, analysis, development
and verification methods of the processes.
Afterwards the course
will study the management of implemented business processes using
the workflow systems technology.
The organisation and architecture of workflow management systems will be examined under the emergence of recent trends in the research fields of service-oriented and cloud computing systems.
Synchronization, control, communication and monitoring of process enactment
Workflow Analysis
Workflow Patterns
Workflow development tools and software
Service-Oriented computing
Web/e-Services
Applications
Cloud Computing
Logistics
Course Enrollment:
Everybody is obliged to send a plaintext message to majordomo@csd.uoc.gr
with content: subscribe hy565-list at the start of the course's lectures
to enroll in the list. This makes it easier for us to know how many of you
are interested in the course (notes, program licenses, etc) and for you to
receive probable clarifications on the (programming) exercises that are given
after the lectures, answers to project questions you may have and announcements
of lesson postponements/reassignments/cancelations.
This year the course material will be uploaded to elearn
Date
Lecture
Lab Lecture/Tutorial
Source Files
Assignments
Petri Nets
Camunda
Presentations
Results
Results
Material
Course Books
Additional Books
Papers
Supplementary Bibliography
Useful Links
Teaching
Chrysostomos Zeginis
zegchris AT ics.forth.gr
Nikolaos Fanourakis (TA)
nikosfanou AT csd.uoc.gr
Course Books
Internet-Based Workflow Management: Towards a Semantic Web, Dan C. Marinescu, Wiley-Interscience Publication,
John Wiley & Sons, Inc.,New York / Chichester / Weinheim / Brisbane / Singapore / Toronto,ISBN: 0-471-43962-2,
2002.
Advanced Workflow Patterns,W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18-29. Springer-Verlag, Berlin, 2000. (see also...)
Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages, W.M.P. van der Aalst and A.H.M. ter Hofstede, In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1�20, Aarhus, Denmark, August 2002. University of Aarhus.
On the formal semantics of statecharts D. Harel,A. Pnueli, J.P. Schmidt and R. Sherman. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pages 54-64, Ithaca, New York, June 1987.
Formal Verification of Workflow Schemas, C. Karamanolis, D. Giannakopoulou, J. Magee, S. M. Wheater, Submitted for publication to the 12th Conference on Advanced Information Systems Engineering (CAiSE 2000), October 1999
A Comparison of Workflow Metamodels, Yu Lei and Munindar P. Singh, Proceedings of the ER'97 Workshop on Behavioral Models and Design Transformations: Issues and Opportunities in Conceptual Modeling, 6 - 7 November 1997, UCLA, Los Angeles, California
Automatic Control of Workflow Processes
Using ECA Rules Joonsoo Bae, Hyerim Bae, Suk-Ho Kang, and Yeongho
Kim, IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No
. 8, August 2004
Transactional Workflows Gottfried Vossen, Proc. DOOD 1997
Security
A Multilevel Secure Workflow Management System, M. Kang, J. Froscher, A. Sheth, K. Kochut and J. Miller, Proceedings of the 11th Conference on Advanced Information Systems Engineering (CAiSE'99), Heidelberg, Germany, June 1999.
A Chinese Wall Security Model for Decentralized Workflow Systems, Vijay Alturi, Soon Ae Chun, & Pietro Mazzoleni, In the proceedings of Eighth ACM Conference on Computer and Communications Security (CCS-8) Philadelphia, November 5-8, 2001 Philadelphia, Pennsylvania, USA.
Workflow Mediation using VorteXML, by Vassilis Christophides, Richard Hull, Akhil Kumar and Jerome Simeon. Full version appears in IEEE Data Engineering Bulletin, March, 2001
Querying and Splicing of XML Workflows , Vassilis Christophides, Richard Hull, and Akhil Kumar. Appears in Proc. of Intl. Conf. on Cooperating Information Systems (CoopIS) Trento, Italy, September, 2001.
N. Leavitt, "Are Web Services Finally Ready to Deliver?", IEEE Computer, 37 (11), pp. 14-18, Nov. 2004
K. Birman, "Like it or Not, Web Services are Distributed Objects", Communications of the ACM, 47 (12), pp. 60-62, Dec. 2004
K. Birman, "Can Web Services Scale Up?", IEEE Computer, 38 (10), pp. 107-110, October 2005
Service Interoperability Standards
P. Green, M. Rosemann, M. Indulska, "Ontological Evaluation of Enterprise Systems Interoperability using ebXML", IEEE Transactions on Knowledge and Data Engineering, 17(5), pp. 713-725, 2005
DAML-S: Semantic Markup For Web Services , A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, H. Zeng, in Proceedings of the International Semantic Web Working Symposium (SWWS), July 30-August 1, 2001.
Web Services: Beyond Component-based Computing, M. Stal, Communications of the ACM, 45(10),pp. 71-76, October 2002
Enterprise Services, P. Fremantle et al., Communications of the ACM, 45(10),pp. 77-82, October 2002
Interface Automata , Luca de Alfaro,Thomas A. Henzinger, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM Press, 2001, pp. 109-120
E-Services:A Look Behind the Curtain, Richard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su, Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), June 2003
Description and Discovery
Importing the Semantic Web in UDDI , Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia Sycara, CaiSE 2002 International Workshop, WES2002, Toronto, Canada.
Searching for Services on the Semantic Web Using Process Ontologies , Klein M. and Bernstein A. In the Emerging Semantic Web - Selected papers from the first Semantic-Web Working Symposium, Isabel C., Decker S., Euzenat J., and McGuinness D. Eds. Amsterdam: IOS press, pp. 159-172
Towards a Semantic Framework for Service Description,M. Dumas, J. O'Sullivan, M. Heravizadeh, A. ter Hofstede, and D. Edmond. In Proc. of the IFIP Conference on Database Semantics. Hong Kong, April 2001. Kluwer Academic Publishers (published in November 2002).
The Web Service Discovery Architecture, Wolfgang Hoschek , Proc. of the Int'l. IEEE/ACM Supercomputing Conference (SC 2002), Baltimore, USA, November 2002. IEEE Computer Society Press
Semantic Web Services: description requirements and current technologies Ruben Lara, Holger Lausen, Sinuhe Arroyo, Jos de Bruijn, Dieter Fensel. International Workshop on Electronic Commerce, Agents, and Semantic Web Services, In conjunction with the Fifth International Conference on Electronic Commerce (ICEC 2003), Pittsburgh, PA, September 30, 2003.
Metadata and Semantics for Web Services and Processes Kaarthik Sivashanmugam, Kunal Verma, Amit P. Sheth, John A. Miller, Rohit Aggarwal, Preeda Rajasekaran. Book Chapter, Datenbanken und Informationssysteme, Festschrift zum 60. Geburtstag von Gunter Schlageter, Publication Hagen, October 2003-09-26.
A Peer to Peer Approach to Web Service Discovery C. Schmidt and M. Parashar. Proceedings of the 2003 International Conference on Web Service (ICWS '03), Las Vegas, NV, USA, Computer Science Research, Education and Applications (CSREA).
An experience report on using DAML-S In: Proceedings of the Twelfth International World Wide Web Conference Workshop on E-Services and the Semantic Web (ESSW 03), Budapest (2003).
Adaptive and Dynamic Service Composition in eFlow, Casati F., Ilnicki S., Jin L., Krishnamoorthy V. and Shan M. In Proc. of the International Conference on Advanced Information Systems Engineering, Stockholm, Sweden, 2002.
Patterns for e-Services Composition,M.-C. Fauvet, M. Dumas, F. Rabhi, B. Benatallah. In Proceedings of the 3rd Asia-Pacific Conference on Pattern Languages of Programs (KoalaPLoP), Melbourne, Australia, May 2002. Australian Computer Society.
Tackling the Challenges of Service Composition in E-Marketplaces, Jian Yang, Mike P. Papazoglou, Willem-Jan Van den Heuvel, Tilburg University,12th International Workshop on Research Issues in Data Engineering, Engineering E-Commerce/E-Business Systems (RIDE'02)
Designing Components for E-Services ,Barbara Pernici,Massimo Mecella, Proceedings of the VLDB Workshop on Technologies for e-Services (VLDB-TES 2000), Cairo, Egypt, 2000
Flexible and Reliable Web Service Execution, Markus Keidl, Stefan Seltzsam, Alfons Kemper, Proceedings of the 1st Workshop on Entwicklung von Anwendungen auf der Basis der XML Web-Service Technologie (2002), pages 17-30, Technische Universitat Darmstadt, Germany, Juli 2002 (ISSN: 1432-3613)
The Use of Patterns in Service Composition , Moe Thandar Tut and David Edmond, Workshop on Web Services, e-Business, and the Semantic Web (WES), Toronto, Ontario, Canada 27-28 May, 2002.
Z. Maamar, S. Mostefaoui, H. Yahyaoui, "Toward an Agent-based and Context-Oriented Approach for Web Service Composition", IEEE Transactions on Knowledge and Data Engineering, 17(5), pp. 686-697, 2005
Peer-to-Peer Traced Execution of Composite Services, M.C. Fauvet, M. Dumas, B. Benatallah, and H.Y. Paik. Proc. of the VLDB Workshop on Technologies of E-Services (VLDB-TES), Rome, Italy, September 2001. Springer Verlag.
QoS for Service-Oriented Middleware, Sheth A., Cardoso J., Miller J., Kochut K. and Kang M. 2002. In Proc. of the 2002 Conference on Systemics, Cybernetics and Informatics (SCI'02), Orlando, Florida,July 2002
Workflow Quality of Service, Cardoso, J., A. Sheth and J. Miller (2002). International Conference on Enterprise Integration and Modeling Technology and International Enterprise Modeling Conference (ICEIMT/IEMC), Valencia, Spain, Kluwer Publishers.
QoS Management of Web Services Based on User Expectations, Deora, V., Shao, J., Alex Gray, W., and Fiddian, N. J. 2003. Proceedings of the 1st International Conference on Service Oriented Computing (ICSOC� 03). LNCS 2910, Springer-Verlag, 2003, pp 104-113
Understanding quality of service for Web services. Mani A. and Nagarajan (2002). IBM developerWorks. January 2002
A quality-aware approach to web services procurement, Martin-Diaz, O., Ruiz-Cortes, A., Benavides, D., Duran, A., and Toro, M. 2003. In Fourth International VLDB Workshop Technologies for E-Services, Springer LNCS 2819, pages 42-53, Berlin, Germany
Automating the procurement of Web Services, Ruiz-Cortes, A., Martin-Diaz, O., Benavides, D., Duran, A., and Toro, M. 2003. In Proc. of the International Conference on Service Oriented Computing (ICSOC�03), Springer LNCS 2910, pages 91-103, Berlin, Germany
QoS Integration in Web Services, Tian, M., Gramm, A., Nabulsi, M., Ritter, H., Schiller, J., and T. Voigt, T. 2003. Gesellschaft fur Informatik DWS 2003, Doktorandenworkshop Technologien und Anwendungen von XML (Ph.D. students workshop Technologies and Applications of XML), Berlin, Germany, Oct. 2003