Metadata-Version: 2.1
Name: hpl-specs
Version: 0.1.2
Summary: HAROS Property Specification Language
Home-page: https://github.com/git-afsantos/hpl-specs
Author: André Santos
Author-email: andre.f.santos@inesctec.pt
License: MIT
Description: # HPL - The HAROS Property Specification Language
        
        HPL is a minimalistic specification language tailored for behavioural properties of message-based systems.
        Although it might be useful in other contexts, it was designed with the message-passing system of the [Robot Operating System](https://www.ros.org/) in mind.
        Since properties are message-based, the same language can be used to specify both individual nodes and full applications.
        
        HPL was developed to be an integral part of the [HAROS framework](https://github.com/git-afsantos/haros/).
        HAROS is capable of defining and extracting architectural models of ROS systems (the *ROS Computation Graph*).
        Such models are, inherently, mostly concerned with the structure of the analysed system.
        This language is meant to annotate the architectural models, complementing them with behavioural information.
        
        ## What Is In The Box
        
        This repository contains a Python package, and the respective source code, to parse HPL specifications and convert them into *Abstract Syntax Trees* (AST).
        
        ## Syntax, Semantics and Use Cases
        
        Check the [documentation](./docs).
        
        ## Installing
        
        To install this package, make sure that you have Python 2.7 or greater.
        Simply run the command:
        
        ```
        pip install hpl-specs
        ```
        
        ## Bugs, Questions and Support
        
        Please use the [issue tracker](https://github.com/git-afsantos/hpl-specs/issues).
        
        ## Citing
        
        See [CITING](./CITING.md).
        
        ## Contributing
        
        See [CONTRIBUTING](./CONTRIBUTING.md).
        
        ## Acknowledgment
        
        This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583).
        
Keywords: haros ros property-specification parser parsing ast
Platform: UNKNOWN
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development
Classifier: Topic :: Software Development :: Compilers
Classifier: Topic :: Software Development :: Libraries
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Software Development :: Quality Assurance
Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*
Description-Content-Type: text/markdown
