Name | moonlight JSON |
Version |
0.3.1
JSON |
| download |
home_page | |
Summary | Moonlight python wrapper |
upload_time | 2024-02-14 13:51:18 |
maintainer | |
docs_url | None |
author | Ennio Visconti |
requires_python | >=3.8,<4.0 |
license | |
keywords |
|
VCS |
|
bugtrack_url |
|
requirements |
No requirements were recorded.
|
Travis-CI |
No Travis.
|
coveralls test coverage |
No coveralls.
|
# MoonLight ![Build Status](https://github.com/MoonLightSuite/MoonLight/actions/workflows/build.yml/badge.svg) [![codecov](https://codecov.io/gh/MoonLightSuite/MoonLight/branch/master/graph/badge.svg)](https://codecov.io/gh/MoonLightSuite/MoonLight)
MoonLight is a light-weight Java-tool for monitoring temporal, spatial and spatio-temporal properties of distributed complex systems, as *Cyber-Physical Systems* and *Collective Adaptive Systems*.
It supports the specification of properties written with the *Reach and Escape Logic* ([STREL](https://dl.acm.org/citation.cfm?id=3127050)). STREL is a linear time temporal logic, in particular, it extends the *Signal Temporal Logic*
([STL](https://link.springer.com/chapter/10.1007/978-3-642-15297-9_9)) with a number of spatial operators that permit to described complex spatial behaviors as beeing surround, reaching target locations and escaping from specific regions.
<!-- The monitoring procedure is done with respect a single spatio-temporal trajecotry. Given a spatial configuration, a trajectory and a property the tool returns a spatio-temporal signal that describes the satisfaction of the property in each location and at each time.
The tool supports two type of semantics (satisfaction), the Boolean and the quantitative semantics.
Choosing the Boolean semantics the tool returns a Boolean satisfaction signal, that tells at each time in each location if the trajectory satisfies or not the property, choosing instead the Quantitative semantics the tool returns a real-value signal that corresponds to the value of satisfaction of the property.
-->
For more information, please visit our [Wiki](https://github.com/MoonLightSuite/MoonLight/wiki)
Raw data
{
"_id": null,
"home_page": "",
"name": "moonlight",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.8,<4.0",
"maintainer_email": "",
"keywords": "",
"author": "Ennio Visconti",
"author_email": "ennio.visconti@gmail.com",
"download_url": "https://files.pythonhosted.org/packages/80/12/abac5e4619dc9e7bf1fe180f74b5aab37e3a6e7be7e35fec6e4ac614cc4d/moonlight-0.3.1.tar.gz",
"platform": null,
"description": "# MoonLight ![Build Status](https://github.com/MoonLightSuite/MoonLight/actions/workflows/build.yml/badge.svg) [![codecov](https://codecov.io/gh/MoonLightSuite/MoonLight/branch/master/graph/badge.svg)](https://codecov.io/gh/MoonLightSuite/MoonLight)\n\nMoonLight is a light-weight Java-tool for monitoring temporal, spatial and spatio-temporal properties of distributed complex systems, as *Cyber-Physical Systems* and *Collective Adaptive Systems*.\n\nIt supports the specification of properties written with the *Reach and Escape Logic* ([STREL](https://dl.acm.org/citation.cfm?id=3127050)). STREL is a linear time temporal logic, in particular, it extends the *Signal Temporal Logic*\n([STL](https://link.springer.com/chapter/10.1007/978-3-642-15297-9_9)) with a number of spatial operators that permit to described complex spatial behaviors as beeing surround, reaching target locations and escaping from specific regions.\n<!-- The monitoring procedure is done with respect a single spatio-temporal trajecotry. Given a spatial configuration, a trajectory and a property the tool returns a spatio-temporal signal that describes the satisfaction of the property in each location and at each time.\nThe tool supports two type of semantics (satisfaction), the Boolean and the quantitative semantics.\nChoosing the Boolean semantics the tool returns a Boolean satisfaction signal, that tells at each time in each location if the trajectory satisfies or not the property, choosing instead the Quantitative semantics the tool returns a real-value signal that corresponds to the value of satisfaction of the property.\n-->\n\nFor more information, please visit our [Wiki](https://github.com/MoonLightSuite/MoonLight/wiki)\n",
"bugtrack_url": null,
"license": "",
"summary": "Moonlight python wrapper",
"version": "0.3.1",
"project_urls": null,
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "d9614fab983b0e6dbfc65e0a1fdf140609fd53165e9d04fdec3892c6d47564ab",
"md5": "5b3228b21f6d2ad20bc9d9b8528bc749",
"sha256": "27b2a3dc9c3a75f9d10b21594664a206423a7bde4f47b55c312c3d64d3855184"
},
"downloads": -1,
"filename": "moonlight-0.3.1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "5b3228b21f6d2ad20bc9d9b8528bc749",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8,<4.0",
"size": 23611166,
"upload_time": "2024-02-14T13:51:14",
"upload_time_iso_8601": "2024-02-14T13:51:14.828104Z",
"url": "https://files.pythonhosted.org/packages/d9/61/4fab983b0e6dbfc65e0a1fdf140609fd53165e9d04fdec3892c6d47564ab/moonlight-0.3.1-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8012abac5e4619dc9e7bf1fe180f74b5aab37e3a6e7be7e35fec6e4ac614cc4d",
"md5": "a80978c779951c6f88a698e0fe4bb5ad",
"sha256": "bef7539666ffd920e1beed80ac5adb8ea2707cba4e578b4a80ecd18bce79ef13"
},
"downloads": -1,
"filename": "moonlight-0.3.1.tar.gz",
"has_sig": false,
"md5_digest": "a80978c779951c6f88a698e0fe4bb5ad",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8,<4.0",
"size": 23608308,
"upload_time": "2024-02-14T13:51:18",
"upload_time_iso_8601": "2024-02-14T13:51:18.126100Z",
"url": "https://files.pythonhosted.org/packages/80/12/abac5e4619dc9e7bf1fe180f74b5aab37e3a6e7be7e35fec6e4ac614cc4d/moonlight-0.3.1.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-02-14 13:51:18",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "moonlight"
}