×

UNITY

swMATH ID: 13461
Software Authors: Chandy, K. Mani; Misra, Jayadev
Description: Simulation model development and analysis in UNITY. We evaluate UNITY – a computational model, specification language and proof system defined by Chandy and Misra [5] for the development of parallel and distributed programs – as a platform for simulation model specification and analysis. We describe a UNITY-based methodology for the construction, analysis and execution of simulation models. The methodology starts with a simulation model specification in the form of a set of coupled state transition systems. Mechanical methods for mapping the transition systems first into a set of formal assertions, permitting formal verification of the transition systems, and second into an executable program are described. The methodology provides a means to independently verify the correctness of the transition systems: one can specify properties formally that the model should obey and prove them as theorems using the formal specification. The methodology is illustrated through generation of a simulation program solving the machine interference problem using the Time Warp protocol on a distributed memory parallel architecture.
Homepage: https://en.wikipedia.org/wiki/UNITY_%28programming_language%29
Keywords: simulation specification; simulation verification; parallel simulation protocols; UNITY
Related Software: NQTHM; HOL; PVS; SPIN; LARCH; Isabelle/HOL; Coq; OBJ3; Maude; CafeOBJ; Rodin; CESAR; Z; ML; HOL-UNITY; Eiffel; PRISM; Uppaal; Nuprl; Reo
Cited in: 188 Documents

Standard Articles

2 Publications describing the Software, including 2 Publications in zbMATH Year
Simulation model development and analysis in UNITY. Zbl 1081.90581
Page, Ernest H.; Abrams, Marc
2001
Parallel program design. A foundation. Zbl 0717.68034
Chandy, K. Mani; Misra, Jayadev
1988
all top 5

Cited by 277 Authors

14 Hesselink, Wim H.
6 Meseguer Guaita, José
6 Misra, Jayadev
4 Futatsugi, Kokichi
4 Singh, Ambuj K.
3 Anderson, James H.
3 Attie, Paul C.
3 Chandy, Kanianthra Mani
3 Dijkstra, Rutger M.
3 Filali, Mamoun
3 Fix, Limor
3 Francez, Nissim
3 Groote, Jan Friso
3 Grumberg, Orna
3 Halpern, Joseph Yehuda
3 Kindler, Ekkart
3 Liu, Zhiming
3 McIver, Annabelle K.
3 Olderog, Ernst-Rüdiger
3 Prasetya, I. S. W. B.
3 Sanders, Beverly A.
3 Sifakis, Joseph
3 Swierstra, S. Doaitse
2 Aravind, Alex A.
2 Bensalem, Saddek
2 Bozga, Marius
2 Brandt, Jens
2 Collette, Pierre
2 Crégut, Pierre
2 Dederichs, Frank
2 Dongol, Brijesh
2 Gouda, Mohamed G.
2 Graf, Susanne
2 Heyd, Barbara
2 Hoang, Thai Son
2 Jonsson, Bengt
2 Joseph, Mathai
2 Li, Xiaozhou
2 Loiseaux, Claire
2 Méry, Dominique
2 Montanari, Ugo G.
2 Morgan, Carroll C.
2 Nesterenko, Mikhail V.
2 Ogata, Kazuhiro
2 Plaxton, C. Greg
2 Schneider, Klaus
2 Stomp, Frank
2 van de Snepscheut, Jan L. A.
2 Wang, Shengyuan
2 Weber, Rainer
2 Yuan, Chongyi
1 Abdulla, Parosh Aziz
1 Abraham, Uri
1 Abrams, Marc
1 Adari, S.
1 Agha, Gul A.
1 Aguirre, Nazareno M.
1 Ammar, Reda A.
1 Arora, Anish
1 Astesiano, Egidio
1 Back, Ralph-Johan
1 Bae, Kyungmin
1 Bagrodia, Rajive L.
1 Barbosa, Valmir Carneiro
1 Berry, Gerard
1 Besta, Milos
1 Bevier, William R.
1 Bickford, Mark
1 Bodeveix, Jean-Paul
1 Bonakdarpour, Borzoo
1 Börger, Egon
1 Bouajjani, Ahmed
1 Boudol, Gérard
1 Bourke, Timothy
1 Bramas, Quentin
1 Bruni, Roberto
1 Bui, Marc
1 Busch, Holger
1 Bush, Michael R.
1 Calvert, Ken
1 Cansell, Dominique
1 Castro, Pablo F.
1 Chakrabarti, Soumen
1 Charpentier, Michel
1 Chen, Guoliang
1 Chen, Xiaofang
1 Chen, Zhenbang
1 Chou, Ching-Tsun
1 Choy, Manhoi
1 Clavel, Manuel
1 Clouser, Thomas
1 Colvin, Robert J.
1 Constable, Robert Lee
1 de Boer, Frank S.
1 Demasi, Ramiro
1 Dolev, Shlomi
1 Dong, JinSong
1 Dong, Ruzhen
1 Dong, Yuan
1 Dubslaff, Clemens
...and 177 more Authors
all top 5

Cited in 31 Serials

33 Formal Aspects of Computing
29 Theoretical Computer Science
21 Distributed Computing
19 Information Processing Letters
8 Acta Informatica
5 Formal Methods in System Design
4 Science of Computer Programming
3 Journal of Computer Science and Technology
2 Computers & Mathematics with Applications
2 International Journal of Parallel Programming
2 Journal of Automated Reasoning
2 The Journal of Logic and Algebraic Programming
1 Computing
1 Information Sciences
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 Information and Computation
1 Mathematical and Computer Modelling
1 Journal of Parallel and Distributed Computing
1 Annals of Operations Research
1 Journal of Global Optimization
1 Theory of Computing Systems
1 Differential Equations and Dynamical Systems
1 ACM Transactions on Computational Logic
1 Journal of Discrete Algorithms
1 Journal of Applied Logic
1 Lecture Notes in Computer Science
1 Logical Methods in Computer Science
1 Science China. Information Sciences
1 Formalized Mathematics
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 12 Fields

185 Computer science (68-XX)
22 Mathematical logic and foundations (03-XX)
4 Information and communication theory, circuits (94-XX)
2 Combinatorics (05-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Probability theory and stochastic processes (60-XX)
2 Operations research, mathematical programming (90-XX)
1 Commutative algebra (13-XX)
1 Category theory; homological algebra (18-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Numerical analysis (65-XX)
1 Systems theory; control (93-XX)

Citations by Year