Science Score: 52.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
    Found CITATION.cff file
  • codemeta.json file
    Found codemeta.json file
  • .zenodo.json file
    Found .zenodo.json file
  • DOI references
  • Academic publication links
  • Academic email domains
  • Institutional organization owner
    Organization uoy-robostar has institutional domain (robostar.cs.york.ac.uk)
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (4.8%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: UoY-RoboStar
  • Default Branch: main
  • Size: 7.05 MB
Statistics
  • Stars: 0
  • Watchers: 4
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created almost 2 years ago · Last pushed about 1 year ago
Metadata Files
Readme Citation

README.md

RoboScene

Click on the links below, or navigate through the folders, to find materials for the RoboScene notation. This repository contains the metamodel, csp translation rules and a running example for reference within papers.

Running Example (Small SAR Example)

The folder of all running example documents contains: - RoboScene Document - Sequence Diagram Image - RoboChart of Drone - RoboChart of Drone Image - RoboChart of Handheld - RoboChart of Handheld Image - CSP for RoboChart models - CSP for RoboScene model

SAR Example

The folder of all SAR example documents contains: - The HTA of the example - Image of the final RoboChart model for the Drone - Image of the final RoboChart model for the Handheld - RoboScene sequence diagrams for the AreaSearch scenario with trained users and traits of: - Ideal Operator and Pilot - A Fatigued Operator and Ideal Pilot - An Operator Under Pressure and an Ideal Pilot - The RoboScene model, csp files, sequence diagrams and RoboChart models for each step of the development process: - Step 1 - Step 2 - Step 3 - Step 4 - Step 5

Metamodel

The folder of Metamodel documents contains: - The total metamodel - The top-level of the metamodel - An expanded image of the metamodel - The well-formedness conditions

CSP Translation Rules

PDF of the translation rules for RoboScene into CSP

Owner

  • Name: UoY-RoboStar
  • Login: UoY-RoboStar
  • Kind: organization
  • Location: United Kingdom

RoboStar is a centre of excellence in Software Engineering for Robotics. Research and development covers various aspects of model-based software engineering.

Citation (CITATION.cff)

cff-version: 1.0.0
message: "If you use these materials, please cite them as below."
authors:
  - family-names: Hendry
    given-names: Holly
    orcid: https://orcid.org/0000-0002-7241-5905
title: "RoboScene Materials"
version: 1.0.0
date-released: 2024-06-17
url: "https://github.com/UoY-RoboStar/RoboScene"

GitHub Events

Total
  • Public event: 1
Last Year
  • Public event: 1