2005
DOI: 10.1007/11431855_30
|View full text |Cite
|
Sign up to set email alerts
|

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 a… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
5
0

Year Published

2006
2006
2016
2016

Publication Types

Select...
5
2

Relationship

2
5

Authors

Journals

citations
Cited by 11 publications
(5 citation statements)
references
References 6 publications
(5 reference statements)
0
5
0
Order By: Relevance
“…In order to validate these models, and more precisely to validate that these models correspond precisely to what the business experts are expecting, we propose an innovative validation approach based on an existing method and toolset, that we are currently adapting to service-orientation, called "Efficient" (see [20], or the Efficient website http://efficient.citi.tudor.lu). Efficient proposes an animation tool that is generated based on the UML models, and that allows business experts to play the choreography of exchanges, as if the process was already implemented.…”
Section: Fig 9 "React On Document" Service Bsv Activity Diagrammentioning
confidence: 99%
See 1 more Smart Citation
“…In order to validate these models, and more precisely to validate that these models correspond precisely to what the business experts are expecting, we propose an innovative validation approach based on an existing method and toolset, that we are currently adapting to service-orientation, called "Efficient" (see [20], or the Efficient website http://efficient.citi.tudor.lu). Efficient proposes an animation tool that is generated based on the UML models, and that allows business experts to play the choreography of exchanges, as if the process was already implemented.…”
Section: Fig 9 "React On Document" Service Bsv Activity Diagrammentioning
confidence: 99%
“…In particular it has developed and experimented a methodology called Efficient [20] supported by a toolset for the design, simulation and validation of the exchange of electronic messages between different e-commerce stakeholders. The primary use for this toolset is to help large networked organizations which have complex e-messaging and transactions requirements in the validation, through an interactive simulation, of their flows of messages including their structures and contents before beginning any IT development.…”
Section: Introductionmentioning
confidence: 99%
“…Governance Responsibility [57,59,77,94,168] Implementation Responsibility [6,66] Rate of Change [35,40,61,66,72,73,75,83,84,89,91,102,103,107,108,134,135,153,168,172] Reusability [59,70,75,85,88,91,108,108,110,111,123] Rule Source [93,177] Scope of Impact [6,66] …”
Section: Implementation Responsibility Implementation Responsibilitymentioning
confidence: 99%
“…The capture of these requirements is supported by the Efficient method and supporting toolset. Efficient supports the modeling of electronic transactions, and allows business experts to validate these models by an interactive "animation" tool for playing the modeled transaction ( [10]). Recently we have extended Efficient to cope with services specification, i.e.…”
Section: Software Services Requirementsmentioning
confidence: 99%
“…Then, in section III, the second component of the framework is explaining how the business requirements are progressively refined into software service requirements, focusing on the interactions and information exchanged amongst the actors of the service transaction. This second component of the framework is supported by the Efficient [10] toolset, a specific customized UML-based platform supporting the formal description of the semantics of information services interactions as well as their verification and validation through interactive animation.…”
Section: Introductionmentioning
confidence: 99%