Efficient: A toolset for building trusted B2B transactions

Lecture Notes in Computer Science

Volumn 3520, Issue , 2005, Pages 430-445

  Mammar, Amel ^a   Ramel, Sophie ^b   Grégoire, Bertrand ^b   Schmitt, Michael ^b   Guelfi, Nicolas ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b LUXEMBOURG INSTITUTE OF SCIENCE AND TECHNOLOGY   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; MATHEMATICAL MODELS; SECURITY OF DATA;

B2B TRANSCATIONS; TOOLSETS; UML; VERIFICATION;

ADMINISTRATIVE DATA PROCESSING;

EID: 25144448071     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431855_30     Document Type: Conference Paper

References (27)

1. Chiba, open source Xforms implementation, http://chiba.sourceforge.net
2. Corréa et C. Werner, Precise Specification and Validation of Transactional Business Software, in Proc. of IEEE Joint International Requirements Engineering Conference (RE'05), Kyoto, Japan, 2005.
3. ebXML, http://www.ebxml.org/
4. R. Eshuis, P. Brimont, E. Dubois, B. Grégoire, S. Ramel, EFFICIENT: A Tool Set for Supporting the Modelling and Validation of ebXML Transactions, poster and short paper at ESEC/FSE 2003, http://efficient.citi.tudor.lu/
5. R. Eshuis, P. Brimont, E. Dubois, B. Grégoire, S. Ramel. Animating ebXML Transactions with a Workflow Engine, In Proc. CoopIS 2003, volume 2888 of LNCS, Springer, 2003.
6. extensible Markup Language, http://www.w3.org/TR/2004/REC-xml-20040204/
7. Grammatical Framework, open source tool, http://www.cs.chalmers.se/~aarne/GF/
8. N. Guelfi, A. Mammar, B. Ries, A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain, International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04, Seattle, WA, USA, 2004.
9. N. Guelfi, A. Mammar. A Formal Approach for the Verification of E-Business Processes Using the PROMELA Language. Submitted to FASE'05.
10. G.J. Holzmann, The Model Checker SPIN, Software Engineering 23(5)pp.279-95, 1997.
11. MagicDraw, commercial tool, http://www.magicdraw.com/
12. Object Constraint Language (OCL), http://www.omg.org/cgi-bin/doc?formal/03-03-13
13. M. Richters, A Precise Approach to Validating UML Models and OCL Constraints, PhD Thesis, University of Bremen, 2001.
14. RosettaNet Partner Interface Program (PIP), http://www.rosettanet.org
15. R. Ross, The Business Rule Book: Classifying, Defining and Modeling Rules, Second Edition, 1997.
16. M. Schmitt, B. Grégoire, C. Incoul, S. Ramel, P. Brimont and E. Dubois, If business models could speak! Efficient: a framework for appraisal, design and simulation of electronic business transactions, ICEIMT 04, http://efficient.citi.tudor.lu
17. UN/CEFACT Modeling Methodology (UMM), http://www.ebxml.eu.org/umm.htm
18. Unified Modeling Language, Object Management Group specification, http://www.omg.org/uml
19. WfMC, Workflow Management Coalition, http://www.wfmc.org/
20. WFMOpen, open source workflow engine, http://wfmopen.sourceforge.net/
21. Xforms, W3C standard, http://www.w3.org/TR/2003/REC-xforms-20031014/
22. Xlinkit, commercial tool, http://www.systemwire.com/xlinkit/
23. XML Common Business Library (xCBL), http://xml.coverpages.org/cbl.html
24. XMLSchema, W3C standard, http://www.w3.org/XML/Schema
25. XPDL, standard from the WfMC http://www.wfmc.org/standards/XPDL.htm.
26. W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar, XRL/Woflan: Verification and Extensibility of an XML/Petri-net based language for interorganizational workflows, http://tmitwww.tm.tue.nl/staff/wvdaalst/publications/p139.pdf
27. Nick Szirbik, Gerd Wagner, Steps Towards Formal Verification of Agent-based E-Business Applications, http://www.informatik.uni-hamburg.de/TGI/events/moca01/wagner-final.pdf