-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
107 lines (98 loc) · 6.5 KB
/
Copy pathindex.html
File metadata and controls
107 lines (98 loc) · 6.5 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
<!DOCTYPE html>
<html>
<head>
<meta charset='utf-8'>
<meta http-equiv="X-UA-Compatible" content="chrome=1">
<meta name="description" content="Recall-contracts : RelativizEd ContrAct Language anaLyser">
<link rel="stylesheet" type="text/css" media="screen" href="stylesheets/stylesheet.css">
<script src="javascripts/main.js" type="text/javascript"></script>
<title>Recall - Relativized Contract Language Analyser</title>
</head>
<body>
<!-- HEADER -->
<div id="header_wrap" class="outer">
<header class="inner">
<a id="forkme_banner" href="https://github.com/recallcontracts/recall">View source code on GitHub</a>
<h1 id="project_title">RECALL</h1>
<h2 id="project_tagline">Relativized Contract Language Analyser</h2>
<section id="downloads">
<a class="bin_download_link" href="https://github.com/recallcontracts/recall/raw/master/bin/recall-v1.0.zip">
Download RECALL tool
</a>
</section>
</header>
</div>
<!-- MAIN CONTENT -->
<div id="main_content_wrap" class="outer">
<section id="main_content" class="inner">
<h3>
<a id="intro" class="anchor" href="#intro" aria-hidden="true">
<span aria-hidden="true" class="octicon octicon-link"></span></a>
Introduction to RECALL Tool
</h3>
<p class="section-text">
Nowadays, contracts has an important role in business where trade relationships between different parties are dictated by legal rules.
The concept of electronic contracts has arisen mostly due to technological advances and most frequent practice of electronic trading between companies and customers.
Therewith new challenges have emerged to guarantee reliability between the stakeholders in the electronic negotiations.
The automatic verification of electronic contracts has arisen as a new challenge especially in the task of detecting conflicts in multi-party contracts.
The problem of checking contracts has been largely addressed in the literature, but only few works have dealt with multi-party contracts.
The RECALL tool is an automatic checker for finding conflicts on multi-party contracts modeled by the relativized contract language.
The modeling and automatic checking of the contract allow us to ascertain important results on its business model.
</p>
<h3>
<a id="tecnologies" class="anchor" href="#tecnologies" aria-hidden="true">
<span aria-hidden="true" class="octicon octicon-link"></span></a>
Technologies and architecture
</h3>
<p class="section-text">
<p class="section-text">
We have developed the RECALL tool based on the conflict detection algorithm proposed by Della Mura and Bonifácio <sup><a href="#bib1">1</a></sup>.
The RECALL tool has been mainly developed in <a href="http://www.oracle.com/technetwork/pt/java/javase/overview/index.html" target="_blank">Java SE</a> and supported by some libraries such as <a href="http://www.antlr.org/" target="_blank">ANTLR</a> to generate the grammar syntax and <a href="https://commons.apache.org/proper/commons-cli/" target="_blank">Apache Commons CLI</a> to setting the configuration file in the interface module.
Some operations of set theory was optimized by applying the <a href="https://github.com/google/guava" target="_blank">Guava library</a> on the Automaton Construction and Conflict Analysis modules.
Aiming to yield a graphical representation of the generated automaton we have also used the <a href="http://www.graphviz.org/" target="_blank">Graphviz library</a>.
</p>
<p class="section-text">
The follow figure presents the tool's architecture composed by the implemented modules and their relationships.
<div style="margin: 0 auto; width: 80%; text-align: center;">
<a href="images/modules.png" target="_blank"><img src="images/modules.png" style="width: 70%;"/></a>
</div>
</p>
<p class="section-text">
The Command Line Interface module corresponds to the user interaction with the tool, where settings for the contract analysis are given to the tool.
The Contract Representation module states the contract data to be processed by the tool using the RCL syntax.
Finally, the Conflict Analysis module aims at finding conflicts for all decompositions obtained in the automaton construction.
The Automaton Construction module accomplishes the construction of an automaton that models the contract described in RCL.
</p>
</p>
<h3>
<a id="support" class="anchor" href="#support-or-contact" aria-hidden="true">
<span aria-hidden="true" class="octicon octicon-link"></span></a>
Documentation and support
</h3>
<p class="section-text">
<p class="section-text">
The <a href="https://github.com/recallcontracts/recall/blob/master/doc/README.md" target="_blank">tool's documentation</a> contains information about the command-line parameters as well a complete description of the RCL language syntax for building contracts and subsequent verification using this tool.
</p>
<p class="section-text">
In addition, we provide some <a href="https://github.com/recallcontracts/contracts/" target="_blank">examples</a> of contracts written in RCL to facilitate their understanding.
</p>
<p class="section-text">
If you have any questions, suggestions or find any problems (or bugs) in RECALL Tool, please contact us at
<script type="text/javascript">
gen_mail_to_link('recallcontracts','gmail.com','contact us');
</script>
<noscript>
<em>Email address protected by JavaScript. Activate JavaScript to see the email.</em>
</noscript>
</p>
</p>
</section>
</div>
<!-- FOOTER -->
<div id="footer_wrap" class="outer">
<footer class="inner">
<p class="copyright">The RECALL Tool is maintained by <a href="http://wellington.della-mura.com.br">Wellington Della Mura</a> and <a href="http://www.uel.br/pessoal/bonifacio/">Prof. Dr. Adilson Luiz Bonifácio</a></p>
</footer>
</div>
</body>
</html>