Citations to the "Workflow Patterns" Paper
by W.M.P. van der Aalst,
A.H.M. ter Hofstede,
B. Kiepuszewski &
A.P. Barros
Academic Publications
2010
- Kim, D., Lee, N., Kang S., et al. (2010). Business Process Version Management Based on Process Change Patterns. International Journal of Innovative Computing Information and Control, 6(2): 567-575.
- Kolfschoten, GL, de Vreede, GJ, Briggs RO, et al. (2010). Collaboration ‘Engineerability’. Group Decision and Negotiation, 19(3): 301-321.
- Li, XT., Fan, YS., Madnick S., Sheng, QZ. (2010). A pattern-based approach to protocol mediation for web services composition. Information and Software Technology, 52(3): 304-323.
- Tsironis, LC., Sfiris, DS., Papadopoulos, BK. (2010). Fuzzy Performance Evaluation of Workflow Stochastic Petri Nets by Means of Block Reduction. IEEE Transactions on Systems Man and Cybernetics Part A – Systems and Humans, 40(2): 352-362.
2009
- Behn Lakhal, M., Kobayashi, T., Yokota, H. (2009). FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis. VLDB Journal, 18(1): 1-56.
- Borger, E., Sorensen, O., Thalheim, B. (2009). On Defining the Behavior of OR-joins in Business Process Models. Journal of Universal Computer Science, 15(1): 3-32.
- de Vreede, GJ., Briggs, RO, Massey AP. (2009). Collaboration Engineering: Foundations and Opportunities: Editorial to the Special Issue on the Journal of the Association of Information Systems. Journal of the Association for Information Systems, 10(3): 121-137.
- Eshuis, R., Grefen, P. (2009). Composing Services into Structured Processes. International Journal of Cooperative Information Systems, 18(2): 309-337.
- Henglein, F., Larsen, KF, Simonsen, JG, et al. (2009). POETS: process-oriented event-driven transaction systems. Journal of Logic and Algebraic Programming, 78(5): 381-401.
- Jian, C., Chen, JJ., Zhao, HY., et al. (2009). A policy-based authorization model for workflow-enabled dynamic process management. Journal of Network and Computer Applications, 32(2): 412-422.
- Kolfschoten, GL., de Vreede, GJ. (2009). A Design Approach for Collaboration Processes: A Multimethod Design Science Study in Collaboration Engineering. Journal of Management Information Systems, 26(1): 225-256.
- Lu, YH, Zhang, L., Sun JG. (2009). Task-activity based access control for process collaboration environments. Computer in Industry, 60(6): 403-415.
- O'Hagan, AMJ., Sadiq, S., Sadiq, W. (2009). Evie - A developer toolkit for encoding service interaction patterns. Information Systems Frontiers, 11(3): 211-225.
- Ranaldo, N., Zimeo, E. (2009). Time and Cost-Driven Scheduling of Data Parallel Tasks in Grid Workflows. IEEE Systems Journal, 3(1): 104-120.
- Schmidt, D., Colomb, R. (2009). A data structure from representing multi-version texts online. International Journal of Human-Computer Studies, 67(6): 497-514.
- Sun, HY, Yang, J, XU, L. (2009). CoBTx-Net: A model for business collaboration reliability verification. Information Systems Frontiers, 11(3): 257-272.
- Stuit, M., Szirbik, NB. (2009). Towards Agent-Based Modeling and Verification of Collaborative Business Processes: An Approach Centered on Interactions and Behaviors. International Journal of Cooperative Information Systems, 18(3-4): 423-479.
- Thomas, O., Fellmann, MAM. (2009). Semantic Process Modeling - Design and Implementation of an Ontology-based Representation of Business Processes. Business & Information Systems Engineering, 1(6): 438-451.
- Wang, CH., Wang, FJ. (2009). Detecting artifact anomalies in business process specifications with a formal model. Journal of Systems and Software, 82(10): 1600-1619.
- Wieczorek, M., Hoheisel, A., Prodan, R. (2009). Towards a general model of the multi-criteria workflow scheduling on the grid. Future Generation Computer Systems - The International Journal of Grid Computing - Theory Methods and Applications, 25(3): 237-256.
2008
- Bhiri, S., Gaaloul, W., Godart, C. (2008). Mining and improving composite Web services recovery mechanisms. International Journal of Web Services Research, 5(2): 23-48.
- Bonchi, F., Brogi, A., Corfini, S., et al. (2008). On the Use of Behavioural Equivalences for Web Services' Development. Fundamenta Informaticae, 89(4): 479-510.
- Bottoni, P., Guerra, E., de Lara, J. (2008). Enforced generative patterns for the specification of the syntax and semantics of visual languages. Journal of Visual Languages and Computing, 19(4): 429-455.
- Canfora, G.,Di Penta., M., Esposito, R., et l. (2008). A framework for QoS-aware binding and re-binding of composite web services. Journal of Systems and Software, 81(10): 1754-1769.
- Cardoso, J. (2008). Business process control-flow complexity: Metric, evaluation, and validation. International Journal of Web Services Research. 5(2): 49-76.
- Chen, JJ., Yang, Y. (2008). A taxonomy of grid workflow verification and validation. Concurrency and Computation - Practice & Experience, 20(4): 347-360.
- Chi, Y-L., Lee, H-M. (2008). A Formal Modeling Platform for Composing Web Services. Expert Systems with Applications. 35(2).
- Eshuis, R., Grefen, P. (2008). Constructing customized process views. Data & Knowledge Engineering, 64(2): 419-438.
- Garcia, JG., Lemaigre, C., Calleros, JMG, Vanderdonckt, J. (2008). Model-Driven Approach to Design User Interfaces for Workflow Information Systems. Journal of Universial Computer Science, 14(19): 3160-3173.
- Gomes, C., Rana, OK., Cunha, J. (2008). Extending grid-based workflow tools with patterns/operators. International Journal of High Performance Computing Applications, 22(3): 301-318.
- Ha, S., Suh, HW. (2008). A timed colored Petri nets modeling for dynamic workflow in product development process. Computers in Industry, 59(2-3): 193-209.
- Hauser, RF., Friess, M., Kuster, JM., et al. (2008). An incremental approach to the analysis and transformation of workflows using region trees. IEEE Transactions on Systems Man and Cybernetics Part C - Applications and Reviews, 38(3): 347-359.
- Heinrich, B., Bewernik, MA., Henneberger, M., et al. (2008). SEMPA - A Semantic Business Process Management Approach for the Planning of Process Models. Wirtschaftsinformatik, 50(6): 445-460.
- Li, YJ., Lin, C., Li, QL. (2008). A simplified framework for stochastic workflow networks. Computers & Mathematics with Applications, 56(10): 2700-2715.
- Liu, YB., Wang, JM., Yang, Y., Sun, JG. (2008). A semi-automatic approach for workflow staff assignment. Computers in Industry, 59(5): 463-476.
- Popova, V., Sharpanskykh, A. (2008). Process-oriented organisation modelling and analysis. Enterprise Information Systems, 2(2): 161-193.
- Tsesmetzis, D., Roussaki, I., Sykas, E. (2008). QoS-aware service evaluation and selection. European Journal of Operational Research, 191(3): 1101-1112.
- Weber, B., Reichert, M., Rinderle-Ma, S. (2008). Change patterns and change support features - Enhancing flexibility in process-aware information systems. Data & Knowledge Engineering, 66(3): 438-466.
- Wu, QY., Pu, C., Sahai, A., Barga, R. (2008). DSCWeaver: Synchronization-constraint aspect extension to procedural process specification languages. International Journal of Web Services Research, 5(3): 96-117.
2007
- Bae, J., Liu, L., Caverlee, J., et al. (2007). Development of distance measures for process mining, discovery, and intergration. International Journal of Web Services Research, 4(4): 1-17.
- Barbosa, M.A., Barbosa, L.S. (2007). Configuration of Web Services. Electronic Notes in Theoretical Computer Science. 175(2): 39-57.
- Blake, MB. (2007). Decomposing composition: Service-oriented software engineers. IEEE Software, 24(6): 68-77.
- Braghetto, K.R., Ferreira, J.E., Pu, C. (2007). Using Control-Flow Patterns for Specifying Business Processes in Cooperative Environments. Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15. Pages: 1234-1241.
- Cardoso, J. (2007). Complexity Analysis of BPEL Web Processes. Software Process: Improvement and Practice, 12(1): 35-49.
- Cartmell, J., Krstajic, D., Leahy, D.E. (2007). Competitive Workflow: Novel Software Architecture for Automating Drug Design. Current Opinion in Drug Discovery & Development. 10(3): 347-352.
- Cheng, B.H.C., Atlee, J.M. (2007). Research Directions in Requirements Engineering. 2007 Future of Software Engineering,Minneapolis, USA, May 20-26. Pages: 285-303.
- de Moor, A., Weigand, H. (2007). Formalizing the Evolution of Virtual Communities. Information Systems. 32(2): 223-247.
- Dijkman, R.M., Dirgahayu, T., Quartel, D.A.C. (2007). The Adequacy of Languages for Representing Interaction Mechanisms. Information Systems Frontiers. 9(4): 359-373.
- Greco, G., Guzzo, A., Manco, G., Sacca, S. (2007). Mining Unconnected Patterns in Workflows. Information Systems. 32(5): 685-712.
- Gregory, S., Paschali, M. (2007). A Prolog-Based Language for Workflow Programming. Coordination Models and Languages. LNCS Vol. 4467. Pages: 56-75. Springer.
- Gooneratne, N., Tari, Z., Harland, J. (2007). Verification of Web Service Descriptions Using Graph-Based Traversal Algorithms. Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15. Pages: 1385-1392.
- Kim, J.B., Kersten, G.E., Law, K.P., Strecker, S. (2007). E-Negatiation System Development: Using Negotiation Protocols to Manage Software Components. Group Decision and Negotiation. 16(4): 321-334.
- Kong, W., Ogata, K., Futatsugi, K. (2007). Specification and verification of workflows with RBAC mechanism and SoD constraints. International Journal of Software Engineering and Knowledge Engineering, 17(1): 3-32.
- Li, B., Iijima, J. (2007). A situation calculus based approach to dynamic management of e-Business services. Journal of Systems Science and Systems Engineering, 16(3): 336-355.
- Norta, A., Grefen, P. (2007). Discovering patterns for inter-organizational business process collaboration. International Journal of Cooperative Information Systems, 16(3-4): 507-544.
- Philippi, S., Hill, H. S. (2007). Communication Support for Systems Engineering - Process Modelling and Animation with APRIL. Journal of Systems and Software. 80(8): 1305-1316.
- Shen, J., Yang, Y., Yan, J. (2007). A p2p based service flow system with advanced ontology-based service profiles. Advanced Engineering Informatics. 21(2): 221-229.
- Some, SS. (2007). Specifying Use Case Sequencing Constraints Using Description Elements. Proceedings of the 6th International Workshop on Scenarios and State Machines, Minneapolis, USA. May. Page: 4.
- Sun, W., Zhang, X., Liu, Y., et al. (2007). Abstract logic tree based framework for component based solution composition design and execution. International Journal of Software Engineering and Knowledge Engineering, 17(2): 249-263.
- Truong, H-L., Dustdar, S., Fahringer, T. (2007). Performance Metrics and Ontologies for Grid Workflows. Future Generation Computer Systems. 23(6): 760-772.
- Xu, K., Liu, L., Wu, C. (2007). A Three-Layered Method for Business Process Discovery and its Application in Manufacturing Industry. Computers in Industry. 58(3): 265-278.
- Yingbo, L., Jianmin, W., Jiaguang, S. (2007). A Machine Learning Approach to Semi-Automating Workflow Staff Assignment. Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15. Pages: 340 - 345.
2006
- Altenhofen, M., Boger, E., Lemcke, J. (2006). A High-Level Specification for Mediators (Virtual Providers). Proceedings of the Workshop on Web Service Choreography and Orchestration for Business Process Management - Revised Selected Papers, Nancy, France, September 5. LNCS Vol. 3812. Pages: 116-129.
- Ben Lakhal, N., Kobayashi, T., Yokota, H. (2006). Dependability and Flexibility Centered Approach for Composite Web Services Modeling. International Conference on Cooperative Information Systems (CoopIS 2006). LNCS Vol. 4275. Pages: 163-182.
- Bhat, V., et al. (2006). Enabling Self-Managing Applications using Model-Based Online Control Strategies. The 3rd IEEE International Conference on Autonomic Computing (ICAC 06), Dublin, Ireland, June 13-16. Pages: 15-24.
- Bocchi, L., Ciancarini, P. (2006). On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science. 160: 113-126.
- Boreale, M., Bruni, R., Caires, L., et al. (2006). SCC: A Service Centered Calculus. Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, September 8-9. LNCS Vol. 4184. Pages: 38-57.
- Bowers, S., Ludascher, B., Ngu, A., Critchlow, T. (2006). Enabling Scientific Workflow Reuse Through Structured Composition of Dataflow and Control-Flow. Proceedings of the IEEE Workshop on Workflow and Data Flow for Scientific Applications (SciFlow'06) in conjunction with the 22nd International Conference on Data Engineering (ICDE 2006). Altanta, Georgia, USA, April 8. Page: 70.
- Brambilla, M., Ceri, S., Fraternali, P., Manolescu, I. (2006). Process Modeling in Web Applications. ACM Transactions on Software Engineering and Methodology (TOSEM). 15(2): 360-409. ACM Press.
- Brocks, H., Meyer, H., Kamps, T. (2006). The Extended Process Model - Transforming Process Specifications into Ontological Representations. Cybemetics and Systems: An International Journal. 37(2-3): 261-281.
- Brogi, A., Popescu, R. (2006). From BPEL Processes to YAWL Workflows. Proceedings of the 3 rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, September 8-9. LNCS Vol 4184, Pages: 107-122.
- Bruni, R., Melgratti, H., Tuosto, E. (2006). Translating Orc Features into Petri Nets and the Join Calculus. Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, September 8-9. LNCS Vol. 4184, Pages: 123-137.
- Caeiro-Rodriguez, M., Anido-Rifon, L., Llamas-Nistal, M. (2006). A Proposal of Separation of Concerns in EMLs and Its Relationwith LD. The 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The Netherland, July 5-7. Pages: 76-80.
- Charfi, A., Mezini, M. (2006). Aspect-Oriented Workflow Languages. Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS), Montpellier, France, November 1-3. LNCS Vol 4275. Pages: 183-200.
- Chen, A., Buchs, D. (2006). Generative Business Process Prototyping Framework. Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP'06), Chania, Crete, Greece, June 14-16. Pages: 140-148.
- Chen, A., Buchs, D. (2006). Towards Service-Based Business Process Modeling, Prototyping and Integration. Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005), Heraklion, Crete, Greece, September 8-9. Revised Selected Papers. LNCS Vol 3943, Pages: 218-233
- Chen, J., Yang, Y. (2006). Key Research Issues in Grid Workflow Verification and Validation. Proceedings of the 2006 Australasian Workshops on Grid Computing and e-Research - Volume 54, Hobart , Australia , January 16-19. Pages: 97-104
- Cicekli, N., Cicekli, I. (2006). Formalizing the Specification and Execution of Workflow Using the Event Calculus. Information Sciences. 176(15): 2227-2267.
- Cook, W., Patwardhan, S., Misra, J. (2006). Workflow Patterns in Orc. Proceedings of the International Conference on Coordination Models and Languages (COORDINATION 2006). Bologna, Italy, June 14-16. Pages: 82 - 96.
- Cybok, D. (2006). A Grid Workflow Infrastructure. Concurrency and Computation: Practice and Experience. 18(10): 1243-1254.
- Czekierda, L., Zielinski, K. (2006). Applying Workflow to Experiment Control in Virtual Laboratory. Proceedings of the 6th International Conference on Computational Science (ICCS 2006), Reading, UK, May 28-31. Pages: 940-943.
- Danciu, V.A. (2006). Formalisms for IT Management Process Representation. The First IEEE/IFIP International Workshop on Business-Driven IT Management (BDIM 2006), Vancouver, Canada, April 7. Pages: 45-54.
- Decker, G., Puhlmann, F., Weske, M. (2006). Formalizing Service Interactions. Proceedings of the 4th International Conference on Business Process Management (BPM 2006), Vienna, Austria, September 5-7. LNCS Vol 4102. Pages: 414-419.
- Dekeyser, S., Hidders, J., Watson, R., Addie, R. (2006). Peer-to-Peer Form Based Web Information Systems. Proceedings of the 17th Australasian Database Conference (ADC2006). Hobart, Tasmania, Australia, January 16-19. Pages: 79-88.
- Ehrler, L., Fleurke, M., Purvis, M., Savarimuthu, B. (2006). Agent-Based Workflow Management Systems (WfMSs): JBee: A Distributed and Adaptive WfMS with Monitoring and Controlling Capabilities. Information Systems and e-Business Management. 4(1): 5-23.
- Eshuis, R., Grefen, P., Till, S. (2006). Structured Service Composition. Proceedings of the 4th International Conference of Business Process Management (BPM 2006), Vienna, Austria, September 5-7. LNCS Vol 4102. Pages: 97-112.
- Ferreira, H.M., Ferreira, D.R. (2006). An Integrated Life Cycle for Workflow Management Based on Learning and Planning. International Journal of Cooperative Information Systems. 15(4): 485-505.
- Forster, A., Engels, G., Schattkowsky, T., van der Straeten, R. (2006). A Pattern-Driven Development Process for Quality Standard-Conforming Business Process Models. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton, UK, September 4-8. Pages: 135-142.
- Fortino, G., Garro, A., Russo, W. (2006). From Modeling to Enactment of Distributed Workflows: An Agent-Based Approach. Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 06), Dijon, France, April 23-27. Pages: 128-129
- Gaaloul, W., Baina, K., Godart, C. (2006). A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis. Proceedings of the 2nd International Workshop on Data Engineering Issues in E-Commerce and Services (DEECS 2006), San Francisco, USA, June 26. LNCS Vol 4055, Pages: 182-197.
- Gao, A., Yang, D., Tang, S., Zhang, M. (2006). Mining Models of Composite Web Services for Performance Analysis. Proceedings of the 11th International Conference on Database Systems for Advanced Applications (DASFAA 2006), Singapore, April 12-15. Pages: 828-837.
- Gao, A., Yang, D., Tang, S., Zhang, M. (2006). QoS-Driven Web Service Composition with Inter Service Conflicts. Frontiers of WWW Research and Development - APWeb 2006, 8th Asia-Pacific Web Conference, Harbin, China, January 16-18. LNCS Vol. 3841. Pages: 121-132.
- Gubala, T., Bubak, M., Malawski, M., Rycerz, K. (2006). Semantic-Based Grid Workflow Composition. Proceedings of the 2nd Grid Application and Middleware Workshop (GAMW 2005) - Revised Papers, Poznan, Poland, September 11-14. LNCS Vol. 3911. Pages: 651-658.
- Haller, A., Oren, E. (2006). m3pl: A Work-FLOWS Ontology for Modeling Choreography Interfaces. Proceedings of the Workshop on Semantics for Business Process Management, in conjucntion with the 3rd Annual European Semantic Web Conference (ESWC 2006), Budva, Montenegro, June 11.
- Haller, A., Oren, E., Kotinurmi, P. (2006). An Ontology for Internal and External Business Processes. Proceedings of the 15th International World Wide Web Conference (WWW 2006), Edinburgh, Scotland. May 23 -26. Pages: 1055 - 1056.
- Heinis, T., Pautasso, C., Alonso, G. (2006). A Self-Configuring Service Composition Engine. In: Autonomic Computing: Concepts, Infrastructure, and Applications. Pages 237-252. CRC Press.
- Hernandez, F., Bangalore, P., Gray, J., Guan, Z., Reilly, K. (2006). GAUGE: Grid Automation and Generative Environment. Concurrency and Computation: Practice and Experience. 18(10): 1293-1316.
- Hicheur, A., Barkaoui, K., Boudiaf, N. (2006). Modeling Workflows with Recursive ECATNets. Proceedings of the 8 th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 06), Timisoara, Romania, September 26-29. Pages: 389-398
- Hofreiter, B., Huemer, C., Kim, J. (2005). Choreography of ebXML Business Collaborations. Information Systems and e-Business Managment. 4(3): 221 - 243.
- Hornung, T., Koschmider, A., Mendling, J. (2006). Integration of Heterogeneous BPM Schemas: The Case of XPDL and BPEL. Proceedings of CAiSE Formum. Luxembourg, June 5-9. Pages: 23-26.
- Jaeger, M.C., Muhl, G. (2006). Soft Real-Time Aspects for Service-Oriented Architectures. The 8th IEEE International Conference on E-Commerce Technology and the The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services. Page: 5.
- Jaeger, M., Rojec-Goldmann, G. (2006). SENECA - Simulation of Algorithms for the Selection of Web Services for Compositions. Proceedings of the 6th International Workshop on Technologies for E-Services (TES 2005), Trondheim, Norway, September 2-3. Revised Selected Papers. Pages: 84-97.
- Jansen-Vullers, M.H., Netjes, M., Reijers, H.A., et al. (2006). A Redesign Framework for Call Centers. Proceedings of the 4th International Conference on Business Process Management (BPM 2006), Vienna, Austria, September 5-7. LNCS Vol. 4102. Pages: 306-321.
- Joncheere, N., Vanderperren, W. (2006). Requirements for an Aspect-Oriented Workflow System for Grid Services. Proceedings of the 4th International Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT 2006), Bonn, Germany, March 21.
- Joncheere, N., Vanderperren, W., van der Straeten, R. (2006). Requirements for a Workflow System for Grid Service Composition. Proceedings of the Workshop on Grid and Peer-to-Peer Based Workflows (GPWW 2006), Vienna, Austria, September. LNCS Vol 4103. Pages: 365-374.
- Jin, X.M., Wei, H.K. (2006). Scenario-Based Comparison and Evaluation: Issues of Current Business Process Modelling Languages. Proceedings of the Institution of Mechanical Engineers Part B- Journal of Engineering Manufacture. 200(9): 1527-1538.
- Khemakhem, S., Drira, K., Jmaiel, M. (2006). SEC: A Search Engine for Component Based Software Development. Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), Dijon, France, April 23-27. Pages: 1745-1750
- Lin, D. (2006). Designing Negotiation Mechanisms for Self-Centred Interorganizational Workflow. Proceedings of the International Student Workshop on Agents. Kyoto, Japan, May 15-16.
- List, B., Horherr, B. (2006). An Evaluation of Conceptual Business Process Modelling Languages. Proceedings of the 21st ACM Symposium on Applied Computing (SAC 2006), Dijon, France, April 23 - 27. Pages: 1532 - 1539.
- Liu, A., Huang, L., Li, Q. (2006). QoS-Aware Web Services Composition Using Transactional Composition Operator. Proceedings of the 7th International Conference on Advances in Web-Age Information Management (WAIM 2006), Hong Kong, China, June 17-19. LNCS Vol 4016, Pages: 217-228.
- Liu, H., Parashar, M. (2006). Accord: A Programming Framework for Autonomic Applications. IEEE Transactions on Systems, Man and Cybernetics, Part C - Applications and Reviews. 36(3): 341-352.
- Lu, R., Sadiq, S., Governatori, G. (2006). Utilizing Successful Work Practice for Business Process Evolution. Proceedings of the 9th International Conference on Business Information Systems (BIS 2006), Klagenfurt, Austria, May 31-June 2. (to appear)
- Ludascher, B., et al. (2006). Scientific Workflow Management and the Kepler System. Concurrency and Computation: Practice and Experience. 18(10): 1039-1065.
- Mendling, J., Lassen, K., Zdun, U. (2006). Transformation strategies between block-oriented and graph-oriented process modelling languages. Proceedings of Multikonferenz Wirtschaftsinformatik 2006 (MKWI 2006), Band 2, XML4BPM Track, Passau, Germany, 22 February. Pages: 297-312.
- Mendling, J., Moser, M., Neumann, G. (2006). Transformation of yEPC Business Process Models to YAWL. Proceedings of the 21st ACM Symposium on Applied Computing (SAC 2006), Dijon, France, April 23-27. Pages: 1262-1266.
- Meyer, H., Kuropka, D. (2006). Requirements for Automated Service Composition. Proceedings of the Advances in Semantics for Web Services Workshop (semantics4ws 2006), Vienna, Austria, September 4. LNCS Vol. 4103. Pages: 447-458.
- Neiger, D., Churilov, L. (2006). Intelligent Decision Support through Synchronized Decomposition of Process and Objectives Structures. Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS 2006), Kauai, Hawaii, January 4-7. Volume 2, Pages: 31.
- Nemeth, Z., Perez, C., Priol, T. (2006). Distributed Workflow Coordination: Molecules and Reactions. Proceedings of the 20 th International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 25-29. Pages: 8.
- Oinn, T., et al. (2006). Taverna: Lessons in Creating a Workflow Environment for the Life Sciences. Concurrency and Computation: Practice and Engineering. 18(10): 1067-1100.
- Omicini, A. Ricci, A., Zaghini, N. (2006). Distributed Workflow Upon Linkable Coordination Artifacts. Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION 2006), Bologna, Italy, June 14-16. LNCS 4038. Pages: 228-246.
- Pourabdollah, A., Hartley, M. (2006). Gathering Unstructured Workflow Data into Relational Database Model Using Process Definition Language. Proceedings of the 24th IASTED International Conference on Database and Applications, Innsbruck, Austria, February 13-15. Pages: 32-37
- Rossi, D. (2006). X-Folders: Documents on the Move. Concurrency and Computation: Practice and Experience. 18(4): 409-425.
- Sun, S., Kumar, A., Yen, J. (2006). Merging Workflows: A New Perspective on Connecting Business Processes. Decision Support Systems. 42(2): 844-858.
- Tretola, G., Zimeo, E. (2006). Workflow Fine-Grained Concurrency with Automatic Continuation. 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 25-29.
- van Hee, K., Lomazova, I., Oanea, O., Serbrenik, A., Sidorova, N., Voorhoeve, M. (2006). Nested Nets for Adaptive Systems. Proceedings of the 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Turku, Finland, June 26-30. Pages: 241-260.
- van Hee, K., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M. (2006). History-Based Joins: Semantics, Soundness and Implementation. Proceedings of the 4th International Conference on Business Process Management (BPM 2006), Vienna, Austria, September 5-7. LNCS Vol 4102, Pages: 225-240.
- Vasko, M., Dustdar, S. (2006). A View Based Analysis of Workflow Modelling Languages. Proceedings of the 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2006), February 15-17. Page: 293 - 300.
- Xu, K., Liu, Y., Wu, C. (2006). Guided Reasoning of Complex E-Business Process with Business Bug Patterns. Proceedings of the IEEE International Conference on e-Business Engineering (ICEBE 06), Shanghai , China , October 24-26. Pages: 195-202
- Winkelmann, K., Luczak, H. (2006). Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets. Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2006), Turku, Finland, June 26-30. LNCS Vol 4024. Pages: 362-380.
- Wu, Q., Pu, C. (2006). DAG Synchrovization Constraint Language for Business Processes. The 8th IEEE International Conference on E-Commerce Technology and the The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services. Page: 10.
2005
- Albert, P., Henocque, L., Kleiner, M. (2005). A Constrained Object Model for Configuration Based Workflow Composition. Proceedings of the Workshop on Web Service Choreography and Orchestration for Business Process Management (WSCOBPM) in conjunction with the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5. Pages: 102-115.
- Albert, P., Henocque, L., Kleiner, M. (2005). Configuration Based Workflow Composition. Proceedings of the IEEE International Conference on Web Services (ICWS 2005), Orlando, Florida, USA. July 11-15. Pages: 285-292.
- Alterhofen, M., Borger, E., Lemcke, J. (2005). An Abstract Model for Process Mediation. Proceedings of the 7th International Conference on Formal Engineering Methods (ICFEM 2005), Manchester, UK, November 1-4. Pages: 81-95.
- Ambrosi, E., Bocchi, L., Ferrari, T., Ronchieri, E. (2005). Grid Workflow Optimization with Inferential Reasoning. Proceedings of CoreGRID Workshop, Poznan, Poland. September 13-14.
- Bai, X., Yu, H., Wang, G., Ji, Y., Marinescu, G., Marinescu, D., Boloni, L. (2005). Coordination in Intelligent Grid Environments. Proceedings of the IEEE, 93(3): 613-630.
- Bassiliades, N., Anagnostopoulos, D., Vlahavas, I. (2005). Web Service Composition Using a Deductive XML Rule Language. Distributed and Parallel Databases, 17(2): 135-178.
- Beco, S. Cantalupo, B., Giammarino, L., Matskanis, N., Surridge, M. (2005). OWL-WS: A Workflow Ontology for Dynamic Grid Service Composition. Proceedings of the 1st International Conference on e-Science and Grid Computing (e-Science 2005), Melbourne, Australia. December 5-8. Pages: 148-155.
- Borges, M.R.S., Pino, J.A., Valle, C. (2005). Support for Decision Implementation and Follow-Up. European Journal of Operational Research. 160(2): 336-352.
- Borges, M.R.S., Vincent, A.F., Penades, M.C., Araujo, R.M. (2005). Introducing Business Process into Legacy Information Systems. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. LNCS Vol. 3649. Pages: 452-457.
- Bouzguenda, L. (2005). How to Design a Loose Inter-Organizational Workflow? An Illustrative Case Study. Proceedings of the 16th International Conference on Database and Expert Systems Applications (DEXA 2005), Copenhagen, Denmark, August 22-26. Pages: 1 - 13.
- Bowers, S., Ludascher, B. (2005). Actor-Oriented Design of Scientific Workflows. Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), Klagenfurt, Austria, October 24-28. Pages: 369-384.
- Brogi, A., Popescu, R. (2005). Towards Semi-Automated Workflow-Based Aggregation of Web Services. Proceedings of the 3rd International Conference on Service Oriented Computing (ICSOC 2005), Amsterdam, The Netherlands, December 12-15. Pages: 214-227.
- Bruno, G., La Rosa, M. (2005). From Collaboration Models to BPEL Processes through Service Models. Proceedings of the Workshop on Web Service Choreography and Orchestration for Business Process Management (WSCOBPM) in conjunction with the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5. Pages: 75 - 88.
- Caeiro-Rodriguez, M., Anido-Rifon, L., Llamas-Nistal, M. (2005). A Perspective and Pattern-Based Evaluation Framework of EMLs' Expressiveness for Collaborative Learning: Application to IMS LD. Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies (ICALT 05), Kaohsiung, Taiwan, July 5-8. Pages: 51-53.
- Caeiro-Rodriguez, M., Llamas-Nistal, M., Anido-Rifon, L. (2005). Modeling Group-Based Education: A Proposal for a Meta-Model. Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), Klagenfurt, Austria, October 24-28. Pages: 96-111.
- Caeiro-Rodriguez, M., Llamas-Nistal, M., Anido-Rifon, L. (2005). Towards a Benchmark for the Evaluation of LD Expressiveness and Suitability. Journal of Interactive Media in Education, 2005/04.
- Caeiro-Rodriguez, M., Llamas-Nistal, M., Anido-Rifon, L. (2005). From Contents to Activities: Modelling Units of Learning. Journal of Universal Computer Science. 11(9): 1458-1469.
- Cartmell, J., Enoch, S., Krstajic, D., Leahy, D. (2005). Automated QSPR through Competitive Workflow. Journal of Computer-Aided Molecular Design. 19(11): 821-833.
- Chen, A., Buchs, D. (2005). Towards Service-Based Business Process Modeling, Prototyping and Integration. Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005), Heraklion, Crete, Greece, September 8-9, Revised Selected Paper. Pages: 218-233.
- Chen, R., Sharman, R., Rao, H., Upadhyaya, S. (2005). Design Principles of Coordinated Multi-Incident Emergency Response Systems. Proceedings of the IEEE International Conference on Intelligence and Security Informatics (ISI 2005), Atlanta, Georgia, USA, May 19-20. Pages: 81 - 98.
- Cho, J., Hsu, C. (2005). A Tool for Minimizing Update Errors for Workflow Applications: The CARD Model. Computers & Industrial Engineering. 49(2): 199-220.
- Conery, J., Catchen, J., Lynch, M. (2005). Rule-Based Workflow Management for Bioinformatics. The VLDB Journal: The International Journal on Very Large Data Bases. 14(3): 318-329.
- Craske, G., Ryan, C. (2005). Adapting Rigidly Specified Workflow in the Absence of Detailed Ontology. Proceedings of On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4. Pages: 5 - 6.
- de Moor, A., Weigand, H. (2005). Communication Pattern Analysis in Communities of Practice. Proceedings of the 10th International Working Conference on the Language-Action Perspective on Communication Modeling, Sweden, June 19-20. Pages: 23-29.
- Dustdar, S. (2005). Reconciling Knowledge Management and Workflow Management Systems: The Activity-Based Knowledge Management Approach. Journal of Universal Computer Science. 11(4): 589-604.
- Feng, Y., Cao, W., Jiannong, C. (2005). Communication Partner Identification in Distributed Job Workflow Execution over the Grid. Proceedings of the 3rd International Workshop on Mobile Distributed Computing in conjunction with the 25th IEEE International Conference on Distributed Computing Systems Workshop (ICDCS 05), Columbus, Ohio, USA, June 6-10. Pages: 587-593.
- Fisteus, J., Fernandez, L., Kloos, C. (2005). Applying Model Checking to BPEL4WS Business Collaborations. Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005), Santa Fe, New Mexico, March 13 -17. Pages: 826-830.
- Foerster, A., Engels, G., Schattkowsky, T. (2005). Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay, Jamaica, October 2-7. Pages: 2-16.
- Gaaloul, W., Alaoui, S., Baina, K., Godart, C. (2005). Mining Workflow Patterns through Event-Data Analysis. Proceedings of 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), Trento, Italy, January 31 - February 4. Pages: 226-229.
- Gaaloul, W., Baina, K., Godart, C. (2005). Towards Mining Structural Workflow Patterns. Proceedings of the 16th International Conference on Database and Expert Systems Applications (DEXA 2005), Copenhagen, Denmark, August 22-26. Pages: 24 - 33.
- Gaaloul, W., Godart, C. (2005). Mining Workflow Recovery from Event Based Logs. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. Pages: 169-185.
- Gao, A., Yang, D., Tang, S., Zhang, M. (2005). Web Service Composition using Integer Programming-Based Models. Proceedings of the IEEE International Conference on e-Business Engineering (ICEBE 2005). Beijing, China, October 18-20. Pages: 603-606.
- Goble, C., Gomez-Perez, A., Gonzalez-Cabero, R., Perez-Hernandez, M. (2005). ODEGSG Framework, Knowledge-Based Annotation and Design of Grid Services. Proceedings of the 3rd International Conference on Service Oriented Computing (ICSOC 2005), Amsterdam, The Netherlands, December 12-15. Pages: 341-352.
- Goderis, A., Sattler, U., Lord, P., Goble, C. (2005). Seven Bottlenecks to Workflow Reuse and Repurposing. Proceedings of the 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland. November 6-10. Pages: 323 - 337.
- Goedertier, S., Vanthienen, J. (2005). Rule-Based Business Process Modelling and Execution. Proceedings of the IEEE EDOC Workshop on Vocabularies Ontologies and Rules for the Enterprise (VORTE 2005).
- Granell, C., Gould, M., Ramos, F. (2005). Service Composition for SDIs: Integrated Components Creation. Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), Copenhagen, Denmark, August 22-26. Pages: 475-479.
- Gronmo, R., Jaeger, M. (2005). Model-Driven Methodology for Building QoS-Optimised Web Service Compositions. Proceedings of the 5th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2005), Athens, Greece, June 15-17. Pages: 68 - 82.
- Guabtni, A., Charoy, F., Godart, C. (2005). Customizable Isolation in Transactional Workflow. Proceedings of the 1st International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA 2005), Geneva, Switzerland, February 23-25. Pages: 197 - 202.
- Huang, P. (2005). Capacity Allocation for Business Processes with QoS Requirements: A Heavy Traffic Approach. Proceedings of the IEEE International Conference on e-Business Engineering (ICEBE 2005). Beijing, China, October 18-20. Pages: 488-496.
- Isiklar, O., Sennaroglu, B. (2005). Applying a Generic Workflow Modelling Technique to Production Workflows. Proceedings of the 35th International Conference on Computers and Industrial Engineering, Istanbul, Turkey. June 19-22.
- Jaeger, M., Ladner, H. (2005). Improving the QoS of WS Compositions Based on Redundant Services. Proceedings of the International Conference on Next Generation Web Services Practices (NWeSP 2005), August 22-26. Pages: 189 - 194.
- Jaeger, M., Muhl, G., Golze, S. (2005). QoS-Aware Composition of Web Services: A Look at Selection Algorithms. Proceedings of the IEEE International Conference on Web Services (ICWS 2005), Orlando, Florida, USA. July 11-15. Pages: 807-808.
- Jaeger, M., Muhl, G., Golze, S. (2005). QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms. Proceedings of the OTM Confederated International Conferences, Agia Napa, Cyprus, October 31 - November 4. LNCS Vol 3760. Pages: 646-661.
- Jaeger, M., Rojec-Goldmann, G., Muhl, G. (2005). QoS Aggregation in Web Service Compositions. Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE 2005), Hong Kong, China, March 29 - April 1. Pages: 181-185.
- Johannesson, P., Perjons, E., Wangler, B., Ahlfeldt, R. (2005). Design Solutions for Interoperability using a Process Manager. Proceedings of the 1st International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA 2005), Geneva, Switzerland, February 23-25. Pages: 397 - 408.
- Jugravu, A., Fahringer, T. (2005). Scheduling Workflow Distributed Applications in JavaSymphony. Proceedings of the 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2. Pages: 272.
- Kalinichenko, L., Stupnikov, S., Zemtsov, N. (2005). Extensible Canonical Process Model Synthesis Applying Formal Interpretation. Proceedings of the 9th East-European Conference on Advances in Databases and Information Systems (ADBIS 2005), Tallinn, Estonia, September 12-15. Pages: 183 - 198.
- Kuhne, S., Thranert, M., Bottcher, M. (2005). A Tool Approach for Supporting Software Service Co-Design. Proceedings of the 4th International Conference on Business Informatics Research. Pages: 67-80.
- Laneve, C., Zavattaro, G. (2005). Webπ at Work. Proceedings of Symposium on Trustworthy Global Computing (TGC 05).
- Lenz, K., Mevius, M., Oberweis, A. (2005). Process-Oriented Business Performance Management with Petri Nets. Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE 2005). Hong Kong, China, March 29 - April 1. Pages: 89-92.
- Li, S.Y., Song, B.H. (2005). Normalized Workflow Net (NWF-net): Its Definition and Properties. Future Generation Computer Systems. 21(7): 1004-1014.
- Liu, H., Bhat, V., Parashar, M., Klasky, S. (2005). An Autonomic Service Architecture for Self-Managing Grid Applications. Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing. Pages: 8.
- Liu, R., Kumar, A. (2005). An Analysis and Taxonomy of Unstructured Workflows. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. Pages: 268 - 284.
- Marco, G., Mazzocca, N., Francesco, M, Vittorini, V. (2005). Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. Proceedings of the 2nd International Conference on the Quantitative Evaluation of Systems. Torino, Italy, September 19-22. Pages: 85-94.
- Meena, H., Saha, I., Mondal, K., Prabhakar, T. (2005). An Approach to Workflow Modeling and Analysis. Proceedings of the 2005 OOPSLA Workshop on Eclispe Technology eXchange, San Diego, California, USA, October. Pages: 85-89.
- Mendling, J., Neumann, G., Nuttgens, M. (2005). Yet Another Event-Driven Process Chain. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. Pages: 428 - 433.
- Mendling, J., Neumann, G., Nuttgens, M. (2005). Yet Another Event-Driven Process Chain Modeling Workflow Patterns with yEPCs. Enterprise Modelling and Information Systems Architectures - International Journal. Pages: 3-13.
- Mendling, J., Perez de Laborda, C., Zdun, U. (2005). Towards an Integrated BPM Schema: Control Flow Heterogeneity of PNML and BPEL4WS. Post-Proceedings of the 3rd Conference of Professional Knowledge Management (WM 2005). Pages: 570-579.
- Mendling, J., Perez de Laborda, C., Zdun, U. (2005). Towards Semantic Integration of XML-Based Business Process Models. Proceedings of the Semantic Model Integration Workshop (SMI 2005), Kaiserslautern, Germany, April.
- Meyer, L., Rossle, S., Bisch, P., Mattoso, M. (2005). Parallelism in Bioinformatics Workflows. Proceedings of the 6th International Conference on High Performance Computing for Computational Science (VECPAR 2004), Valencia, Spain, June 28-30, Revised Selected and Invited Papers. Pages: 583 - 597.
- Msanjila, S., Tewoldeberhan, T., Bockstael-Blok, W., Janssen, M., Verbraeck, A. (2005). E-supply Chain Orchestration Using Web Service Technologies: A Case Using BPEL4WW. Proceedings of IRMA 2005 Conference, San Diego, US.
- Nemeth, Z., Perez, C., Priol, T. (2005). Workflow Enactment Based on a Chemical Metaphor. Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, September 7-9. Pages: 127-136.
- Nysetvold, A., Krogstie, J. (2005). Assessing Business Processing Modeling Languages Using a Generic Quality Framework. Proceedings of the CAiSE 2005 Workshops. Porto, Portugal, June 13 -17. Pages: 545-556.
- Overdick, H., Puhlmann, F., Weske, M. (2005). Towards a Formal Model for Agile Service Discovery and Integration. Proceedings of the International Workshop in Dynamic Web Processes, Associate with 3rd International Conference on Service Oriented Computing, Amsterdam, The Netherlands, December 12-15.
- Pautasso, C., Alonso, G. (2005). The JOpera Visual Composition Language. Journal of Visual Languages & Computing. 16(1-2): 119-152.
- Pfadenhauer, K., Dustdar, S., Kittl, B. (2005). Challenges and Solutions for Model Driven Web Service Composition. Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise, (WETICE 2005), Linkoping, Sweden, June 13-15. Pages: 126-131.
- Pfadenhauer, K., Dustdar, S., Kittl, B. (2005). Comparison of Two Distinctive Model Driven Web Service Orchestration Proposals. Proceedings of the 7th IEEE International Workshops on E-Commerce Technology (CEC Workshops 2005), Munich, Germany. July 19. Pages: 29-36.
- Puhlmann, F., Weske, M. (2005). Using the π-Calculus for Formalizing Workflow Patterns. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. Pages: 153-168.
- Qian, Z., Lu, S., Xie, L. (2005). Mobile-Agent-Based Web Service Composition. Proceedings of the 4th International Conference on Grid and Cooperative Computing (GCC 2005), Beijing, China, November 30 - December 3. Pages: 35-46.
- Quartel, D., Dijkman, R., van Sinderen, M. (2005). An Approach to Related Business Application Services using ISDL. Proceedings of the 9th IEEE International Enterprise Computing Conference (EDOC 05). Pages: 157-168.
- Recker, J., Indulska, M., Rosemann, M., Green, P. (2005). Do Process Modelling Techniques Get Better? A Comparative Ontological Analysis of BPMN. Proceedings of the 16th Australasian Conference on Information Systems, November 29 - December 2, Sydney.
- Reiter, T., Kapsammer, E. (2005). A Generator Framework for Domain-Specific Model Transformation Languages. Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS).
- Rinderle, S., Benyoucef, M. (2005). Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach. Proceedings of the 6th International Conference on Web Information Systems Engineering (WISE 2005), New York, USA, November 20-22. Pages: 443-453.
- Senkul, P., Toroslu, I. (2005). An Architecture for Workflow Scheduling Under Resource Allocation Constraints. Information Systems. 30(5): 399-422.
- Specht, T., Drawehn, J., Thranert, M., Kulne, S. (2005). Modeling Cooperative Business Processes and Transformation to a Service Oriented Architecture. Proceedings of the 7th IEEE International Conference on E-Commerce Technology (CEC 2005). Munich, Germany. July 19 - 22. Pages: 249-256.
- Stollberg, M., et al. (2005). Semantic Web Fred - Automated Goal Resolution on the Semantic Web. Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS 2005), Big Island, Hawaii, January 3-6. Page: 111.
- Streit, A., Pham, B., Brown, R. (2005). Visualization Support for Managing Large Business Process Specifications. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. Pages: 205-219.
- Tewoldeberhan, T., Verbraeck, A., Msanjila, S. (2005). Simulating Process Orchestrations in Business Networks: A Case Using BPEL4WS. Proceedings of the 7th International Conference on Electronic Commerce. Xian, China, August 15 - 17. Pages: 471-477.
- Thom, L., Iochpe, C., Mitschang, B. (2005). Improving Workflow Project Quality Via Business Process Patterns Based on Organizational Structure Aspects. Proceedings of the 2nd GI Workshop XML4BPM - XML Interchange Formats for Business Process Management, Karlsruhe, Germany, March 1. Pages: 65-80.
- Truong, H., Fahringer, T., Nerieri, F., Dustdar, S. (2005). Performance Metrics and Ontology for Describing Performance Data of Grid Workflows. Proceedings of the IEEE International Symposium on Cluster Computing and the Grid (CCG 2005). Pages: 301-308.
- Vassiliadis, P., Simitsis, A., Georgantas, R., Terrovitis, M., Skiadopoulos, S. (2005). A Generic Customizable Framework for the Design of ETL Scenarios. Information Systems Journal. 30(7): 492 - 525.
- von Susani, O., Dugerdil, P. (2005). Contract-Based Cross-Organizational Automated Processes. Proceedings of the 7th International IEEE Conference on E-Commerce Technology (CEC 2005), Munich, Germany, July 19 - 22. Pages: 540-543.
- von Susani, O., Dugerdill, P. (2005). Cross-Organizational Service Maintenance using Temporal Availability Specification and Contracts. Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005). Pages: 230-239.
- Weske, M., Vossen, G., Puhlmann, F. (2005). Workflow and Service Composition Languages. Handbook on Architectures of Information Systems. Pages: 369-390.
- Winkelmann, K. (2005). Application of Coloured Petri Nets in Cooperative Provision of Industrial Services. Proceedings of the 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 05),October 24-26.
- Xu, L., Brinkkemper, S. (2005). Modeling Multi-Party Web-Based Business Collaborations. Proceedings of On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4. Pages: 866 - 875.
- Yu, J., Buyya, R. (2005). A Taxonomy of Workflow Management Systems for Grid Computing. Journal of Grid Computing. 3(3-4): 171-200.
- Zhao, Q. (2005). Performance Bounds for a Class of Workflow Diagrams. Proceedings of the International Conference on Intelligent Computing (ICIC 2005), Hefei, China, August 23-26. Pages: 626 - 635.
- Zhao, Z., et al. (2005). Scientific Workflow Management Between Generality and Applicability. Proceedings of the 5th International Conference on Quality Software (QSIC 05). Pages: 357-364.
- Zhao, Z., Belloum, A., Yakali, H., Sloot, P., Hertzberger, B. (2005). Dynamic Workflow in a Grid Enabled Problem Solving Environment. Proceedings of the 5th International Conference on Computer and Information Technology (CIT 2005). Pages: 339-345.
- Zhao, Z., van Albada, D., Sloot, P. (2005). Agent-Based Flow Control for HLA Components. SIMULATION. 81(7): 487-501.
- Zhao, Z., van Albada, D., Sloot, P. (2005). Rapid Prototyping of Complex Interactive Simulation Systems. Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005). Shanghai, China, June 16-20. Pages: 366-375.
2004
- Biuk-Aghai, R., Simoff, S. (2004). Patterns of Virtual Collaboration in Online Collaboration Systems. Proceedings of the IASTED International Conference on Knowledge Sharing and Collaborative Engineering, St. Thomas, Virgin Islands, November 22-24.
- da Costa, L., Pires, P., Mattoso, M. (2004). Automatic Composition of Web Services with Contingency Plans. Proceedings of the IEEE International Conference on Web Services (ICWS 2004), San Diego, California, USA, July 6-9. Pages: 454-461.
- da Costa, L., Pires, P., Mattoso, M. (2004). WebComposer: A Tool for the Composition and Execution of Web Service-Based Workflows. Proceedings of WebMedia and LA-Web, October 12-15. Pages: 30-37.
- de Backer, M. (2004). On the Verification of Web Services Compatibility: A Petri Net Approach. Proceedings of the
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29. Pages: 810-821.
- Dimitrov, M., Marinova, Z., Radkov, P. (2004). SWWS Studio - A WSMO Compliant Editor. Proceedings of WSMO Implementation Workshop (WIW 2004), Frankfurt, Germany, September 29-30.
- Dustdar, S. (2004). Caramba - A Process-Aware Collaboration System Supporting Ad Hoc and Collaborative Processes in Virtual Teams. Distributed and Parallel Databases. 15(1): 45-66.
- Fernandes, S., Cachopo, J., Silva, A. (2004). Supporting Evoluation in Workflow Definition Languages. Proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2004), Czech Republic, January 24-30. Pages: 208-217.
- Ferreira, D., Ferreira, J. (2004). Developing a Reusable Workflow Engine. Journal of Systems Architecture: the EUROMICRO Journal. 50(6): 309-324.
- Gaaloul, W., Bhiri, S., Godart, C. (2004). Discovering Workflow Transactional Behavior from Event-Based Log. Proceedings of the 12th International Conference on Cooperative Information Systems (CoopIS 04), Larnaca, Cyprus, October 25-29.
- Gomes, C., Rana, O., Cunha, J. (2004). Pattern/Operator Based Problem Solving Environments. Proceedigs of the 10th International Euro-Par Conference on Parallel Processing (Euro-Par 2004), Pisa, Italy, August 31- September 3. Pages: 964.
- Gomez-Perez, A., Gonzalez-Cabero, R., Lama, M. (2004). Development of Semantic Web Services at the Knowledge Level. Proceedings of the European Conference on Web Services (ECOWS 2004), Erfurt, Germany. September 27 - 30. Pages: 72-86.
- Gomez-Perez, A., Gonzalez-Cabero, R., Lama, M. (2004). A Framework for Design and Composition of Semantic Web Services. Semantic Web Services, AAAI Spring Symposium Series, March 22-24.
- Gomez-Perez, A., Gonzalez-Cabero, R., Lama, M. (2004). ODE SWS: A Framework for Designing and Composing Semantic Web Services. IEEE Intelligent Systems. 19(4): 24-31.
- Granell, C., Ramos, J. (2004). An Object-Oriented Approach to GI Web Service Composition. Proceedings of the 15th International Workshop on Database and Expert Systems Applications, Zaragoza, Spain, August 30 - September 3. Pages: 835-839.
- Guabtni, A., Charoy, F. (2004). Multiple Instantiation in a Dynamic Workflow Environment. Proceedings of the 16th International Conference on Advanced Information Systems Engineering (CAiSE 2004), Riga, Latvia, June 7-11. Pages: 175-188.
- Hagen, M., Gruhn, V. (2004). Towards Flexible Software Processes by using Process Patterns. Proceedings of the 8th ISATED International Conference on Software Engineering and Applications (SEA2004), Cambridge, USA, November 8-11.
- Hu, H., Han, Y., Huang, K., Li, G., Zhao, Z. (2004). A Pattern-Based Approach to Facilitating Service Composition. Proceedings of the International Workshop on Information Grid and Knowledge Grid (IGKG 2004), China, October 21-24. Pages: 90-98.
- Huang, K., Zhou, Z., Han, Y., Li, G., Wang, J. (2004). An Algorithm for Calculating Process Similarity to Cluster Open-Source Process Designs. Proceedings of the International Workshop on Information Grid and Knowledge Grid (IGKG 2004) as part of the Grid and Cooperative Computing Workshops (GCC Workshops 2004), Wuhan, China, October 21-24. Pages: 107-114.
- Jaeger, M., Rojec-Goldmann, G., Muhl, G. (2004). QoS Aggregation of Web Service Composition using Workflow Patterns. Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), Monterey, USA, September 20-24. Pages: 149-159.
- Kim, J., Huemer, C. (2004). Analysis, Transformation and Improvements of ebXML Choreographies Based on Workflow Patterns. Proceedings of the OTM Confederated International Conferences (OTM 04), Agia Napa, Cyprus, October 25-29. Pages: 66 - 84.
- Kim, J., Huemer, C. (2004). From an ebXML BPSS Choreography to a BPEL-Based Implementation. ACM SIGecom Exchanges. 5(2): 1-11.
- Kwon, Y., Ryu, S., Choi, J., Jeong, C. (2004). Workflow-Based Approach to Efficient Programming and Reliable Execution of Grid Applications. Proceedings of the 3rd International Conference on Grid and Cooperative Computing (GCC 2004), Wuhan, China, October 21-24. Pages: 81-88.
- Kwon, Y., Ryu, S., Park, J., Jeong, C. (2004). A Workflow-Based Grid Portal for Problem Solving Environment. Proceedings of the IFIP International Conference on Network and Parallel Computing (NPC 2004), Wuhan, China, October 18-20. Pages: 47.
- Kwon, Y., Ryu, S., Jeong, C., Park, H. (2004). XML-Based Workflow Description Language for Grid Applications. Proceedings of the International Conference on Computational Science and Its Applications (ICCSA 2004), Assisi, Italy, May 14-17. Pages: 319-327.
- Lin, C., Qu, Y. (2004). Temporal Inference of Workflow Systems Based on Time Petri Nets: Quantitative and Qualitative Analysis. International Journal of Intelligent Systems. 19(5): 417-442.
- Madhusudan, T., Zhao, J., Marshall, B. (2004). A Case-Based Reasoning Framework for Workflow Model Management. Data & Knowledge Engineering. 50(1): 87-115.
- Mendling, J., Neumann, G., Nuttgens, M. (2004). A Comparison of XML Interchange Formats for Business Process Modelling. Proceedings of EMISA 2004 - Information Systems in E-Business and E-Government.
- Mou, Y., Cao, J., Zhang, S. (2004). A Process Component Model for Enterprise Business Knowledge Reuse. Proceedings of the IEEE International Conference on Services Computing (SCC 2004), Shanghai, China, September 15-18. Pages: 409-412.
- Mourao, H., Antunes, P. (2004). Exception Handling Through a Workflow. Proceedings of the OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29. Pages: 37.
- Nanda, M.G., Karnik, N. (2004). Synchronization Analysis for Decentralizing Composite Web Services. International Journal of Cooperative Information Systems. 13(1): 91-119.
- Narendra, N. (2004). Flexible Support and Management of Adaptive Workflow Processes. Information Systems Frontiers. 6(3): 247-262.
- Novatnack, J., Koehler, J. (2004). Using Patterns in the Design of Inter-Organizational Systems - An Experience Report. Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29. Pages: 444 - 455.
- Quartel, D., Dijkman, R., van Sinderen, M. (2004). Methodological Support for Service-Oriented Design with ISDL. Proceedings of the 2nd International Conference on Service Oriented Computing, New York, USA, November 15-18. Pages: 1-10.
- Reijers, H., Vanderfeesten, I. (2004). Cohesion and Coupling Metrics for Workflow Process Design. Proceedings of the 2nd International Conference on Business Process Management (BPM 2004), Potsdam, Germany, June 17-18. Pages: 290-305.
- Savarimuthu, B., Purvis, M., Fleurke, M. (2004). Monitoring and Controlling of a Multi-Agent Based Workflow System. Proceedings of the 2nd Workshop on Australasian Information Security, Data Mining and Web Intelligence, and Software Internationalisation, Dunedin, New Zealand. Pages: 127-132.
- Savarimuthu, B., Purvis, M. (2004). Towards a Multi-Lingual Workflow System: A Practical Outlook. Proceedings of the 2nd Workshop on Australasian Information Security, Data Mining and Web Intelligence, and Software Internationalisation, Dunedin, New Zealand. Pages: 205-210.
- Silva, H., Rodrigues, R., Soares, L., Muchaluat Saade, D. (2004). NCL 2.0: Integrating New Concepts to XML Modular Languages. Proceedings of the 2004 ACM Symposium on Document Engineering (DocEng 2004), Milwaukee, Wisconsin, USA, October 28-30. Pages: 188-197.
- Skogan, D., Groenmo, R., Solheim, I. (2004). Web Service Composition in UML. Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), Monterey, USA, September 20-24. Pages: 47-57.
- Vahabzadeh, M., et al. (2004). Automating Variations in Clinical Research Protocols Workflow. Proceedings of the 17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), Bethesda, USA. June 24-25. Pages: 248-253.
- Vasko, M., Schahram, D. (2004). An Analysis of Web Services Workflow Patterns in Collaxa. Proceedings of the European Conference on Web Service (ECOWS 2004), Erfurt, Germany, September 27-30. Pages: 1 - 14.
- Verginadis, G., Gouscos, D., Mentzas, G. (2004). Modelling e-Government Service Workflows through Recurring Patterns. Proceedings of the 3rd International Conference on Electronic Government (EGOV 2004), Zaragoza, Spain, August 30 - September 3. Pages: 483 - 488.
- Yang, G. (2004). Process Library. Data & Knowledge Engineering. 50(1): 35-62.
- Zirpins, C., Lamersdorf, W., Baier, T. (2004). Flexible Coordination on Service Interaction Patterns. Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004), New York, New York, USA, November 15-18. Pages: 49-56.
- zur Muehlen, M. (2004). Workflow-Based Process Controlling. Logos Verlag.
2003
- Blake, M. (2003). Coordinating Multiple Agents for Workflow-Oriented Process Orchestration. Information Systems and E-Business Management. 1(4): 387 - 404.
- Dietz, J. (2003). Generic Recurrent Patterns in Business Processes. Proceedings of the 1st International Conference on Business Process Management (BPM 2003), Eindhoven, The Netherlands, June 26-27. Pages: 200-215.
- Fung, R. Au, Y., Jiang, Z., Lau, H. (2003). Supply Chain Workflow Modelling using XML-Formatted Modular Petri Nets. The International Journal of Advanced Manufacturing Technology. 22(7-8): 587-601.
2002
- Casati, F., Grazia Fugini, M., Mirbel, I., Pernici, B. (2002). WIRES: A Methodology for Developing Workflow Applications. Requirements Engineering. 7(2): 73-106.
- Ling, S., Loke, S. (2002). Advanced Petri Nets for Modelling Model Agent Enabled Interorganizational Workflows. Proceedings of the 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Lund, Sweden, April 8-11. Pages: 245-252.
- Marinescu, D. (2002). Internet-Based Workflow Management - Towards a Semantic Web. Wiley Series on Parallel and Distributed Computing. New York, USA.
- Qu, Y., Lin, C., Wang, J. (2002). Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models. Proceedings of the 1st International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), Beijing, China, September 17-20. Pages: 30 - 44.
- Shim, J., Han, D., Kim, H. (2002). Communication Deadlock Detection of Interorganizational Workflow Definition. Proceedings of the 2nd International Workshop on Databases in Networked Information Systems (DNIS 2002). Aizu, Japan, December 16-18. Pages: 43-57.
- Wand, R., Weber, R. (2002). Research Commentary: Information Systems and Conceptual Model - A Research Agenda. Information Systems Research. 13(4): 363-376.
Theses
2006
- Dijkman, R. (2006). Consistency in Multi-Viewpoint Architectural Design. PhD Thesis. University of Twente. Euschede, The Netherlands.
- Jensen, M. (2006). X-Flow - A Secure Workflow System. Masters Thesis. Informatics and Mathematical Modelling, Technical University of Denmark (DTU). Lyngby, Denmark.
- Romanenko, I. (2006). Use Cases for Reactivity on the Web: Using ECA Rules for Business Process Modeling. Diploma Theses. Institut fur Informatik, Ludwig-Maximilians-Universitat (LMU), Munich.
2005
- Bernauer, M. (2005). Maintaining Consistency of Data on the Web. PhD Thesis. Vienna University of Technology, Vienna, Austria.
- Petkov, S. (2005). m3pe light: A Multi-Meta-Model Process Execution Environment. Masters Thesis, Vienna University of Technology. Vienna, Austria.
- Truong, H. (2005). Novel Techniques and Methods for Performance Measurement, Analysis and Monitoring of Cluster and Grid Applications. PhD Thesis, Vienna University of Technology, Vienna, Austria.
2004
- Brandt, H. (2004). Rule-Driven Adaptation of Workflow-Based e-Services. Masters Theses. University of Hamburg. Hamburg, Germany.
- Esmaeilsabzali, S. (2004). An Interface Approach to Discovery and Composition of Web Services. Masters Thesis. University of Waterloo. Ontario, Canada
- Jayaweera, P. (2004). A Unified Framework for e-Commerce Systems Development: Business Process Pattern Perspective. PhD Thesis. Stockholm University. Stockholm, Sweden.
- Lindemann, F. (2004). Service-Oriented Requirement Engineering and Verification. Masters Thesis, Hamburg University of Technology, Hamburg, Germany.
- McDowell, L. (2004). Meaning for the Masses: Theory and Applications for Semantic Web and Semantic Email Systems. PhD Thesis, University of Washington.
- Stahl, C. (2004). Transformation von BPEL4WS in Petrinetze. Diploma Thesis, Humboldt-Universitat zu Berlin. Berlin, Germany.
- Taveter, K. (2004). A Multi-Perspective Methodology for Agent-Oriented Business Modelling and Simulation. PhD Thesis, Tallinn Technical University. Tallinn, Estonia.
- Valetto, G. (2004). Orchestrating the Dynamic Adaptation of Distributed Software with Process Technology. PhD Thesis, Columbia University. New York, USA.
- Vanderfeesten, I. (2004). Designing Workflow Systems. An Algorithmic Approach to Process Design and a Human Oriented Approach to Process Automation. Master Thesis. Technische Universiteit Eindhoven. Eindhoven, The Netherlands.
- Zhao, Z. (2004). An Agent Based Architecture for Constructing Interactive Simulation Systems. PhD Thesis, Universiteit van Amsterdam. Amsterdam, The Netherlands.
2003
- Biuk-Aghai, R. (2003). Patterns of Virtual Collaboration. PhD Thesis, University of Technology Sydney (UTS), Sydney, Australia.
- Oren, E. (2003). Van DEMO naar workflow management. Masters Thesis, Technical University Delft, Delft, The Netherlands.(in Dutch)
2002
- Lindstrom, B. (2002). Facilitating the Practical Use of Coloured Petri Nets. PhD Thesis. University of Aarhus. Aarhus, Denmark.
Technical Reports
2006
- Haller, A., Oren, E. (2006). A Process Ontology to Represent Semantics of Different Process and Choreography Meta-Models. Technical Report DERI 2006-02-03, Digital Enterprise Research Institute (DERI). Galway, Ireland.
2005
- Bayer, J., et al. (2005). Process Family Engineering: Modeling Variant-Rich Processes. PESOA-Report No. 18/2005. DiamlerChrysler Reseach and Technology, Delta Software Technology, Fraunhofer IESE, Hasso-Plattner-Institut.
- de Backer, M., Snoeck, M. (2005). Deterministic Petri Net Languages as Business Process Specification Language. DTEW Research Report 0577, K.U.Leuven.
- Glatard, T., Montagnat, J., Pennec, X. (2005). An Optimized Workflow Enactor for Data-Intensive Grid Applications. Technical Report I3S/RR-2005-32-, I3S, Sophia-Antipolis.
- Kim, J., Kersten, G., Strecker, S., Law, K. (2005). Component-Based Software Protocol Approach. INR02-05, InterNeg Research Papers.
- Kuropka, D., Meyer, H. (2005). Survey on Service Composition. Technical Report 10. Hasso-Plattner-Institute.
- Mendling, J., Lassen, K., Zdun, U. (2005). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. Technical Report JM-2005-10-10. Vienna University of Economics and Business Administration. Vienna, Austria.
- Mendling, J., Neumann, G., Nuttgens, M. (2005). Yet Another Event-Driven Process Chain (Extended Version). Technical Report JM-2005-05-27. Vienna University of Economics and Business Administration. Vienna, Austria.
- Meyer, H., Hurpoka, D. (2005). Requirements for Service Composition. Technical Report 11. Hasso-Plattner-Institute.
- Oren, E., Haller, A. (2005). Formal Frameworks for Workflow Modelling. DERI Technical Report 2005-04-07, Digital Enterprise Research Institute (DERI). Galway, Ireland.
- Petkov, S., Oren, E., Haller, A. (2005). Aspects in Workflow Management. DERI Technical Report 2005-04-10, Digital Enterprise Research Institute (DERI). Galway, Ireland.
- Stefansen, C. (2005). A Declarative Framework for Enterprise Information Systems. Qualification Report.
2004
- Bayer, J., et al. (2004). Domain Engineering Techniques and Process Modeling. PESOA-Report No. 09/2004. DiamlerChrysler Reseach and Technology, Fraunhofer IESE, Hasso-Plattner-Institut.
- Dragone, L. (2004). Linguaggi E Modelli Per Gli E-Service. PhD program technical report, Dip, di Informatica e Sistemistica - University of Rome "La Sapienza" (In Italian).
- Schnieders, A., Puhlmann, F., Weske, M. (2004). Process Modelling Techniques. PESOA-Report No. 01/2004. Hasso-Plattner-Institute.
2003
- Anzbock, R., Dustdar, S., Gholami, M. (2003). Modelling Ad-Hoc Medical Imaging Workflow with BPEL4WS. Technical Report TUV-1841-2003-19, Vienna University of Technology. Vienna, Austria.
- Oberleitner, J., Dustdar, S. (2003). Workflow-Based Composition and Testing of Combined e-Services and Components. Technical Report TUV-1841-2003-25. Vienna University of Technology. Vienna, Austria.
- Zapf, M. (2003). Pattern-Driven Process Design. Working Paper in Information Management 7/2003. University of Mannheim. Mannheim, Germany.
Popular Articles
2006
- Atwood, D. (2006). BPM Process Patterns: Repeatable Design for BPM Process Models. BPTrends. May.
- Havey, M. (2006). Keeping BPM Simple for Business Users: Power Users Beware. BPTrends. January.
Other
2005
- Caeiro-Rodriguez, M., Anido-Rifon, L., Llamas-Nistal, M. (2005). Contributions to Educational Modelling Languages. Proceedings of the 12th Doctoral Consortium at CAiSE 05, Porto, Portugal, June 13-14.
- Gaaloul, W. (2005). Business Process Intelligence: Discovering and Improving Transactional Behavious of Composite Services from Logs. Proceedings of Doctoral symposium in 1st International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA 2005), Geneva, Switerland. February 23-25.
- Mendling, J. (2005). Towards an Integrated BPM Schema. Proceedings of the 12th Doctoral Consortium at CAiSE 05, Porto, Portugal, June 13 14. Pages: 126-133.
2003
- Anzbock, R., Dustdar, S. (2003). Medical e-Services Workflows with BPEL4WS. Online article available at: http://www.infosys.tuwien.ac.at/ Staff/sd/papers/MedicalServicesWorkflowsWithBPEL4WS.pdf
Tutorials
2005
- Zdun, U. (2005). Patterns of Service-Oriented Architectures. Tutorial at the 19th European Conference on Object Oriented Programming (ECOOP 2005), July.