[link=https://github.com/eclipse/poosl/actions/workflows/maven.yml] image::https://github.com/eclipse/poosl/workflows/Java%20CI/badge.svg[gh-actions status]
= 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 https://raw.githubusercontent.com/eclipse/poosl/main/docs/User/InstallationManual.pdf[Installation guide] helps you to install Eclipse and POOSL features.
== How to download Eclipse Features
Update site and help are accessible on https://eclipse.github.io/poosl[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
=== Command To build the poosl project via maven you have to go run the following commands.
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 https://github.com/eclipse/poosl/tree/main/docs/Developer[org.eclipse.poosl.docs/Developer/readme.adoc]
=== Development environment
==== Install eclipse
. Download OOMPH: https://projects.eclipse.org/projects/tools.oomph/downloads . Launch OOMPH, switch to "advanced mode" . Click on the "plus" button to add the following resource
[start=4] . If you intend to contribute to POOSL (thus run the RCPTT tests), select version "2020-03" . Proceed with the installation
===== Import POOSL source code
. Clone https://github.com/eclipse/poosl.git . Import the repository in eclipse . Unfold the repository and under "Working Tree", select the following projects:
=== 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 '[#
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 https://github.com/eclipse/poosl/tree/main/docs/samples[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: