Applications of SADL
Last revised
1/4/2022.
Contact us.
The Semantic Application Design Language (SADL) has a relatively long history, having begun its journey in
2007. Since that time it has been used in a variety of projects and
applications, some of which are briefly summarized below. For an published
overview of the concepts underpinning SADL, see
Modeling multi-level secure domains
Semantic models of smart grid
Integrated manufacturability checking
Software validation and verification
- Moitra, Abha, et al. “Towards Development of Complete and
Conflict-Free Requirements.” 2018 IEEE 26th International
Requirements Engineering Conference (RE), 20-24 8 2018. IEEE Xplore,
Banff, IEEE, https://ieeexplore.ieee.org/document/8491143.
Accessed 20 12 21.
Extraction of scientific models from text and legacy code
GE Research participated in the DARPA ASKE program from 2018 to 2020. The
purposes of the DARPA projects were to extract models, including
equations, from unstructured text and from legacy code.
in with projects in TA1 and TA2. SADL was used as the viewer and editor
for domain ontologies and for a semantic model of Java code. Both the SADL
grammar and the Eclipse Xtext-based SADL IDE were extended to create the
Dialog language and the ANSWER IDE. In the ANSWER environment the user can
initiate extract from code and/or text, can view and refine the results as
model snippets in a Dialog editor, and can ask questions requiring
chaining of models (equations) together to form complex models to compute
the response.
- Crapo, Andrew, et al. “ANSWER: A Principled Approach to
Scientific Knowledge Representation, Extraction, Curation, and
Utilization.” DARPA ASKE TA1 M3 Report. 1 February 2019, https://github.com/GEGlobalResearch/DARPA-ASKE-TA1/blob/master/StatusReports/Phase1/DARPA-ASKE-ANSWER-M3-Report.pdf.
Accessed 23 December 2021.
- Crapo, Andrew, et al. “GE ASKE Performance on Other
Sources.” Final report section describing application to wind
turbine design. DARPA ASKE GE Team Final Report. DARPA-ASKE-TA2 Wiki, https://github.com/GEGlobalResearch/DARPA-ASKE-TA2/blob/master/Reports/GE_ASKE_Final_Report.pdf.
Accessed 24 December 2021.
- GE Global Research. “DARPA ASKE TA1 M11 Report, Demo
Videos.” Accessed 29 December 2021.
- GE Global Research. “DARPA ASKE TA1 Wiki.” Public project
repository on github.com. https://github.com/GEGlobalResearch/DARPA-ASKE-TA1/wiki.
Accessed 23 December 2021.
- GE Global Research. “DARPA ASKE TA2 Wiki.” Public project
repository on github.com. https://github.com/GEGlobalResearch/DARPA-ASKE-TA2/wiki.
Accessed 3 January 2022.
Formalized assurance cases
Meng, Baoluo, et al. “Towards Developing Formalized Assurance
Cases.” 2020 AIAA/IEEE 39th Digital Avionics Systems Conference
(DASC), 11-15 10 2020. IEEE Xplore, San Antonio, IEEE, https://ieeexplore.ieee.org/document/9256740.
Accessed 20 12 2021.
Other?
Are there topics that should appear for which these are references?
- Dixit, Sharad, et al. “Extracting Semantics from Maintenance
Records.” W07: IJCAI-21 Workshop on Applied Semantics Extraction
and Analytics (ASEA), 21 8 2021. IJCAI Proceedings Template, Montreal
(Virtual), International Joint Conferences on Artificial Intelligence,
https://arxiv.org/pdf/2108.05454.pdf. Accessed 20 12 2021.
- Kang, SungKu, et al. “Extraction of Formal Manufacturing Rules
from Unstructured English Text.” Computer-Aided Design, vol. 134,
no. May 2021, 2021. ScienceDirect,
https://www.sciencedirect.com/science/article/abs/pii/S0010448521000014?dgcid=rss_sd_all.
Accessed 20 12 2021.
- Meng, Baoluo, et al. “Towards Developing Formalized Assurance
Cases.” 2020 AIAA/IEEE 39th Digital Avionics Systems Conference
(DASC), 11-15 10 2020. IEEE Xplore, San Antonio, IEEE,
https://ieeexplore.ieee.org/document/9256740. Accessed 20 12 2021.
- Meng, Baoluo, et al. “VERDICT: A Language and Framework for
Engineering Cyber Resilient and Safe System.” Systems, vol. 9, no.
1, 2021. MDPI, https://www.mdpi.com/2079-8954/9/1/18. Accessed 20 12
2021.
Moitra, Abha, et al. “Towards Development of Complete and
Conflict-Free Requirements.” 2018 IEEE 26th International
Requirements Engineering