Difference between revisions of "Inclusive Modeling with SysMD"

From F-Si wiki
Jump to navigation Jump to search
(Created page with "==Inclusive Modeling with SysMD== * Speaker(s): Christoph Grimm * email: grimm@cs.uni-kl.de ==Downloads== * Slides (to upload a file: go to Edit mo...")
 
 
(11 intermediate revisions by one other user not shown)
Line 1: Line 1:
==Inclusive Modeling with SysMD==


* Speaker(s): Christoph Grimm
* Speaker(s): Christoph Grimm
* email: grimm@cs.uni-kl.de  
* Email: grimm@cs.uni-kl.de


==Downloads==
==Downloads==


* [[:File:File_name.pdf|Slides]] (to upload a file: go to Edit mode, then click on the fourth icon from the left "Embed file" and follow the instructions)
* [[:File:SysMD-FSi22.pdf|Slides]]
* [https:peertube.f-si.org/xxxx Video recording]
* [https://peertube.f-si.org/videos/watch/5de0cad9-1e21-4889-aa2e-78343f45ded8 Video recording]
 
==Abstract==
==Abstract==


Lorem Ipsum[1] is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged. It was popularised in the 1960s with the release of Letraset sheets containing Lorem Ipsum passages, and more recently with desktop publishing software like Aldus PageMaker including versions of Lorem Ipsum.[2]
SysMD/AGILA is a framework for high-level modeling of requirements and specifications.  
Its main advantages and features are
* Integration of explaining documentation with models
** Documentation can be any Markdown (MD) document
** Textual models can be attached documentation
** Textual models can be SysMD and/or a subset of SysMLv2
 
* Interoperability with SysMLv2 targeted
** by using the meta-model of SysMLv2/KerML
** via support for the SysMLv2 REST API
 
* Analysis of the consistency and feasibility
** propagation of constraints on integers and real values
** support for quantities with physical units in the SI system and many national and other units
** check of satisfiability of Boolean expressions
** support for non-linear and mixed discrete/continuous expressions
 
* Client/Server architecture
** Server supports version tracking


==Software==
==Software==
===General information===
===General information===
* Repository: https://xxxx.yyy
* Repository: https://cpsgit.cs.uni-kl.de/free/sysmd ; Repository SysMD will be used once we get OK from partners. 
* Main documentation website: https://xxxx.yyy
* Main documentation website: https://cpsgit.cs.uni-kl.de/free/sysmd ; Repository will be open after we get OK from project partners.  
* Wikipedia page: https://en.wikipedia.org/wiki/XXX-YYY-ZZZ (if a wikipedia page about the software, or a page mentioning it, does not exist yet, please consider creating one). If it gets reverted or deleted, please create a page on https://wiki.f-si.org
* Wikipedia page: https://en.wikipedia.org/wiki/XXX-YYY-ZZZ (if a wikipedia page about the software, or a page mentioning it, does not exist yet, please consider creating one). If it gets reverted or deleted, please create a page on https://wiki.f-si.org
Wiki page on wiki.f-si.org: https://wiki.f-si.org/index.php/XXX-YYY-ZZZ
Wiki page on wiki.f-si.org: https://wiki.f-si.org/index.php/XXX-YYY-ZZZ
* The software has been used in the following projects: XXX, YYY, ZZZ
* The software has been used in the following projects: GENIAL!, Arrowhead Tools, AnastASICA.
 
==Roadmap==  
==Roadmap==  
* The software wishes to interface with the following tools: SysMLv2 API, KerMLv2 metamodel
* The software wishes to interface with the following tools: SysMLv2 API, KerMLv2 metamodel

Latest revision as of 22:29, 1 August 2022

  • Speaker(s): Christoph Grimm
  • Email: grimm@cs.uni-kl.de

Downloads

Abstract

SysMD/AGILA is a framework for high-level modeling of requirements and specifications. Its main advantages and features are

  • Integration of explaining documentation with models
    • Documentation can be any Markdown (MD) document
    • Textual models can be attached documentation
    • Textual models can be SysMD and/or a subset of SysMLv2
  • Interoperability with SysMLv2 targeted
    • by using the meta-model of SysMLv2/KerML
    • via support for the SysMLv2 REST API
  • Analysis of the consistency and feasibility
    • propagation of constraints on integers and real values
    • support for quantities with physical units in the SI system and many national and other units
    • check of satisfiability of Boolean expressions
    • support for non-linear and mixed discrete/continuous expressions
  • Client/Server architecture
    • Server supports version tracking

Software

General information

Wiki page on wiki.f-si.org: https://wiki.f-si.org/index.php/XXX-YYY-ZZZ

  • The software has been used in the following projects: GENIAL!, Arrowhead Tools, AnastASICA.

Roadmap

  • The software wishes to interface with the following tools: SysMLv2 API, KerMLv2 metamodel
  • The project seeks help on: UI improvement, issues reporting, bug hunting
  • References
E. Miller, The history of Lorem Ipsum, (New York: Academic Press, 2005), 23-5.
R. Smith, "Dummy text repositories", Scientific American, 46 (April 1978): 44-6.
Retrieved from "https://wiki.f-si.org/index.php?title=Inclusive_Modeling_with_SysMD&oldid=2685"