article

EFFICIENT: a tool set for supporting the modelling and validation of ebXML

Authors:

Sophie RamelAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 28, Issue 5

Pages 359 - 362

https://doi.org/10.1145/949952.940121

Published: 01 September 2003 Publication History

Get Access

Abstract

ebXML is becoming the new international standard for the specification and deployment of complex B2B transactions over the internet. ebXML transactions are inherently distributed, involving many actors exchanging XML messages with each other according to complex flows and rules. This complexity hampers validation of the correctness of a modelled business transaction by business experts. To alleviate this problem, we have developed a tool set, consisting of a CASE tool for modelling ebXML transactions and an animator for validating the modelled transactions. At the specification level, the main UML models used are class diagrams to model messages and an activity diagram to model the global flow of the messages that are exchanged by the actors (companies). The animator is internet-based, thus supporting distributed animation of an ebXML transaction. The animator checks business rules on the messages exchanged during animation. Moreover, the animator annotates messages with possible responses. Heart of the animator is a workflow engine that can read workflow descriptions in XPDL. The animator is configured automatically from the UML specification models. We illustrate the whole approach on a real-life example.

References

[1]

A. Grau and M. Kowsari. A validation system for object oriented specifications of information systems. In Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), pages 249--256, 1997.

Digital Library

Google Scholar

[2]

D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403--414, Apr. 1990.

Digital Library

Google Scholar

[3]

P. Heymans and E. Dubois. Scenario-based techniques for supporting the elaboration and the validation of formal requirements. Requirements Engineering Journal, 3(4):202--208, 1998.

Crossref

Google Scholar

[4]

C. Huemer. Defining electronic data interchange transactions with UML. In R. H. Sprague, Jr., editor, Proc. 34th Annual Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society, 2001.

Digital Library

Google Scholar

[5]

J. Magee, N. Pryce, D. Giannakopoulou, and J. Kramer. Graphical animation of behavior models. In Proc. of the ~22nd~ Intern. Conference on Software Engineering (ICSE), pages 499--508. ACM Press, 2000.

Digital Library

Google Scholar

[6]

W. Meier. eXist: An open source native XML database. In A. B. Chaudhri, M. Jeckle, E. Rahm, and R. Unland, editors, Web, Web-Services, and Database Systems, Lecture Notes in Computer Science 2593. Springer, 2003.

Digital Library

Google Scholar

[7]

MIT process handbook. http://ccs.mit.edu/ph.

Google Scholar

[8]

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151--185, 2002. URL: http://www.xlinkit.com.

Digital Library

Google Scholar

[9]

No Magic, Inc. MagicDraw. URL: http://www.magicdraw.com.

Google Scholar

[10]

RosettaNet. Guide to RosettaNet Specifications, 1999. URL: http://www.rosettanet.org.

Google Scholar

[11]

J. Siddiqi, I. Morrey, C. Roast, and M. Ozcan. Towards quality requirements via animated formal specifications. Annals of Softw. Engineering, 3, 1997.

Digital Library

Google Scholar

[12]

The UN/CEFACT Modeling Methodology (UMM). URL: http://www.diffuse.org/ebXML.html.

Google Scholar

[13]

UN/CEFACT and OASIS. ebXML. URL: http://www.ebxml.org.

Google Scholar

[14]

Workflow Management Coalition. Workflow process definition interface-- XML process definition language, 2002. WFMC document WFMC-TC-1025. URL: http://www.wfmc.org.

Google Scholar

Cited By

View all

Mammar ARamel SGrégoire BSchmitt MGuelfi N(2005)Efficient: A Toolset for Building Trusted B2B TransactionsActive Flow and Combustion Control 201810.1007/11431855_30(430-445)Online publication date: 2005
https://doi.org/10.1007/11431855_30
Eshuis RBrimont PDubois EGrégoire BRamel S(2003)Animating ebXML Transactions with a Workflow EngineOn The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE10.1007/978-3-540-39964-3_27(426-443)Online publication date: 2003
https://doi.org/10.1007/978-3-540-39964-3_27
Mammar ARamel SGrégoire BSchmitt MGuelfi N(2005)EfficientProceedings of the 17th international conference on Advanced Information Systems Engineering10.1007/11431855_30(430-445)Online publication date: 17-Jun-2005
https://dl.acm.org/doi/10.1007/11431855_30

Index Terms

EFFICIENT: a tool set for supporting the modelling and validation of ebXML
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

EFFICIENT: a tool set for supporting the modelling and validation of ebXML
ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering

ebXML is becoming the new international standard for the specification and deployment of complex B2B transactions over the internet. ebXML transactions are inherently distributed, involving many actors exchanging XML messages with each other according ...
Translating shared state based ebXML BPSS models to WS-BPEL

In the Business-to-Business integration (B2Bi) domain, ebXML BPSS (ebBP) as dedicated B2Bi choreography standard is well-suited as means for agreement upon the overall message exchanges among integration partners while executable WS-BPEL orchestrations ...
ERPEL: Enabling Seamless Ad Hoc Cross Enterprise Collaborations
SRII '12: Proceedings of the 2012 Annual SRII Global Conference

In this paper we present the ERPEL approach towards executing on-the-fly e-business transactions between semantically enabled ERP systems. By on-the-fly e-business transactions we understand transactions that are conducted between companies, that are ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 28, Issue 5

September 2003

382 pages

ISSN:0163-5948

DOI:10.1145/949952

Issue’s Table of Contents

ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
September 2003
394 pages
ISBN:1581137435
DOI:10.1145/940071
General Chair:
Jukka Paakki
University of Helsinki, Finland
,
Program Chair:
Paola Inverardi
University of L'Aquila, Italy

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2003

Published in SIGSOFT Volume 28, Issue 5

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
703
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mammar ARamel SGrégoire BSchmitt MGuelfi N(2005)Efficient: A Toolset for Building Trusted B2B TransactionsActive Flow and Combustion Control 201810.1007/11431855_30(430-445)Online publication date: 2005
https://doi.org/10.1007/11431855_30
Eshuis RBrimont PDubois EGrégoire BRamel S(2003)Animating ebXML Transactions with a Workflow EngineOn The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE10.1007/978-3-540-39964-3_27(426-443)Online publication date: 2003
https://doi.org/10.1007/978-3-540-39964-3_27
Mammar ARamel SGrégoire BSchmitt MGuelfi N(2005)EfficientProceedings of the 17th international conference on Advanced Information Systems Engineering10.1007/11431855_30(430-445)Online publication date: 17-Jun-2005
https://dl.acm.org/doi/10.1007/11431855_30

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

EFFICIENT: a tool set for supporting the modelling and validation of ebXML

Translating shared state based ebXML BPSS models to WS-BPEL

ERPEL: Enabling Seamless Ad Hoc Cross Enterprise Collaborations