Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Clark, Tony; Kulkarni, Vinay; Barat, Souvik; Barn, Balbir (2017)
Publisher: ACM Digital Library
Languages: English
Types: Part of book or chapter of book
This paper describes a structured approach to encoding monitors in an actor language. Within a configuration of actors, each of which publishes a history, a monitor is an independent actor that triggers an action based on patterns occurring in the actor histories. The paper defines a model of monitors using features of an actor language called ESL including time, static types and higher-order functions. An implementation of monitors is evaluated in the context of a simple case study based on competitive bidding.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] Gul A Agha. Actors: A model of concurrent computation in distributed systems. Technical report, DTIC Document, 1985.
    • [2] Jamie Allen. Effective akka. ” O'Reilly Media, Inc.”, 2013.
    • [3] Joe Armstrong. Erlang - a survey of the language and its industrial applications. In Proc. INAP, volume 96, 1996.
    • [4] Mark Astley. The actor foundry: A java-based actor programming environment. University of Illinois at Urbana-Champaign: Open Systems Laboratory, 1998.
    • [5] Balbir S Barn, Tony Clark, and Vinay Kulkarni. Can organisational theory and multi-agent systems influence next generation enterprise modelling? In International Conference on Software Technologies, pages 202-216. Springer, 2014.
    • [6] Howard Barringer, Allen Goldberg, Klaus Havelund, and Koushik Sen. Rule-based runtime verification. In International Workshop on Verification, Model Checking, and Abstract Interpretation, pages 44-57. Springer, 2004.
    • [7] Andrei Borshchev. The big book of simulation modeling: multimethod modeling with AnyLogic 6. AnyLogic North America Chicago, 2013.
    • [8] Benjamin Camus, Christine Bourjot, and Vincent Chevrier. Combining devs with multi-agent concepts to design and simulate multi-models of complex systems (wip). In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pages 85-90. Society for Computer Simulation International, 2015.
    • [9] Ian Cassar and Adrian Francalanza. Runtime adaptation for actor systems. In Runtime Verification, pages 38-54. Springer, 2015.
    • [10] Ian Cassar and Adrian Francalanza. On implementing a monitor-oriented programming framework for actor systems. In International Conference on Integrated Formal Methods, pages 176-192. Springer, 2016.
    • [11] Feng Chen and Grigore Ro¸su. Mop: an efficient and generic runtime verification framework. In ACM SIGPLAN Notices, volume 42, pages 569-588. ACM, 2007.
    • [12] Christian Colombo, Adrian Francalanza, and Rudolph Gatt. Elarva: A monitoring tool for erlang. In International Conference on Runtime Verification, pages 370-374. Springer, 2011.
    • [13] Paul S Dodd and Chinya V Ravishankar. Monitoring and debugging distributed real-time programs. Softw., Pract. Exper., 22(10):863-877, 1992.
    • [14] Adrian Francalanza. A theory of monitors. In International Conference on Foundations of Software Science and Computation Structures, pages 145-161. Springer, 2016.
    • [15] Alwyn E Goodloe and Lee Pike. Monitoring distributed real-time systems: A survey and future directions. 2010.
    • [16] Philipp Haller and Martin Odersky. Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science, 410(2):202-220, 2009.
    • [17] Klaus Havelund and Grigore Ro¸su. Synthesizing monitors for safety properties. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 342-356. Springer, 2002.
    • [18] M.E. Iacob, Dr. H. Jonkers, M.M. Lankhorst, E. Proper, and Dr.ir. D.A.C. Quartel. Archimate 2.0 specification: The open group. Van Haren Publishing, 2012.
    • [19] J. Krogstie. Using eeml for combined goal and process oriented modeling: A case study. CEUR Workshop Proceedings, 337:112-129, 2008.
    • [20] Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn. Toward overcoming accidental complexity in organisational decision-making. In Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, pages 368-377. IEEE, 2015.
    • [21] Tom McDermott, William Rouse, Seymour Goodman, and Margaret Loper. Multi-level modeling of complex socio-technical systems. Procedia Computer Science, 16:1132-1141, 2013.
    • [22] Donella H Meadows and Diana Wright. Thinking in systems: A primer. chelsea green publishing, 2008.
    • [23] Grigore Ro¸su, Feng Chen, and Thomas Ball. Synthesizing monitors for safety properties: This time with calls and returns. In International Workshop on Runtime Verification, pages 51-68. Springer, 2008.
    • [24] Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. Efficient decentralized monitoring of safety in distributed systems. In Proceedings of the 26th International Conference on Software Engineering, pages 418-427. IEEE Computer Society, 2004.
    • [25] Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim. Run-time checking of dynamic properties. Electronic Notes in Theoretical Computer Science, 144(4): 91-108, 2006.
    • [26] Sriram Srinivasan and Alan Mycroft. Kilim: Isolationtyped actors for java. In European Conference on Object-Oriented Programming, pages 104-128. Springer, 2008.
    • [27] Tom Van Cutsem, Stijn Mostinckx, Elisa Gonzalez Boix, Jessie Dedecker, and Wolfgang De Meuter. Ambienttalk: object-oriented event-driven programming in mobile ad hoc networks. In Chilean Society of Computer Science, 2007. SCCC'07. XXVI International Conference of the, pages 3-12. IEEE, 2007.
    • [28] Carlos Varela and Gul Agha. Programming dynamically reconfigurable open systems with salsa. ACM SIGPLAN Notices, 36(12):20-34, 2001.
    • [29] Fran¸cois Vernadat. Ueml: towards a unified enterprise modelling language. International Journal of Production Research, 40(17):4309-4321, 2002.
    • [30] Stephen A White. BPMN modeling and reference guide: understanding and using BPMN. Future Strategies Inc., 2008.
    • [31] Shohei Yasutake and Takuo Watanabe. Actario: A framework for reasoning about actor systems. In Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE, 2015.
    • [32] E. Yu, M. Strohmaier, and X. Deng. Exploring intentional modeling and analysis for enterprise architecture. 10th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2006. .
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article