Efficient: A Toolset for Building Trusted B2B Transactions

The paper introduces an approach to the specification, the verification and the validation of B2B transactions. Based on the usage of a subset of formally defined UML diagrams complemented with business rules, we introduce two facilities offered by the supporting Efficient toolset, namely the checking of formal properties expected from the produced models as well as the animation tool allowing business experts to understand and ‘play' with business transactions models before they are implemented. The overall approach is illustrated through the experiences gained in the performance of a real transactional Import/Export business case.

[1]  Martin Gogolla,et al.  Validating UML Models and OCL Constraints , 2000, UML.

[2]  Eric Dubois,et al.  If Business Models Could Speak! Efficient: a Framework for Appraisal, Design and Simulation of Electronic Business Transactions , 2004, ICEIMT/DIISM.

[3]  Akhil Kumar,et al.  XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows , 2004, Inf. Technol. Manag..

[4]  Robert Meersman,et al.  On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE , 2003, Lecture Notes in Computer Science.

[5]  Nick Szirbik,et al.  Steps Towards Formal Verification of Agent-based E-Business Applications , 2001 .

[6]  Mark Richters,et al.  A precise approach to validating UML models and OCL constraints , 2002 .

[7]  Rik Eshuis,et al.  Animating ebXML Transactions with a Workflow Engine , 2003, CoopIS/DOA/ODBASE.

[8]  Amel Mammar,et al.  A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain , 2004 .

[9]  Rik Eshuis,et al.  EFFICIENT: a tool set for supporting the modelling and validation of ebXML , 2003, ESEC/FSE-11.

[10]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[11]  Ronald G. Ross,et al.  The Business Rule Book: Classifying, Defining and Modeling Rules , 1997 .

[12]  Cláudia Maria Lima Werner,et al.  Precise specification and validation of transactional business software , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..