scholarly journals Dealing with contract violations: formalism and domain specific language

2006 ◽  
Author(s):  
G. Governatori ◽  
Z. Milosevic
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

Domain-Specific Language Abstractions for Compression

2021 ◽  
Author(s):  
Jessica Ray ◽  
Ajav Brahmakshatriya ◽  
Richard Wang ◽  
Shoaib Kamil ◽  
Albert Reuther ◽  
...  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

RML: Theory and practice of a domain specific language for runtime verification

2021 ◽  
Vol 205 ◽  
pp. 102610
Author(s):  
Davide Ancona ◽  
Luca Franceschini ◽  
Angelo Ferrando ◽  
Viviana Mascardi
Keyword(s):  
Runtime Verification ◽  
Theory And Practice ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

SWQL: A new domain-specific language for mining the social Web

2021 ◽  
pp. 102642
Author(s):  
Xiomarah Guzmán-Guzmán ◽  
Edward Rolando Núñez-Valdez ◽  
Raysa Vásquez-Reynoso ◽  
Angel Asencio ◽  
Vicente García-Díaz
Keyword(s):  
Domain Specific Language ◽  
Social Web ◽  
Specific Language ◽  
Domain Specific ◽  
The Social

Tool: Eine Sprachdomäne für die Montageplanung*/A domain specific language for assembly planning – Software-supported planning of human-robot cooperation based on ontologies

2018 ◽  
Vol 108 (09) ◽  
pp. 606-610
Author(s):  
R. Müller ◽  
O. Mailahn ◽  
R. Peifer
Keyword(s):  
Assembly Planning ◽  
Domain Specific Language ◽  
Assembly Systems ◽  
Specific Language ◽  
Domain Specific ◽  
Planning Software ◽  
Robot Cooperation ◽  
Planning Knowledge

Die Planung von Montagesystemen wird durch die Einführung von cyber-physischen Modulen und neuen Formen der Zusammenarbeit von Mensch und Roboter zunehmend komplexer. Ontologien können Planungswissen bezüglich Beziehungen und Restriktionen formal abbilden. Mit der hier beschriebenen Sprachdomäne werden Ontologien für Montageplaner zugänglich und anwendbar. Die Planung kann auf diese Weise beschleunigt und flexibilisiert werden.   The planning of assembly systems is becoming increasingly complex with the introduction of cyber-physical modules and new forms of human-robot cooperation. Ontologies can formally capture planning knowledge in terms of relationships and restrictions. The domain specific language described here makes ontologies accessible and usable for assembly planners. Thus, planning may be accelerated and designed more flexibly.

Sign in / Sign up

Export Citation Format

Share Document