Efficient: a toolset for building trusted B2B transactions

Authors:
Amel Mammar;Sophie Ramel;Bertrand Grégoire;Michael Schmitt;Nicolas Guelfi
Affiliations:
Software Engineering Competence Center (SE2C), University of Luxembourg, Luxembourg-Kirchberg, Luxembourg;Centre d'Innovation par les Technologies de l'Information (CITI), Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg, Luxembourg;Centre d'Innovation par les Technologies de l'Information (CITI), Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg, Luxembourg;Centre d'Innovation par les Technologies de l'Information (CITI), Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg, Luxembourg;Software Engineering Competence Center (SE2C), University of Luxembourg, Luxembourg-Kirchberg, Luxembourg
Venue:
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Year:
2005

Citing 3
Cited 2

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
EFFICIENT: a tool set for supporting the modelling and validation of ebXML

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Precise Specification and Validation of Transactional Business Software

RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International

A formal framework to generate XPDL specifications from UML activity diagrams

Proceedings of the 2006 ACM symposium on Applied computing
Supporting business experts in the design of b2b transactions through interactive process simulation

BPM'05 Proceedings of the Third international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.