IEEE 2009 Third International Workshop on Scientific Workflows (SWF 2009)

Same as with the self-tuning stuff I looked at, here are the interesting papers from the scientific workflows program:

UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification, Ahlem Ben Younes, Leila Jemni Ben Ayed

• Lots of papers about UML from Ayed according to DBLP
• A Formal Approach for the Development of Automated Systems - interesting, but automated systems probably means something different than I'm thinking of
  
• A paper on BNF encoding of UML
• Not really sure what Event B is, supposedly a "formal method for system-level modeling and analysis", barely looking at it it kind of looks similar to unity
  

New Execution Paradigm for Data-Intensive Scientific Workflows, Mahmoud El-Gayyar, Yan Leng, Serge Shumilov, Armin Cremers

• El-Gayyar's webpage - background in grid computing, possibly mashups,
  
• Markovic, I., Sukesh, J., Elgayyar, M., and Cremers, A. "Modeling and Enforcement of Business Policies and Rules in Semantic Business Process Modeling", In Proceedings of 3rd International Conference on Adaptive Business Information Systems (ABIS), Leipzig, Germany, March 2009.
• Elgayyar, M. M., Alda, S. J., and Cremers, A. B. "Towards a user-oriented environment for web services composition". In Proceedings of the 4th international Workshop on End-User Software Engineering (Leipzig, Germany, May 12 - 12, 2008). WEUSE '08. ACM, New York, NY, 81-85.
• Serge Shumolov's webpage - decision support systems, hydrologic-economic stuff, ...
• T. Bode, A. B. Cremers, U. Radetzki, S. Shumilov. COBIDS: A Component-Based Framework for Sharing Standardized and Non-Standardized Geo-Services. In: Proc. of the 18th International Conference Informatics for Environmental Protection (EnviroInfo 2004), pp. 292-302, Geneva, Switzerland, 2004.
• Armin Cremers' webpage - its all in Deutsch, some of the paper titles are in English.
• Alda, S.; Cremers, A.B.: Strategies for Component-based Self-Adaptability Model in Peer-to-Peer Architectures. Proceedings of the 4th International Symposium on Component-based Software Engineering (CBSE7). LNCS 3054, Springer, pp. 59-67. Edinburgh, Scotland., 2004.
• Mügge, H.; Rho, T.; Speicher, D.; Bihler, P.; Cremers, A.B.: Programming for Context-based Adaptability - Lessons learned about OOP, SOA, and AOP. Workshop Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme, Bern, Switzerland, 2007.
• Spalka, A.; Winandy, M.; Cremers, A.B.: Multilateral Security Considerations for Adaptive Mobile Applications. Proceedings of the 2nd International Conference on E-Business and Telecommunication Networks (ICETE 2005), 2005
• 
  

Business Versus Scientific Workflows: A Comparative Study, Ustun Yildiz, Adnene Guabtni, Anne H.H. Ngu

• Web page for Ustun Yildiz - decentralization, information flow, orchestration in mobile computing, synchronization,
• Ustun Yildiz, Olivera Marjanovic, and Claude Godart, Contract driven cross-organizational business processes, in Proceedings of the Second International Conference on Information Management and Business, IMB (V. Khandelwal and M. S. Raisinghani, eds.), (Australia), pp. 120–130, Australian Computer Society, 2006. [Review here]
  
• Web page for Adnene Guabtni - transactional behavior in business processes,
  
• New research term: cooperative processes
• "Sphere Based Isolation for Cooperative Processes" accepted to be published in JCST, international Journal of Computer Science and Technology, Springer
• "A Dynamic Workflow Management System for Coordination of Cooperative Activities" DPM'06, 1st International Workshop on Dynamic Process Management, in conjunction with the Fourth International Conference on Business Process Management BPM'06, Vienna, Austria, September 4, 2006 In Proceedings of Business Process Management Wrokshops, Springer LNCS proceeding. (electronic copy)

Also interesting from the program was:

Genesis - Dynamic Collaborative Business Process Formulation based on Business Goals and Criteria, Ryan K. L. Ko, Andre Jusuf, S.G. Lee

• Ryan K. L. Ko, Stephen S. G. Lee and E. W. Lee, “Business Process Management (BPM) Standards: A Survey” Business Process Management Journal, Emerald Publishing, Accepted on 2 December 2008. [To appear: Vol. 15 No. 5, 2009] [PDF] [Review here]
  
•