Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. Lecture Notes in Computer Science, 9780, pp. 494-501. (doi: 10.1007/978-3-319-41540-6_27)
|
Text
119384.pdf - Accepted Version 516kB |
Abstract
BigraphER is a suite of open-source tools providing an effi- cient implementation of rewriting, simulation, and visualisation for bigraphs, a universal formalism for modelling interacting systems that evolve in time and space and first introduced by Milner. BigraphER consists of an OCaml library that provides programming interfaces for the manipulation of bigraphs, their constituents and reaction rules, and a command-line tool capable of simulating Bigraphical Reactive Systems (BRSs) and computing their transition systems. Other features are native support for both bigraphs and bigraphs with sharing, stochastic reaction rules, rule priorities, instantiation maps, parameterised controls, predicate checking, graphical output and integration with the probabilistic model checker PRISM.
| Item Type: | Articles |
|---|---|
| Additional Information: | 28th International Conference on Computer Aided Verification (CAV 2016), Toronto, ON, Canada, 17-23 Jul, 2016. |
| Status: | Published |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Calder, Professor Muffy and Sevegnani, Dr Michele |
| Authors: | Sevegnani, M., and Calder, M. |
| College/School: | College of Science and Engineering > School of Computing Science |
| Journal Name: | Lecture Notes in Computer Science |
| Publisher: | Springer |
| ISSN: | 0302-9743 |
| Copyright Holders: | Copyright © 2016 Springer International Publishing Switzerland |
| First Published: | First published in Lecture Notes in Computer Science 9780: 494-501 |
| Publisher Policy: | Reproduced in accordance with the copyright policy of the publisher |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Funder and Project Information
Funder and Project Information