Specification Languages for Preserving Consistency

Specification Languages for Preserving Consistency between Models of Different Languages. . Urheber: Kramer, Max Emanuel
Verlag: KIT Scientific Publishing.
21,0 x 14,8 cm. graph. Darst. Seiten: 476.
ISBN-13: 9783731507840.
Erscheinungsdatum: 30.01.2019

Bei der Entwicklung komplexer IT-Systeme kann die Verwendung mehrerer Programmier- und Modellierungssprachen zu Inkonsistenzen führen, die zu fehlerhaften Designs und Implementierungen führen. Um dieses Problem anzugehen, trägt diese Arbeit zu einer Klassifizierung der Herausforderungen bei, die sich aus der Erhaltung der Konsistenz ergeben, und zu einem Ansatz zur Erhaltung der Konsistenz bei. Es wird mit Hilfe der Mengenlehre formalisiert und überwacht Änderungen, um Matching und Differenzen zu vermeiden. Drei neue Sprachen, die diesem Erhaltungsansatz folgen, werden vorgestellt.

Inhalt:
EDV und Informationstechnologie

Modelltransformation; Konsistenz Synchronisation Sprache; Modelltransformation Konsistenz Synchronisation Sprache