enhance SPIs and integrate into distribution #129
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…e data, and the definition of SPIs
…d_to_jira" + converted some models into "File-per-Root Format"
danielratiu
added a commit
that referenced
this pull request
Feb 5, 2025
* distribution.build: enable distribution build based on MPS 2023.2.2 * gradle.lockfile: updated dependency to platform and mpsqa * safety: fixed the dependencies in the distribution build * feature/plantuml integration (#116) * symo: initial steps for the implementation of plantuml * build: added symo.plantuml to the build * symo: re-use batik library from itemis stubs * gradle.lockfile: updated dependency to mps-qa * com.mpsbasics: add a libraries.xml (cherry picked from commit c252358) * feature/publish rcp as maven packages (#117) * .github: added "Publish RCPs" task to the workflow * build.gradle: fixed the patching of the Windows RCP + enable publication to the github packages repo * upgrade docx4j to 11.4.11 * safety: fixed "GenericNamedModelElementRefWord" * mpsbasics: enhanced the PDF exporter with navigatable links in PDF to referenced nodes which are displayed on other pages * safety.build.distribution: add "mps::plugins/mps-migration" to RCP + fixed new dependencies of the pdf exporter * overall: File -> Force Save All * pdfbox: make optional the support for saving links on PDF pages (#119) * mpsbasic: cleanup dependencies of pdfbox * Revert "upgrade docx4j to 11.4.11" This reverts commit 89aac03. * symo: enhance the support for plantuml diagrams (#120) * symo: enhance the support for plantuml diagrams * safety: fix the build * safety: fix the build --------- Co-authored-by: ratiud <extern.daniel.ratiu@volkswagen.de> * mpsbasics, safety: fix the doc2word tests (#121) * mpsbasics, safety: fix the doc2word tests * mpsbasics.docx4j: improved error reporting in case of tests failures * mpsbasics.docx4j: enhance comparator for generated DOCX4j documents with the possibility to ignore certain lines --------- Co-authored-by: ratiud <extern.daniel.ratiu@volkswagen.de> * pdfbox: support upstream links in PDF exports (#122) * pdfbox: support upstream links in PDF exports * overall: File -> Force Save All --------- Co-authored-by: ratiud <extern.daniel.ratiu@volkswagen.de> * mpsbasics: support exporting of html snippets to pdf (#123) * mpsbasics: enable exporting of HTML Snippets * safety-tutorial: enhanced the demo about exporting assurance cases to PDF * fix/restructure rcp build (#124) * safety.distribution.build: added model for startup scripts, added plarform specific builds * safety.build: restructured to enable building for different platforms * safety.build: various fixes in the build scripts on the mps side * build.gradle.kts: re-written publications * gradle.build: mini fix (#125) Co-authored-by: ratiud <extern.daniel.ratiu@volkswagen.de> * tutorial.safety: enhance safety tutorial with oascf (#127) * Added OASCF - "The Open Autonomy Safety Case Framework" from https://arxiv.org/pdf/2404.05444 * add plantuml support to distribution (#128) * safety.distribution: added PlantUml to "New FASTEN Root" menu * overall: moved basic editor component "HeaderComponent" from "com.mbeddr.formal.base" to "com.mpsbasics.core" * safety: added dependency to symo to the Project Library * a small example about the plantuml integration * enhance SPIs and integrate into distribution (#129) * safety.spi: enable checking of SPIs * rcp: added the creation of SPI containers to "New FASTEN Root" menu * safety.tutorial: added examples for linking assurance cases to runtime data, and the definition of SPIs * safety: optimized imports of the "safety.argument.spi" language * safety: fixed build dependencies * build: added fasten.gsn.runtime devkit to the build * safety.tutorial: removed duplicated model "_080_assurance_cases_linked_to_jira" + converted some models into "File-per-Root Format" * safety.tutorial: renamed model "_200_autonomy_safety_arguments_catalogue._010_oascf" * build.gradle: mini optimization to avoid building "assurance_languages" two times * improve safety-argument-modelquery (#130) * safety: improved safety.argument.modelquery * tutorial.safety: added an example for model-query * Added ODD to "New FASTEN Root Node" menu (#126) * fasten.base: initial support for sat4j * safety: added ODD to fasten.requirements devkit - added ODD to "New FASTEN Root Node" * Added ontologies and a draft of odd specification example. * req: improvements of the odd language, added tests for ODDs * safety.build: added "test.com.fasten.req.odd" and "test.com.mbeddr.formal.req.tl_patterns" to the tests * safety.build: added dependency from generic distribution to "mps::plugins/mps-ide" * Update main.yml avoid building multiple times * rcp: fixed open-tutorial action * safety.build: cleanup creation of Win RCP * safety.build: import "mps::plugins/mps-rcp" + further cleanup for Windows RCP * Added BSI 1883 taxonomy. * Modified BSI 1883 taxonomy and made a first version of the ODD example. * Added first draft of AVSC ODD Lexicon. * Final touches BSI 1883 taxonomy and ODD example. --------- Co-authored-by: Carmen Carlan <carmen.carlan@gmail.com> * fix rcp plugins dependency (#131) * build: added fasten.symo plugin to the generic distribution * build: added mps-kotlin * cleanup odd examples (#132) * Edited Wordnet, Czarnecki, and AVSC ontologies. * cleanup deprecated code; improved linters; updated dependency to mpsqa (#133) * cleanup deprecated code * req.odd: cleanup * req.odd: cleanup * repo_admin: added new linters gradle.lockfile: updated dependency to mpsqa * safety.tutorial: fixed empty line in ontology definitions * safety: cleanup code to get green linters * build: fixed dependencies * build: temporary commented out the test "test.com.fasten.safety.doc2word" --------- Co-authored-by: ratiud <extern.daniel.ratiu@volkswagen.de> * overall: File -> Force Save All * overall: ran automated migrations * gradle.lockfile: updated dependency to mpsqa * ran gradlew migrate * build.gradle: consider all files from the plugins directory when configuring the dependencies of migrate --------- Co-authored-by: Alexander Pann <apann@itemis.com> Co-authored-by: Carmen Carlan <carmen.carlan@gmail.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.