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...")
 
Line 11: Line 11:
==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 (Markdown) with models in SysMD and/or a subset of SysMLv2
* Interoperability with SysMLv2 (subset) also by the meta-model and REST API
* Analysis of the consistency and feasibility
** and 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


==Software==
==Software==

Revision as of 11:55, 30 June 2022

Inclusive Modeling with SysMD

  • 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 (Markdown) with models in SysMD and/or a subset of SysMLv2
  • Interoperability with SysMLv2 (subset) also by the meta-model and REST API
  • Analysis of the consistency and feasibility
    • and 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

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: XXX, YYY, ZZZ

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=2536"