Brief introduction to the POOSL project

The Parallel Object-Oriented Specification Language (POOSL) is a very expressive language to model concurrent hardware/software systems. POOSL has a small set of powerful primitives and it has an unambiguous formal semantics in terms of mathematical axioms and rules. POOSL models can be simulated with the Rotalumis simulator.

This project provides an Eclipse-based tool for editing and debugging POOSL models.

How to install

Installation guide helps you to install Eclipse and POOSL features.

How to download Eclipse Features

Update site and help are accessible on gh-pages site.

How to build

Here you will find a introduction how to setup, build and run tests.

Preconditions

We assume the following tools/frameworks are available

• JDK 11 (JDK 16 or above is not supported for now)

• Maven 3.5+

• rcptt ide: is the IDE for RCPTT development

• rcptt runner 2.5.0: is the command line tool for RCPTT

• ${POOSL_SRC} stands for the poosl source location on your host

Command

To build the poosl project via maven you have to go run the following commands.

cd ${POOSL_SRC}
mvn clean verify

Executing this command will build the plugins, features, updatesite and products.

Locations

Update site is available at ${POOSL_SRC}/releng/org.eclipse.poosl.update/target/repository Product are available at ${POOSL_SRC}/releng/org.eclipse.poosl.product/target/products

Developing

Development guidelines are described at org.eclipse.poosl.docs/Developer/readme.adoc

Development environment

Install eclipse

1. Download OOMPH: https://projects.eclipse.org/projects/tools.oomph/downloads

2. Launch OOMPH, switch to "advanced mode"

3. Click on the "plus" button to add the following resource

https://raw.githubusercontent.com/eclipse/poosl/main/parent/oomph/org.eclipse.setup

4. If you intend to contribute to POOSL (thus run the RCPTT tests), select version "2020-03"

5. Proceed with the installation

Import POOSL source code

1. Clone https://github.com/eclipse/poosl.git

2. Import the repository in eclipse

3. Unfold the repository and under "Working Tree", select the following projects:

   • docs

   • plugins/*

   • releng/*

   • tests/*

   • tests/rcptt/*

   • tooling/org.eclipse.poosl.xtext.tooling

4. Right-click > Import

5. In the Java Perspective, activate working sets (Package Explorer > …​ menu > Top-level elements > Working Sets)

6. In Window > Preferences > Plug-in development > Target Platform, select & apply POOSL SDK Target platform

7. Check that the following preferences are set:

   • Java/Code style/Formatter: import org.eclipse.poosl.parent/preferences/JavaFormatter.xml

   • Java/Code style/Clean Up: import org.eclipse.poosl.parent/preferences/CleanupProfile.xml

   • Java/Code style/Code Templates: import /org.eclipse.poosl.parent/preferences/java-codetemplates.xml

Contributing

• Create an github issue to describe the feature to add/fix.

• Fork the project in your github account and push your code.+ Commit must start with '[#<issue-number>] ' tag.

• Create a pull-request

• Wait for team review: a feedback will be provided or the commit will be merged.

• Contributions like libraries, examples are welcomed. Some already appear in the samples/ folder.

Automatic Tests via RCPTT

• In Eclipse environment, all tests are grouped in org.eclipse.poosl.rcptt.allinone/AllTests.suite Note: at the moment, POOSL RCPTT tests only works on Windows with Eclipse 2020-03.

• In bash mode, use maven command:

cd ${POOSL_SRC}
mvn verify -P integration-tests