Efficient: A toolset for building trusted B2B transactions

Amel Mammar; Sophie Ramel; Bertrand Grégoire; Michael Schmitt; Nicolas Guelfi

doi:10.1007/11431855_30

Efficient: A toolset for building trusted B2B transactions

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

University of Luxembourg
Luxembourg Institute of Science and Technology

Research output: Contribution to journal › Conference article › peer-review

10 Citations (Scopus)

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.

Original language	English
Pages (from-to)	430-445
Number of pages	16
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3520
DOIs	https://doi.org/10.1007/11431855_30
Publication status	Published - 1 Jan 2005
Externally published	Yes
Event	17th International Conference on Advanced Information Systems Engineering, CAiSE 2005 - Porto, Portugal Duration: 13 Jun 2005 → 17 Jun 2005

Access to Document

10.1007/11431855_30

Cite this

@article{1c7e24ea7bd44cff8a03619e9ad1786e,

title = "Efficient: A toolset for building trusted B2B transactions",

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.",

author = "Amel Mammar and Sophie Ramel and Bertrand Gr{\'e}goire and Michael Schmitt and Nicolas Guelfi",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/11431855\_30",

language = "English",

volume = "3520",

pages = "430--445",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "17th International Conference on Advanced Information Systems Engineering, CAiSE 2005 ; Conference date: 13-06-2005 Through 17-06-2005",

}

TY - JOUR

T1 - Efficient

T2 - 17th International Conference on Advanced Information Systems Engineering, CAiSE 2005

AU - Mammar, Amel

AU - Ramel, Sophie

AU - Grégoire, Bertrand

AU - Schmitt, Michael

AU - Guelfi, Nicolas

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/11431855_30

DO - 10.1007/11431855_30

M3 - Conference article

AN - SCOPUS:25144448071

SN - 0302-9743

VL - 3520

SP - 430

EP - 445

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

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

Y2 - 13 June 2005 through 17 June 2005

ER -

Efficient: A toolset for building trusted B2B transactions

Abstract

Access to Document

Fingerprint

Cite this