IBM®
Skip to main content
    Country/region [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    

IBM Systems Journal
Business Innovation   Volume 44, Number 1, 2005
Table of contents: HTMLPDF This article: HTMLPDF   Copyright info

Declarative techniques for model-driven business process integration - References

 by J. Koehler,
R. Hauser,
S. Sendall,
and M. Wahler
Cited references and note

  1. Unified Modeling Language Superstructure 2.0 Specification, OMG document ptc/03-08-02 (2003), http://www.omg.org/cgi-bin/apps/doc?ptc/03-08-02.pdf.
  2. S. Thatte et al., “Business Process Execution Language for Web Services Version 1.1,” (2003), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/.
  3. J. Warmer and A. Kleppe, The Object Constraint Language, Second Edition, Addison-Wesley, Reading, MA (2003).
  4. M. Hecht and J. Ullman, “Flow graph reducibility,” SIAM Journal of Computing 1, No. 2, 188–202 (1972).
  5. P. Krill, “IBM Adds to Business Process Modeling Tool,” Infoworld.com (August 10, 2004).
  6. E. Deborin, J. Basrai, T. Benedetti, R. Halchin, T. Mahfouz, N. Perera, B. S. Shamshabad, R. Spory, and R. Turakhia, Continuous Business Process Management with HOLOSOFX BPM Suite and IBM MQSeries Workflow, IBM Redbooks (2002), http://www.redbooks.ibm.com/abstracts/sg246590.html?Open.
  7. A. W. Scheer, F. Abolhassan, W. Jost, and M. Kirchner, Business Process Excellence—ARIS in Practice, Springer-Verlag (2002).
  8. D. K. Taft, “Microsoft Zeros in on Model-based Programming,” eWeek (July 24, 2004).
  9. W. van der Aalst, J. Desel, and E. Kindler, “On the Semantics of EPCs: A Vicious Circle,” Proceedings of the Workshop on EPK, GI-Arbeitskreis Gesch (2003), pp. 7–18.
  10. A. van Dorp et al., WS-I Web Enterprise Customer Commerce System—Business Scenario, Web Services Interoperability Organization, WS-I Technical Document (2003).
  11. C. Bock, “UML 2 Activity and Action Models,” Journal of Object Technology 2, No. 4, 43–53 (2003).
  12. H. Stoerrle, “Semantics and Verification of Data flow in UML 2.0 Activity Diagrams,” Proceedings of the IEEE Workshop on Visual Languages and Formal Methods, (to be published).
  13. R. Eshuis and R. Wieringa, “Verification Support for Workflow Design with UML Activity Graphs,” Proceedings of the 24th Conference on Software Engineering, IEEE Press, NY (2002), pp. 166–176.
  14. E. Boerger, A. Cavarra, and E. Riccobene, “An ASM Semantics for UML Activity Diagrams,” in Algebraic Methodology and Software Technology, T. Rust, editor, Volume LNCS 1816, Springer-Verlag (2000), pp. 292–308.
  15. Y. Dong and Z. ShenSheng, “Using Pi-calculus to Formalize UML Activity Diagrams,” Proceedings of the 10th International Conference and Workshop on the Engineering of Computer-based Systems, IEEE Press, NY (2003), pp. 47–54.
  16. X. Fu, T. Bultan, and J. Su, “Model Checking XML Manipulating Software,” Proceedings of 2004 International ACM/SIGSOFT International Symposium on Software Testing and Analysis, ACM Press, NY (2004), pp. 252–262.
  17. A. Martens, C. Stahl, D. Weinberg, D. Fahland, and T. Heidinger, Business Process Execution Language for Web Services—Semantics, Analysis, and Visualization, Technical Report 169 (in German), Humboldt University, Berlin (2004).
  18. T. Andrews, S. Qadeer, S. Rajamani, J. Rehof, and Y. Xie, Zing: A Model Checker for Concurrent Software, Technical Report MSR-TR-2004-10, Microsoft Research (2004).
  19. F. Allen, “Control Flow Analysis,” ACM SIGPLAN Notices 5, No. 7, 1–19 (1970).
  20. A. Aho, R. Sethi, and J. Ullman, Compilers—Principles, Techniques, and Tools, Addison-Wesley, Reading, MA (1986).
  21. C. Böhm and G. Jacopini, “Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules,” Communications of the ACM 9, No. 5, 366–371 (1966).
  22. W. Peterson, T. Kasami, and N. Tokura, “On the Capabilities of while, repeat, and exit Statements,” Communications of the ACM 16, No. 8, 503–512 (1973).
  23. R. Hauser and J. Koehler, “Compiling Process Graphs into Executable Code,” Proceedings of the Third International Conference on Generative Programming and Component Engineering, LNCS Volume 3286, pp. 317–336, Springer-Verlag (2004).
  24. Z. Ammarguellat, “A Control-Flow Normalization Algorithm and Its Complexity,” Software Engineering 13, No. 8, 237–251 (1992).
  25. P. Nandi, S. Kumaran, J. Chung, T. Heath, R. Das, and K. Bhaskaran, “ADoc-Oriented Programming,” Proceedings of the 2003 International Symposium on Applications and the Internet (2003).
  26. An “ADoc” is an adaptive document. ADoc-oriented programming was proposed as a programming model based on object-oriented principles for assembling solutions with emphasis on collaboration and integration. The ADoc is a higher-level modeling artifact with adaptive behavior similar to a state machine.
  27. J. Koehler and R. Hauser, “Untangling Unstructured Cyclic Flows—a Solution Based on Continuations,” Proceedings of the International Conference on Cooperative Information Systems, LNCS Volume 3290, pp. 121–138, Springer-Verlag (2004).
  28. MOF 2.0 Query/Views/Transformations RFP, OMG document ad/02-04-10 (2002), http://doc.omg.org/ad/2002-4-10.
  29. T. Gardner, C. Griffin, J. Koehler, and R. Hauser, A Review of OMG MOF 2.0 Query/Views/Transformations Submissions and Recommendations towards the Final Standard, OMG document ad/03-08-02 (2003), http://www.omg.org/docs/ad/03-08-02.pdf.
  30. MOF 2.0 Query/Views/Transformations RFP (revised submission), OMG document ad/04-04-01 (2004), http://doc.omg.org/ad/2004-04-01.
  31. G. Sunye, D. Pollet, Y. Le Traon, and J.-M. Jezequel, “Refactoring UML Models,” Proceedings of UML 2001—The Unified Modeling Language., Modeling Languages, Concepts, and Tools. 4th International Conference, LNCS Volume 2185, pp. 134–148, Springer-Verlag (2001).
  32. D. Pollet, D. Vojtisek, and J.-M. Jezequel, “OCL as a Core UML Transformation Language,” Workshop on Integration and Transformation of UML models (WITUML 2002), Position paper (2002).
  33. A. Kleppe, J. Warmer, and W. Bast, MDA Explained: The Model Driven Architecture—Practice and Promise, Addison-Wesley, Reading, MA (2003).
  34. XMOF Queries, Views and Transformations on Models Using MOF, OCL and Patterns, OMG document ad/2003-08-07 (2003), http://www.omg.org/cgi-bin/apps/doc?ad/03-08-07.pdf.


    About IBM    Privacy    Contact