Difference between revisions of "Inclusive Modeling with SysMD"
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
* [[: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: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) | ||
* [https:peertube.f-si.org/xxxx Video recording] | * [https:peertube.f-si.org/xxxx Video recording] | ||
[[File:SysMD-FSi22.pdf|thumb|alt=Slides|Presentation slides without videos]] | |||
==Abstract== | ==Abstract== | ||
Revision as of 13:46, 5 July 2022
- Speaker(s): Christoph Grimm
- Email: grimm@cs.uni-kl.de
Downloads
- Slides (to upload a file: go to Edit mode, then click on the fourth icon from the left "Embed file" and follow the instructions)
- [https:peertube.f-si.org/xxxx Video recording]
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
- Repository: https://cpsgit.cs.uni-kl.de/free/sysmd ; Repository SysMD will be used once we get OK from partners.
- 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
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.