Towards Real-Time Semantics for a Distributed Event-Based MOP Language

This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between specification and implementation, allowing several formal specifications and concrete implementations to be combined into a single executing system. To address real-time monitoring of modern distributed applications, we recently proposed REAL-T, a reactive event-based distributed programming language with explicit support for distributions and time manipulation. REAL-T allows programmers to instrument distributed applications to monitor and enforce specific behavior. It also supports requirements of modern reactive applications (responsiveness, resiliency, elasticity and asynchronous communication). The REAL-T programming model is very flexible, making the semantic specifications very challenging.

[1]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[2]  José Meseguer.  Twenty years of rewriting logic , 2012, J. Log. Algebraic Methods Program..

[3]  Cyrille Jégourel,et al.  Statistical Model Checking QoS Properties of Systems with SBIP , 2012, ISoLA.

[4]  Nicolas Tabareau,et al.  A theory of distributed aspects , 2010, AOSD.

[5]  Narciso Martí-Oliet,et al.  The Maude 2.0 System , 2003, RTA.

[6]  Joseph Sifakis,et al.  Rigorous System Design: The BIP Approach , 2011, MEMICS.

[7]  Patrick Eugster.  Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports , 2009, ECOOP Workshops.

[8]  Eleni Spiliopoulou,et al.  Concurrent and distributed functional systems , 1999 .

[9]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[10]  Grigore Rosu,et al.  An overview of the MOP runtime verification framework , 2012, International Journal on Software Tools for Technology Transfer.

[11]  Dino Mandrioli,et al.  Modeling time in computing: A taxonomy and a comparative survey , 2008, CSUR.

[12]  Gérard Le Lann,et al.  Distributed Systems - Towards a Formal Approach , 1977, IFIP Congress.

[13]  Luis Daniel Benavides Navarro,et al.  REAL-T: Time Modularization in Reactive Distributed Applications , 2018 .

[14]  Frédéric Mallet.  Clock constraint specification language: specifying clock constraints with UML/MARTE , 2008, Innovations in Systems and Software Engineering.

[15]  Gerard Tel,et al.  Synchronous, asynchronous, and causally ordered communication , 1996, Distributed Computing.

[16]  Grigore Rosu,et al.  Mop: an efficient and generic runtime verification framework , 2007, OOPSLA.

[17]  Rance Cleaveland,et al.  A menagerie of timed automata , 2014, CSUR.

[18]  Luis Daniel Benavides Navarro,et al.  Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns , 2008, Middleware.

[19]  Grigore Rosu,et al.  From Rewriting Logic, to Programming Language Semantics, to Program Verification , 2015, Logic, Rewriting, and Concurrency.

[20]  Girish Bhat,et al.  A practical approach to implementing real-time semantics , 1999, Ann. Softw. Eng..