naa a22 4500 510791255 CHVBK 20180411083320.0 cr unu---uuuuu 180411e20130601xx s 000 0 eng 10.1007/s11334-013-0210-2 doi (NATIONALLICENCE)springer-10.1007/s11334-013-0210-2 A verification environment for bigraphs [Elektronische Daten] [Gian Perrone, Søren Debois, Thomas Hildebrandt] We present the BigMC tool for bigraphical reactive systems that may be instantiated as a verification tool for any formalism or domain-specific modelling language encoded as a bigraphical reactive system. We introduce the syntax and use of BigMC, and exemplify its use with two small examples: a textbook "philosophers” example, and an example motivated by a ubiquitous computing application. We give a tractable heuristic with which to approximate interference between reaction rules, and prove this analysis to be safe. We provide a mechanism for state reachability checking of bigraphical reactive systems, based upon properties expressed in terms of matching, and describe a checking algorithm that makes use of the causation heuristic. Springer-Verlag London, 2013 Bigraphs nationallicence Reactive systems nationallicence Reachability analysis nationallicence Domain-specific modelling languages nationallicence Perrone Gian IT University of Copenhagen, Copenhagen, Denmark aut Debois Søren IT University of Copenhagen, Copenhagen, Denmark aut Hildebrandt Thomas IT University of Copenhagen, Copenhagen, Denmark aut Innovations in Systems and Software Engineering Springer-Verlag 9/2(2013-06-01), 95-104 1614-5046 9:2<95 2013 9 11334 https://doi.org/10.1007/s11334-013-0210-2 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11334-013-0210-2 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Perrone Gian IT University of Copenhagen, Copenhagen, Denmark aut NATIONALLICENCE 700 1- Debois Søren IT University of Copenhagen, Copenhagen, Denmark aut NATIONALLICENCE 700 1- Hildebrandt Thomas IT University of Copenhagen, Copenhagen, Denmark aut NATIONALLICENCE 773 0- Innovations in Systems and Software Engineering Springer-Verlag 9/2(2013-06-01), 95-104 1614-5046 9:2<95 2013 9 11334 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer