Animating ebXML transactions with a workflow engine

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2888, Issue , 2003, Pages 426-443

  Eshuis, Rik ^a   Brimont, Pierre ^a   Dubois, Eric ^a   Grégoire, Bertrand ^a   Ramel, Sophie ^a  

^a LUXEMBOURG INSTITUTE OF SCIENCE AND TECHNOLOGY   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; DISTRIBUTED DATABASE SYSTEMS; ENGINES; INTERNET; MULTI AGENT SYSTEMS; SEMANTIC WEB; SEMANTICS; UNIFIED MODELING LANGUAGE; XML;

ACTIVITY DIAGRAM; BUSINESS TRANSACTION; CLASS DIAGRAMS; INTERNATIONAL STANDARDS; INTERNET BASED; MAPPING ALGORITHMS; UML ACTIVITY DIAGRAMS; WORKFLOW ENGINES;

ANIMATION;

EID: 0242543929     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39964-3_27     Document Type: Article

References (27)

1. W. Aalst, A. ter Hofstede, B. Kiepuszewksi, and A. Barros. Workflow patterns. Distributed and Parallel Databases, 14(3):5-51, 2003.
2. R. Bastos and D. Ruiz. Extending UML activity diagram for workflow modeling in production systems. In R. H. Sprague, Jr., editor, Proc. 35th Annual Hawaii Intern. Conference on System Sciences (HICSS-35). IEEE Computer Society, 2002.
3. D. Carlson. Modeling XML applications with UML. Addison Wesley, 2001.
4. Chiba. URL: http://chiba.sourceforge.net.
5. E. Di Nitto, L. Lavazza, M. Schiavoni, E. Tracanella, and M. Trombetta. Deriving executable process descriptions from UML. In Proc. 24th International Conference on Software Engineering (ICSE-02), pages 155-165. ACM Press, 2002.
6. R. Eshuis, P. Brimont, E. Dubois, B. Grégoire, and S. Ramel. Efficient: a tool set for supporting the modelling and validation of ebXML transactions (poster paper). In Proc. ESEC/FSE 2003, 2003.
7. R. Eshuis and R. Wieringa. Verification support for workflow design with UML activity graphs. In Proc. 24th Intern. Conference on Software Engineering (ICSE-02), pages 166-176. ACM Press, 2002.
8. A. Grau and M. Kowsari. A validation system for object oriented specifications of information systems. In Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) Vol. 1: Regular Papers, pages 249-256. Nevsky Dialect, 1997.
9. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, Apr. 1990.
10. P. Heymans and E. Dubois. Scenario-based techniques for supporting the elaboration and the validation of formal requirements. Requirements Engineering Journal, 3(4):202-208, 1998.
11. C. Huemer. Defining electronic data interchange transactions with UML. In R. H. Sprague, Jr., editor, Proc. 34th Annual Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society, 2001.
12. I-Logix, Inc. Rhapsody. URL: http://www.ilogix.com.
13. D. Jäger, A. Schleicher, and B. Westfechtel. Using UML for software process modeling. In O. Nierstrasz and M. Lemoine, editors, ESEC/FSE '99, Lecture Notes in Computer Science 1687, pages 91-108. Springer-Verlag, 1999.
14. W. Meier. eXist: An open source native XML database. In A. B. Chaudhri, M. Jeckle, E. Rahm, and R. Unland, editors, Web, Web-Services, and Database Systems, Lecture Notes in Computer Science 2593. Springer, 2003.
15. MIT process handbook. URL: http://ccs.mit.edu/ph.
16. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, 2002. URL: http://www.xlinkit.com.
17. No Magic, Inc. MagicDraw. URL: http://www.magicdraw.com.
18. Object Management Group. OMG UML specification v. 1.4, 2001. formal/01-09-67. URL: http://www.omg.org.
19. Object Management Group. OMG-XML metadata interchange (XMI) specification, vl.2, 2002. formal/02-01-01. URL: http://www.omg.org/.
20. Object Management Group. UML 2.0 Superstructure Specification, 2003. ptc/03-08-02. URL: http://www.omg.org.
21. Rational. Rational Rose Real Time. URL: http://www.rational.com.
22. J. Siddiqi, I. Morrey, C. Roast, and M. Ozcan. Towards quality requirements via animated formal specifications. Annals of Software Engineering, 3:131-155, 1997.
23. SWIFT. swiftML design rules - technical specification, 2001. URL: http://xml.coverpages.org/swift-design-rules.pdf.
24. UN/CEFACT and OASIS. ebXML. URL: http://www.ebxml.org.
25. W3C. W3C XML Schema. URL: http://www.w3.org/XML/Schema.
26. W3C. XForms 1.0. URL: http://www.w3.org/TR/xforms/.
27. Workflow Management Coalition. Workflow process definition interface - XML process definition language, 2002. WFMC-TC-1025. URL: http://www.wfmc.org.