Programmatic Abstractions in the ProB 2.0 API: Difference between revisions

No edit summary
Line 5: Line 5:


=== Current Implementation ===
=== Current Implementation ===
The developer is still able to use commands in order to get information from the prolog kernel. But as we were considering the ProB model
The developer is still able to use commands in order to get information from the prolog kernel. But as we were considering how the ProB core should be structured, we realized that many commands may be used over and over again in the same (or very similar) concepts. Therefore, we created the programmatic abstractions that will be described in the following sections.


== Model ==
== Model ==

Revision as of 09:48, 30 November 2012

Overview

Background

The ProB 1.0 API takes advantage of one basic abstraction: developers can create Java commands that can be sent to the prolog kernel where something will be calculated. The result can then be used by the developer. Each Java command corresponds to one prolog command in the ProB kernel.

Current Implementation

The developer is still able to use commands in order to get information from the prolog kernel. But as we were considering how the ProB core should be structured, we realized that many commands may be used over and over again in the same (or very similar) concepts. Therefore, we created the programmatic abstractions that will be described in the following sections.

Model

StateSpace

History