{"_id":"pvsio-web","_rev":"194-708809154d8040721db1749e46f4af3d","name":"pvsio-web","description":"A formal methods toolkit for model-based development of human-machine interfaces","dist-tags":{"latest":"2.2.0"},"versions":{"0.0.1":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.1","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">0.8"},"_id":"pvsio-web@0.0.1","dist":{"shasum":"4582f4bcb0f57a63b479f77186c036c71fba472c","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.1.tgz","integrity":"sha512-ZUjPkvoazSlWPsDpM13j/Qvzur3ukb8fmU6YzSkgxJjLg0aIfH+vxXLRT96Ql+n43t/NjWq2jtEHeOM1mE5MZA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCO6zy0FVq0hFOaRxsNhr0OnOv68SJda91y05szLRfIXgIgf5TPhiqRwU10QULBgcwybRrsN7BMjLTeY4NfDFOcMTo="}]},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.2":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.2","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.2","dist":{"shasum":"90c1d81b4146cadc2160dfebd2d2bfca9e555ed5","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.2.tgz","integrity":"sha512-PxHH+U3/Ofw8a6Q8mu/SJ02dcjQvfxR4hNor1Tg6B2h3+U/X2g52fCRQMr/tfkNe+g2X2swyCCUG6ZfBuGcqlg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCVoDLQMmpnNffymC1iKf+llK55g3tkuisdIuCzg9EGZgIhAOp8J2x+KjqZHHaAGGonKk0S4/C3/oIUYaFHy75vF1hV"}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.3":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.3","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.3","dist":{"shasum":"a7d072344089a6fc8210f0a8bb2a343ea2e2188d","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.3.tgz","integrity":"sha512-SiND+WfPxK/lHRkQSvlPq750rjoTaKtFtQPSPgl7BDoh8ovQ7F2v9N3Ds9JLtZgTdgN3ZgpdUzkotlv/AYsujw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDc/6tgs2DX3UDL1slMMLTp/2ylvlWkiR19auYCXQZDOQIgQkgiQxZ5Xq11Dv3lyG29lxg+bX1PIMKjPqEf8c0EmxU="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.4":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.4","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.4","dist":{"shasum":"e41446989c37975a3f75d3a3f98eb609745c7c51","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.4.tgz","integrity":"sha512-2e8169Q/mRQ+7gZAFpxfWhFjhQWYjrzluLW+VqBu0AZqwSEpssz3/uez4J2exqlEk7r5MHfSzM33QAXGMqdm4g==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIGOkP/gp5vAz2aNuHfbt7pvLWh9I28kNj1iuZE8hizn7AiAGNjCde7FGTevyjTrtSEX1c+HGH5iYEJYtO0/oTJWutA=="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.5":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.5","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.5","dist":{"shasum":"2a216c356c6c49462e577bd0c2bc5702461dd9ca","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.5.tgz","integrity":"sha512-6Okaw0scS1S/CB90u7i2nPYv+4MXcONhnUMBr0mo1z7VBZIxJDj3lUJvX+WG+Vm7kJtNGA4ndNHgzZOZHndKgg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCICziltJX7msayGchPUE+puCfe8wCG34NqGYITveixqlVAiA0IOmHDWUMDs+z3x5LjtseDakTuoF4OFnYz03EAo5BMA=="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.6":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.6","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.6","dist":{"shasum":"a8eada63a4b8e125c268cccebc880cc418397639","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.6.tgz","integrity":"sha512-4MZ5WTXTZNywupI+R3QyOXwT53V7ayjgUamhoXrB7Ftf2Sy5/+OEcpacKqlDRkSgvjOLL49BMVAV/v7GVK+RlQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQC1gikMcgRmoLK3fqUG3KoPWbnHDlqspDT5m71libr0hgIhANR3/VJk5/IubNtZ8lupojCRGkjZitG4/0kLF/m+NdQX"}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.7":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.7","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.7","dist":{"shasum":"cca161be954eb6bc90f056e00424cbcf9e4c0c5b","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.7.tgz","integrity":"sha512-dcaKc8or1CtIJrdcZ3Uv+piaCztK+LkAbvsrk/Z16n0gfk7t6KNxhWrXp8AtobR+Ptbk9PdY4rV+ytZKdbon1Q==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDGRsMqmm/vt1nBXohx1E282s/DucqUeFOsAmjYetnn3QIgMAO/Hwgd7a4AphNM976UBzxkHmmHWVE6PjuU9dmHxBg="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.8":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.8","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.8","dist":{"shasum":"1b286028acd1bccd7d2b7f518dd3a0ed7451a421","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.8.tgz","integrity":"sha512-b4dDtvfXRReSxCaKMb/31c6DgRkWstvTtSGhLW/Wr0rlhsFxbtnQrLBPJcFprTOT4fzE042Kke+w7Mz5A9Alng==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIELLzRc680VBihM/wt/a8Cppaxh9sAWY0I4BkeDULbANAiEAhltOA3G1xc/mN1Oi9Ae5dTFWidfWIBaTB//IlcZTOCs="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.9":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.9","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.9","dist":{"shasum":"ac64660242b88cd59612ffd8aeac9a7891bcebb7","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.9.tgz","integrity":"sha512-LLrASGtOMJ/MgqTLAA4MfxHv3ow9QYGO8F3oIIdjNH0GF1Hl8D5V5YwOMqzvS0u2XPePNgHUgBwvPuUzM79F5g==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDBHfrewbEhYKkSKvzgFGbIREHnPn5J/tH5jwoiFXGaRAIhAJhKY8B1Qp1PLzd7WW+8zQrILRz0qN2F2f9pfG6gIaFl"}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.10":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.10","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.10","dist":{"shasum":"17db6c9f5c745187da5477263c0a1e9c35cd6e64","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.10.tgz","integrity":"sha512-gX30DVPlshqwqPGMzgfUsYSynwqiHoutsAzab2IguGqwaEEyhOHC/3TxahNssSIEIEUylGcFt3tEVCppAhtppg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIBFprS70uW03/CxehF9o+uMQ5E7fytTBGEdZAEgTJ3cWAiBeJ0G0rTM0y0Z5mBXP657TCRRJ27daIWbKsaHpR/xUBQ=="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"}],"directories":{}},"0.0.11":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.11","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.11","dist":{"shasum":"0a794c43bed08cb4ea29c6a2ba2375dfe6855f23","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.11.tgz","integrity":"sha512-Crl9ViARVyfPQ1g2yr8MhNFHI+vpzKS6YT/kt08jbZmSHfJxDjQH18aDP3PpcsT8ATEXF5UQFiaRmXBDTb6ZEg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC1ji9YyY1JudfXzXu/AFJcUs8GsijkU4FFK66b2+zZdQIgFH2IjYmuFmIWvWVAZrM7mxhQ5YMEN7UyWf3vG7ZK8k4="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"directories":{}},"0.0.12":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.12","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","optimist":"0.3.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"_id":"pvsio-web@0.0.12","dist":{"shasum":"1ff5633d7197cefc33b98182850758c04670132f","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.12.tgz","integrity":"sha512-sW7Zz+ptoU8SEz1kZ6C9vWX0n0ztuyqicwZa8aT9IDWcmnIYpSiMdunYK7bttKqTal4SbfljOZvU34GWmsbq6A==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIAwX7cixK82mFw93Y4IGrBieCEA3FKSKGDDYPAws08GBAiBJ8ojoMwQpxgeXJodTJ3AOO6L1Ui1UXuE9ZkErRlUJRA=="}]},"_npmVersion":"1.1.62","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"directories":{}},"0.0.13":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.13","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"_id":"pvsio-web@0.0.13","dist":{"shasum":"eca13cb0a77d88863b8918f84d1937bd9f4f2d51","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.13.tgz","integrity":"sha512-LoYK9M56v4ZYmK1agWAcJMCNXLoEPF9fels0s+S8VBMCB0o6LytAtJAIRK6bKxlBcQQ4wk+pcBti65IgGvU8zw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQC1MVlUFRvOIuBpJZx+UJcHOx9JvE21ZhrvAkxRN1b7aQIgLE5OJLpXo+Qf2fEyDugdOxcMCFpPUV9HCGwqHMwjEYE="}]},"_from":".","_npmVersion":"1.2.32","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"directories":{}},"0.0.14":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.14","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"_id":"pvsio-web@0.0.14","dist":{"shasum":"a9ea1f9ef6c02a87fd3a244d64b38cf5162f975e","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.14.tgz","integrity":"sha512-7rMP3jcpd2CC/+w26DZrrOvLMtkho7AFWhgdLpzDheXCKPoS5g1Co+NEs66bNssnyJq2/euoJz8AYQv2EAGJsg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIDp7N3E9OJN47hk4VLKb8D9Z0vkqS2CBQzm8zgt2S6b4AiAHMj8AojbY1392Y0TnvMMaoL/0s7SE4YHYekLkwqoong=="}]},"_from":".","_npmVersion":"1.2.32","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"directories":{}},"0.0.15":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.15","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"_id":"pvsio-web@0.0.15","dist":{"shasum":"eaf2ab688a324c68295744596d5699a24792d0fa","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.15.tgz","integrity":"sha512-pQU0VfL4ey7uUt1cW6rxn2bWZR1y4PwhskYlCEjrMoCD1s7CTaW8Cb1eqnvdOXEk8ers/b9RilpbzavyVVPDRA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCUJuGW5JdsnsMW+sGEBEqQVeyOFECYqFreiQMyjkUOYwIgX6WHfDcMDOooWG2wQibHGS+80gTw5gVFj36DqLGP1U8="}]},"_from":".","_npmVersion":"1.2.32","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"directories":{}},"0.0.17":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.17","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"MIT","engine":{"node":">=0.8"},"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"_id":"pvsio-web@0.0.17","dist":{"shasum":"23d122e4acc16e343cfaf0d296deffabacba24f7","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.17.tgz","integrity":"sha512-VUVsgjuOK1zf+e6/R00NcjoxPYF5w2e8qP+yXqgX5yzS4J3CCobQpscVuQs8xJ00nqk8mhGNkXsAAkDXMG0Rxg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIF4YDoEhcp8GA5PXVppoU9YAUBMXhFpaezY2R/ERhUxvAiEA65DliwP94tJMl2fVE/WB/sG5i09FsJfBYb23mUa01z0="}]},"_from":".","_npmVersion":"1.2.32","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"directories":{}},"0.0.18":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.0.18","preferGlobal":"true","main":"./pvssocketserver.js","bin":{"pvsio-web":"./pvssocketserver.js"},"dependencies":{"ws":"0.4.x","express":"3.x"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"GPL3","engine":{"node":">=0.8"},"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"_id":"pvsio-web@0.0.18","dist":{"shasum":"db78f7476dc2bd00b97a246fb2d0bb0bb4bffd18","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.0.18.tgz","integrity":"sha512-57l/GsBa0fYbTBmiiKwrrq7oo9gN0ZDtQXPw86kKjEhC+WEhhKBwY4blwRgC8ttRAGiOnNZ/o1YOso9Zz0UQHg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIF6bLtxNL6ROMni9u9BxSAyRRnhWBnYWmWUc4IkcyctQAiEAhy7l054VgYtAVUAteyF4tIpOaTQxULsnmwQ+1fl2DYU="}]},"_from":".","_npmVersion":"1.2.32","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}]},"0.1.0":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"contributors":[{"name":"Paolo Masci"}],"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.1.0","preferGlobal":"true","dependencies":{"ws":"0.4.x","express":"~4.0.0","body-parser":"~1.0.0","tracer":"0.7.1","es6-promise":"0.1.x"},"devDependencies":{"jasmine-node":"1.14.3"},"script":{"test":"jasmine-node --verbose servertests","start":"node pvssocketserver.js"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"GPL3","engine":{"node":">=0.8"},"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"homepage":"https://github.com/thehogfather/pvsio-web","_id":"pvsio-web@0.1.0","dist":{"shasum":"7c12274d6223c1bd3b8b06c83f69f3b04b60ef47","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.1.0.tgz","integrity":"sha512-4omPb9k6cie4gCW0Md8+5qQ3BWW7n1KECWYyBWv2uobhWVrjtz6xNtiUCDltNddwv2i0+t74pwOI8XwJ9N3mkg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCQJ3xqRgrBQcNvn/ApndcClD8KT/8s1ik5m+zJr2aeUAIhAJc0kFHGx1rMwbFgafaFYjAOg4yM8O7Vm5e2osviIlxc"}]},"_from":".","_npmVersion":"1.4.3","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}]},"0.1.1":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"contributors":[{"name":"Paolo Masci"}],"description":"A javascript library to connect to and communicate with a pvsio process using websockets","version":"0.1.1","preferGlobal":"true","dependencies":{"ws":"0.4.x","express":"~4.0.0","body-parser":"~1.0.0","tracer":"0.7.1","es6-promise":"0.1.x"},"devDependencies":{"jasmine-node":"1.14.3","grunt":"~0.4.5","grunt-contrib-jshint":"~0.10.0","grunt-contrib-nodeunit":"~0.4.1","grunt-contrib-uglify":"~0.5.0","grunt-contrib-requirejs":"^0.4.4","grunt-contrib-copy":"^0.5.0"},"script":{"test":"jasmine-node --verbose servertests","start":"node pvssocketserver.js"},"repository":{"type":"git","url":"https://github.com/thehogfather/pvsio-web"},"license":"GPL3","engine":{"node":">=0.8"},"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"homepage":"https://github.com/thehogfather/pvsio-web","_id":"pvsio-web@0.1.1","dist":{"shasum":"44ef314a9cb2b21e9d7fef25167e3723d2dca443","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-0.1.1.tgz","integrity":"sha512-Xkr7AoHWZwN6d3r1m2ntv7ieFtDJCplydKKijaeXAfdU76JcUZoxrhWWESpTx/WftFk1pDlFBzE7Vkj4DgTnHw==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIEkf0+LYUJ4pXofOFBQ44iT7HA2pvfKUgmkuaGRj/DRkAiAKvNFx0K5Hmib6uVq1fzjVehh2kKZW0L6fs6MAzOVx8Q=="}]},"_from":".","_npmVersion":"1.4.3","_npmUser":{"name":"oladimeji","email":"patrick@dustygem.co.uk"},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}]},"2.1.0":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"contributors":[{"name":"Paolo Masci"}],"description":"A formal methods toolkit for model-based development of human-machine interfaces","version":"2.1.0","preferGlobal":"true","dependencies":{"body-parser":"~1.0.0","es6-promise":"0.1.x","express":"~4.0.0","open":"0.0.5","tracer":"0.7.1","ws":"0.4.x"},"devDependencies":{"autoprefixer":"^6.3.6","grunt":"^1.0.1","grunt-concurrent":"^2.3.0","grunt-contrib-jshint":"^0.11.1","grunt-contrib-watch":"^1.0.0","grunt-postcss":"^0.8.0","grunt-run":"^0.6.0","grunt-sass":"^1.2.0","jasmine-node":"~1.14.3"},"scripts":{"test":"grunt test","local-test":"jasmine-node --verbose src/server/servertests; node client-test.js","start":"node src/server/pvssocketserver.js"},"repository":{"type":"git","url":"git+https://github.com/thehogfather/pvsio-web.git"},"license":"GPL-3.0","engine":{"node":">=0.8"},"gitHead":"f7bc45c133747d5f227e4beb2134263aa959fae2","bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"homepage":"https://github.com/thehogfather/pvsio-web#readme","_id":"pvsio-web@2.1.0","_shasum":"d877edd488049c2c226c1c5af0a38ee3559feab3","_from":".","_npmVersion":"2.15.8","_nodeVersion":"4.4.7","_npmUser":{"name":"paolomasci","email":"paolo.masci@gmail.com"},"dist":{"shasum":"d877edd488049c2c226c1c5af0a38ee3559feab3","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-2.1.0.tgz","integrity":"sha512-GdfAfbA2lbmqmJ94VdzMV7y48nKEkXXRqPbWIqAffj6ECFoq3yBbaTPw//Ut2d5dFM3IDJpZWYIFyA4eeEwzsg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQDUWzELHOCo3or/HI0oAWPkTJ0Q37OOzfKyWFCmjD+EEwIhAMG7Awhtm4+C4dqO7i+0NEADCTtnZ30UMex8dmP6xxWf"}]},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/pvsio-web-2.1.0.tgz_1481806041488_0.5712917156051844"}},"2.1.1":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"contributors":[{"name":"Paolo Masci"}],"description":"A formal methods toolkit for model-based development of human-machine interfaces","version":"2.1.1","preferGlobal":"true","dependencies":{"body-parser":"~1.0.0","es6-promise":"0.1.x","express":"~4.0.0","open":"0.0.5","tracer":"0.7.1","ws":"0.4.x"},"devDependencies":{"autoprefixer":"^6.3.6","grunt":"^1.0.1","grunt-concurrent":"^2.3.0","grunt-contrib-jshint":"^0.11.1","grunt-contrib-watch":"^1.0.0","grunt-postcss":"^0.8.0","grunt-run":"^0.6.0","grunt-sass":"^1.2.0","jasmine-node":"~1.14.3"},"scripts":{"test":"grunt test","local-test":"jasmine-node --verbose src/server/servertests; node client-test.js","start":"node src/server/pvssocketserver.js"},"repository":{"type":"git","url":"git+https://github.com/thehogfather/pvsio-web.git"},"license":"GPL-3.0","engine":{"node":">=0.8"},"gitHead":"b72ac3b520cde8e6adf6fe9595d96a5ee69fbb9e","bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"homepage":"https://github.com/thehogfather/pvsio-web#readme","_id":"pvsio-web@2.1.1","_shasum":"c787cf129182c268b90ae058f7bc4d6a4ccafedc","_from":".","_npmVersion":"2.15.8","_nodeVersion":"4.4.7","_npmUser":{"name":"paolomasci","email":"paolo.masci@gmail.com"},"dist":{"shasum":"c787cf129182c268b90ae058f7bc4d6a4ccafedc","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-2.1.1.tgz","integrity":"sha512-UKpgKNHbnYmcXJZibafuw+Ar1ddx8qyxlvMAqoPBjOMpRFXL2Z38adi2ya6VSif7E2XMCjJCa3S/UmnTvTC4FQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIH8Ojm9iJBHau0Idbx0ZgqCkRh2bE/h2hAaJD5fl8HBIAiB7MORPAonFShfm7iToh7y5zqTOhqzbBQPI5JnPiMLUrg=="}]},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"_npmOperationalInternal":{"host":"packages-12-west.internal.npmjs.com","tmp":"tmp/pvsio-web-2.1.1.tgz_1483096609367_0.5829280440229923"}},"2.2.0":{"name":"pvsio-web","author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"contributors":[{"name":"Paolo Masci"}],"description":"A formal methods toolkit for model-based development of human-machine interfaces","version":"2.2.0","preferGlobal":"true","dependencies":{"body-parser":"~1.0.0","es6-promise":"0.1.x","express":"~4.0.0","open":"0.0.5","tracer":"0.7.1","ws":">=2"},"devDependencies":{"autoprefixer":"^6.3.6","grunt":"^1.0.1","grunt-concurrent":"^2.3.0","grunt-contrib-jshint":"^0.11.1","grunt-contrib-watch":"^1.0.0","grunt-postcss":"^0.9.0","grunt-run":"^0.8.0","grunt-sass":"^2.0","jasmine-node":"~1.14.3"},"scripts":{"test":"grunt test","local-test":"jasmine-node --verbose src/server/servertests; node client-test.js","start":"node src/server/pvssocketserver.js"},"repository":{"type":"git","url":"git+https://github.com/thehogfather/pvsio-web.git"},"license":"GPL-3.0","engine":{"node":">=6.11.1"},"gitHead":"21af329ad25fb4c45d228c7995ef1dbb73db20e0","bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"homepage":"https://github.com/thehogfather/pvsio-web#readme","_id":"pvsio-web@2.2.0","_npmVersion":"5.5.1","_nodeVersion":"7.10.0","_npmUser":{"name":"paolomasci","email":"paolo.masci@gmail.com"},"dist":{"integrity":"sha512-zFYBWLv9cC049pYTK/QD7WuWlrbX3RaF4BVj+2ymE7DCKyTcmluFJ1bTMEg8JpmI/FCCsZYy7mXMH1L08JWAcw==","shasum":"172afa6524d800875da42aa49735a9611614cc7f","tarball":"https://registry.npmjs.org/pvsio-web/-/pvsio-web-2.2.0.tgz","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCICa8qwtTBFuHn04Wqr7Y2qkbyV7uH3Oq53FqPWcnToFYAiEAo9Qt4cj4QUcZQTiqtxWVPuopqPmSF8/YFBQ6Aewqj0k="}]},"maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/pvsio-web-2.2.0.tgz_1508748571341_0.6042730915360153"}}},"readme":"PVSio-web [![Build Status](https://travis-ci.org/thehogfather/pvsio-web.svg?branch=alpha)](https://travis-ci.org/thehogfather/pvsio-web) [![NPM Downloads](https://img.shields.io/npm/dt/pvsio-web.svg?style=flat-square)](https://www.npmjs.com/package/pvsio-web)\n=========\n\nPVSio-web is a new graphical tool to prototype and analyse user interface software. It provides the typical functionalities of an animation environment that allows designers to load and simulate realistic user interfaces. Underneath, it uses SRI's state-of-the-art theorem prover PVS for analysis, and the pvsio component as a basis for simulation.\n\nSimulations created with PVSio-web can be watched in this youtube video https://www.youtube.com/watch?v=T0QmUe0bwL8\n\nLive version\n------------\n\nRealistic prototypes created using PVSio-web can be found at the following links:\n* http://www.pvsioweb.org/demos/Radical7 (FDA's Generic Infusion Pump prototype - full model)\n* http://www.pvsioweb.org/demos/GPCA     (Commercial patient monitor - monitoring mode only)\n* http://www.pvsioweb.org/demos/AlarisGP (Commercial infusion pump prototype - full model)\n* http://www.pvsioweb.org/demos/BBraun   (Commercial infusion pump prototype - data entry system only)\n\nThe full PVSio-web tool with limited features is also available at http://www.pvsioweb.org\n(please note that the web server has limited processing power so its response time might not be optimal; also, note that the file system is read-only, so you will not be able to save new prototypes or compile new models using this live version).\n\n![Screenshot](screenshot.png?raw=true)\n\n\nInstallation\n------------\nTo install PVSio-web, first you need to install PVS and NodeJS, and then clone the PVSio-web github repository. This can be done as follows.\n\n#### Step 1: Install PVS and add PVS executables to your PATH\nPVS is required to run PVSio-web. The tool can be downloaded from http://pvs.csl.sri.com/download.shtml Installation instructions are on the aforementioned website.\n\nOnce PVS is installed, please add the following PVS executable files to your PATH: pvs, pvsio and proveit. A simple way to do this is to create symbolic links to those files, and place the symbolic links in /usr/bin. For instance, if PVS is installed in /opt/PVS/pvs, the following commands executed in a Terminal window create the required symbolic links:\n\n    sudo ln -s /opt/PVS/pvs /usr/bin/pvs\n    sudo ln -s /opt/PVS/pvsio /usr/bin/pvsio\n    sudo ln -s /opt/PVS/proveit /usr/bin/proveit\n\nPlease note that the ln command requires a full path.\n\n#### Step 2: Install NodeJS\nNodeJS is required to run PVSio-web. Please download and install NodeJS from http://nodejs.org\nInstallation instructions are on the aforementioned website.\n\n#### Step 3: Clone the PVSio-web repository\nCreate a directory where you would like to install PVSio-web on your local computer. Open a Terminal window in the created directory, and use 'git' to clone the PVSio-web repository:\n\n    git clone https://github.com/thehogfather/pvsio-web.git\n    cd pvsio-web\n    npm install\n\nPVSio-web is now installed on your local computer!\n\nRunning pvsio-web\n-----------------\nTo run pvsio-web, a backend and a frontend need to be started.\n\nTo start the backend: open a Terminal window in the pvsio-web directory, and use the following command (and leave the Terminal window open):\n\n    ./start.sh\n\nTo start the frontend: open a browser (Firefox 21 or greater, or Chrome), and type the following address in the address bar:\n\n    http://localhost:8082/\n\nUpdating pvsio-web\n------------------\nTo update pvsio-web to the latest version, open a Terminal window, and execute the following command from the pvsio-web directory:\n\n    git pull\n\n\nExamples\n--------\nRealistic simulations created with PVSio-web can be watched in this youtube video:\n* https://www.youtube.com/watch?v=T0QmUe0bwL8\n\nAll simulation examples demonstrated in the youtube video are included in the PVSio-web distribution in examples/projects. To open these examples, start pvsio-web and click the \"Open Projects\" button of the pvsio-web frontend and select one of the examples from the list.\n\n\nDirectory structure\n-------------------\nThis project has the following setup:\n\n* start.sh - the script used to initiate the server.\n* examples/ - this directory contains projects and demos\n* src/ - this directory contains the pvsio-web source code\n    * client/ - this directory contains the source code for the pvsio-web client. This code is executed in the user's browser\n    * server/ - this directory contains the source code for the pvsio-web server. This code is executed in the node.JS environment, and manages communication between pvs/pvsio and the client code.\n\n\nNightly builds\n--------------\nTo obtain the latest development versions of pvsio-web, you can clone our alpha branch on the github repository.\n\nTo clone the alpha branch, create a new directory (for example, pvsioweb-alpha), open a Terminal window, and execute the following commands from the created directory:\n\n    git clone https://github.com/thehogfather/pvsio-web.git -b alpha\n    cd pvsio-web\n    npm install\n\n\nTesting the installation\n------------------------\nTo test the client, start the pvsio-web backend by running the following command in a Terminal window (and leave the Terminal window open):\n    ./start.sh\n\nand type the following address in a browser window:\n\n    http://localhost:8082/tests\n\nTo test the server, run the following command in a Terminal window\n\n    npm test\n\n\nUninstallation :(\n--------------\nTo uninstall, delete the pvsio-web folder from your computer.\n","maintainers":[{"name":"oladimeji","email":"patrick@dustygem.co.uk"},{"name":"paolomasci","email":"paolo.masci@gmail.com"}],"time":{"modified":"2022-06-25T02:23:50.578Z","created":"2012-08-27T14:39:00.468Z","0.0.1":"2012-08-27T14:39:01.880Z","0.0.2":"2012-10-24T14:10:53.388Z","0.0.3":"2012-11-13T12:31:54.373Z","0.0.4":"2012-12-28T18:23:37.976Z","0.0.5":"2012-12-31T01:20:54.462Z","0.0.6":"2013-01-03T12:33:04.311Z","0.0.7":"2013-01-03T12:37:54.306Z","0.0.8":"2013-01-06T20:37:04.934Z","0.0.9":"2013-01-06T23:55:19.386Z","0.0.10":"2013-03-04T18:00:29.742Z","0.0.11":"2013-06-05T14:39:03.897Z","0.0.12":"2013-06-05T15:00:21.326Z","0.0.13":"2013-06-25T10:10:52.867Z","0.0.14":"2013-06-25T10:14:43.910Z","0.0.15":"2013-10-03T14:16:28.205Z","0.0.17":"2013-12-05T09:29:15.921Z","0.0.18":"2013-12-11T11:30:59.495Z","0.1.0":"2014-06-27T13:55:29.138Z","0.1.1":"2014-09-01T09:35:30.928Z","2.1.0":"2016-12-15T12:47:57.743Z","2.1.1":"2016-12-30T11:17:33.479Z","2.2.0":"2017-10-23T08:50:17.477Z"},"author":{"name":"Patrick Oladimeji","email":"patrick@dustygem.co.uk"},"repository":{"type":"git","url":"git+https://github.com/thehogfather/pvsio-web.git"},"homepage":"https://github.com/thehogfather/pvsio-web#readme","contributors":[{"name":"Paolo Masci"}],"bugs":{"url":"https://github.com/thehogfather/pvsio-web/issues"},"license":"GPL-3.0","readmeFilename":"README.md"}