Protocol re-engineering artifact

GitHub https://github.com/LauraVoinea/protocol-reengineering-implementation

Commit Hash: 57a3d55ee0a236ea578bd182be007427fe950747

This is a tool for composing protocols, generating state machines based on protocol specification, and extracting protocols from existing code.

The protocol type is defined within interleave.erl. This file also contains a few examples together with the algorithm for protocol composition.

The following software needs to be installed:

• Erlang: Erlang/OTP 24 Erts 12.2.1
• rebar3: rebar 3.17.0

The tool can be built using rebar3:

rebar3 compile

Enter the rebar3 shell:

	rebar3 shell

Protocol Composition: Strong:

	interleave:interleave(Protocol1, Protocol2).

Weak:

interleave:interleaveWeak(Protocol1, Protocol2).

Correlating:

	interleave:interleaveCorrelating(Protocol1, Protocol2).

All:

	interleave:interleaveAll(Protocol1, Protocol2).

For example:

interleave:interleaveWeak(examples:pin(), examples:tan()).

Code Generation:

generate:gen(Protocol, FileName).

For example:

generate:gen(examples:pin(),"pin.erl").

Protocol Extraction:

extract:protocol(FileName).

For example:

extract:protocol("pin.erl").

To obtain Table 1 from the paper run:

	examples:table().

Claims supported by the artifact:

1. Protocol Composition: Strong, Weak, Correlating, All
2. Protocol Generation
3. Protocol Extraction

Results presented in Table 1 should be obtained on any machine. To obtain Table 1 from the paper run:

	examples:table().

The examples can be found under src/examples/