{"id":124,"date":"2013-05-15T08:00:00","date_gmt":"2013-05-15T06:00:00","guid":{"rendered":"https:\/\/www.formalmind.com\/blog\/termin-vormerken-sysml-formale-semantik-und-ihre-anwendung-beim-modellbasierten-testen-27-mai-2\/"},"modified":"2022-04-11T18:58:55","modified_gmt":"2022-04-11T16:58:55","slug":"termin-vormerken-sysml-formale-semantik-und-ihre-anwendung-beim-modellbasierten-testen-27-mai-2","status":"publish","type":"post","link":"https:\/\/www.formalmind.com\/de\/blog\/termin-vormerken-sysml-formale-semantik-und-ihre-anwendung-beim-modellbasierten-testen-27-mai-2\/","title":{"rendered":"Termin vormerken: SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen (27. Mai 2013)"},"content":{"rendered":"<p style=\"text-align: center;\"><strong><span id=\"result_box\" lang=\"de\"><span class=\"hps\">Formal<\/span> <span class=\"hps\">Geist<\/span> <span class=\"hps\">freut sich<\/span><span>, Sie auf der<\/span> <span class=\"hps\">folgende<\/span> <span class=\"hps\">Veranstaltung mit<\/span><br \/><span class=\"hps\">Professor<\/span> <span class=\"hps\">Jan<\/span> <span class=\"hps\">Peleska<\/span> <span class=\"hps\">und<\/span> <span class=\"hps\">Professor<\/span> <span class=\"hps atn\">Wen-<\/span><span>Ling<\/span> <span class=\"hps\">Huang<\/span> <span class=\"hps\">laden<\/span><span>:<\/span><\/span><\/strong><\/p>\n<p>\nn<\/p>\n<style type=\"text\/css\">\nnP { margin-bottom: 0.08in; }<\/style>\n<p>n<\/p>\n<p lang=\"en-US\" style=\"margin-bottom: 0in\">&nbsp;<\/p>\n<p align=\"CENTER\" lang=\"en-US\" style=\"margin-bottom: 0in\"><span style=\"font-size:16px;\"><strong>SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen<\/strong><\/span><\/p>\n<p align=\"CENTER\" lang=\"en-US\" style=\"margin-bottom: 0in\"><strong>Montag, 27. Mai<sup>th<\/sup>, 201310:00-12:30<\/strong><\/p>\n<p align=\"CENTER\" lang=\"en-US\" style=\"margin-bottom: 0in\"><strong>Universit\u00e4t D\u00fcsseldorf<\/strong><\/p>\n<p align=\"CENTER\" lang=\"en-US\" style=\"margin-bottom: 0in\"><strong>Zimmer 25.12.2.55<\/strong><\/p>\n<p style=\"text-align: center;\"><span id=\"result_box\" lang=\"de\"><span class=\"hps\">Vortrag<\/span> <span class=\"hps\">wird<\/span> <span class=\"hps\">in deutscher Sprache abgehalten<\/span> <span class=\"hps\">werden.<\/span><\/span><\/p>\n<p style=\"text-align: center;\"><span lang=\"de\"><span class=\"hps atn\">Nicht-<\/span><span>Mitglieder des Lehrk\u00f6rpers<\/span><span>,<\/span> <span class=\"hps\">Anmeldung erbeten<\/span> <span class=\"hps\">bei<\/span> <span class=\"hps\">info@formalmind.com<\/span><\/span><\/p>\n<p style=\"text-align: center;\">&nbsp;<\/p>\n<p><strong>Zusammenfassung:<\/strong> Die von der OMG publizierten Spezifikationen von UML und SysML sind in den letzten Jahren kontinuierlich verbessert worden, so dass sie heute eine ausreichende Grundlage f\u00fcr die semantische Interpretation liefern: In Bezug auf die formale Syntax und statische Semantik wurde unter Zuhilfenahme der Object Constraint Language OCL ein erheblicher Grad an Pr\u00e4zision erreicht - auch wenn man immer noch an einigen Stellen mit fehlerhaften OCL-Ausdr\u00fccken oder Widerspr\u00fcchen zwischen textueller und formaler Beschreibung rechnen muss. In Bezug auf die Verhaltenssemantik liegen nur nat\u00fcrlich-sprachliche Regelungen vor. Diese sind jedoch inzwischen ausreichend klar, so dass sie sich in eine formale Beschreibung umsetzen lassen. Nur bei sogenannten Semantischen Variationspunkten werden unterschiedliche Interpretationen zugelassen, die projekt- oder werkzeugspezifisch festgelegt werden m\u00fcssen.<\/p>\n<p>In diesem Vortrag demonstrieren wir die systematische Konstruktion einer formalen Echtzeit-Semantik f\u00fcr SysML Spezifikationen, in denen das Verhalten durch Block-Operationen und Zustandsmaschinen beschrieben wird. Diese Konstruktion f\u00fchrt zu einer Transitionsrelation, welche diskrete Schritte in Nullzeit mit Verz\u00f6gerungen kombiniert, so dass eine Echtzeit-Semantik entsteht, die wahlweise nach dem Dense Time oder Discrete Time Paradigma mit synchronem oder verschr\u00e4nktem (interleaving semantics) Verhalten ausgepr\u00e4gt ist. Wir demonstrieren die praktische Anwendung dieser Konstruktion im modellbasierten Testen und beim Bounded Model Checking anhand des Werkzeugs RT-Tester, welches von Verified Systems International in Kooperation mit der Universit\u00e4t Bremen entwickelt wurde.<\/p>","protected":false},"excerpt":{"rendered":"<p>Formaler Geist freut sich, Sie auf der folgenden Veranstaltung mitProfessor Jan Peleska und Professor Wen-Ling Huang zu laden: n n SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen Montag, 27. Mai 201310:00-12:30 Universit\u00e4t D\u00fcsseldorf Raum 25.12.2.55 Vortrag wird in deutscher Sprache abgehalten werden. Nicht-Mitglieder des Lehrk\u00f6rpers, Anmeldung erbeten bei info@formalmind.com Abstract: Die...<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"single-no-separators","format":"standard","meta":{"_kadence_starter_templates_imported_post":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_kad_post_classname":"","footnotes":""},"categories":[13],"tags":[],"class_list":["post-124","post","type-post","status-publish","format-standard","hentry","category-blog"],"_links":{"self":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/124","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/comments?post=124"}],"version-history":[{"count":0,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/124\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/media?parent=124"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/categories?post=124"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/tags?post=124"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}