STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Towards quality requirements via animated formal specifications
Annals of Software Engineering
eXist: An Open Source Native XML Database
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Defining Electronic Data Interchange Transactions with UML
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Efficient: a toolset for building trusted B2B transactions
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
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.