Home > Research > Publications & Outputs > Diagrammatic specification of mobile real-time ...

Links

Text available via DOI:

View graph of relations

Diagrammatic specification of mobile real-time systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date2010
Host publicationDiagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings
EditorsAshok K. Goel, Mateja Jamnik, N. Hari Narayanan
Place of PublicationBerlin
PublisherSpringer
Pages316-318
Number of pages3
ISBN (electronic)9783642146008
ISBN (print)9783642145995
<mark>Original language</mark>English
EventInternational Conference on the Theory and Applications of Diagrams - Portland, United States
Duration: 9/08/201011/08/2010
Conference number: 6

Conference

ConferenceInternational Conference on the Theory and Applications of Diagrams
Abbreviated titleDIAGRAMS
Country/TerritoryUnited States
CityPortland
Period9/08/1011/08/10

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6170
ISSN (Print)0302-9743
ISSN (electronic)1611-3349

Conference

ConferenceInternational Conference on the Theory and Applications of Diagrams
Abbreviated titleDIAGRAMS
Country/TerritoryUnited States
CityPortland
Period9/08/1011/08/10

Abstract

Behavior of spatio-temporal systems depends on real-time as well as spatial aspects. More and more safety-critical systems fall into this domain and thus raise the urge for formal specification and verification methods for this type of systems. For this purpose, we develop a diagrammatic language of Shape Diagrams that concentrates on the critical concepts and is usable by both engineers and scientists. We present two syntaxes, an abstract one based on hypergraphs and graph transformation systems that constitutes the abstract structure, and a concrete one given in terms of conventions for drawing diagrammatic pictures.