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

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

10 Citations (Scopus)

Résumé

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.

langue originale	Anglais
Pages (de - à)	430-445
Nombre de pages	16
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3520
Les DOIs	https://doi.org/10.1007/11431855_30
état	Publié - 1 janv. 2005
Modification externe	Oui
Evénement	17th International Conference on Advanced Information Systems Engineering, CAiSE 2005 - Porto, Portugal Durée: 13 juin 2005 → 17 juin 2005

Accès au document

10.1007/11431855_30

Contient cette citation

@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 Science and Business Media Deutschland GmbH",

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

}

Efficient: A toolset for building trusted B2B transactions. / Mammar, Amel; Ramel, Sophie; Grégoire, Bertrand et al.
Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol 3520, 01.01.2005, p. 430-445.

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

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

Résumé

Accès au document

Empreinte digitale

Contient cette citation