Fluent temporal logic for discrete-time event-based models

  title={Fluent temporal logic for discrete-time event-based models},
  author={Emmanuel Letier and Jeff Kramer and Jeff Magee and Sebasti{\'a}n Uchitel},
  booktitle={ESEC/SIGSOFT FSE},
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through "fluents" which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively.The existing fluent temporal logic is convenient for reasoning about untimed event… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 22 extracted citations

Specification-Based Unit Testing of Publish/Subscribe Applications

26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06) • 2006
View 3 Excerpts
Highly Influenced

Visualizing Evolving Requirements Models with TimedURN

2018 IEEE/ACM 10th International Workshop on Modelling in Software Engineering (MiSE) • 2018
View 1 Excerpt

Looking into the Crystal Ball: Requirements Evolution over Time

2016 IEEE 24th International Requirements Engineering Conference (RE) • 2016
View 1 Excerpt

TimedGRL: Specifying Goal Models Over Time

2016 IEEE 24th International Requirements Engineering Conference Workshops (REW) • 2016
View 1 Excerpt

Adding Temporal Intention Dynamics to Goal Modeling: A Position Paper

2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering • 2015
View 1 Excerpt

Requirements modelling by synthesis of deontic input-output automata

2013 35th International Conference on Software Engineering (ICSE) • 2013
View 3 Excerpts


Publications referenced by this paper.
Showing 1-5 of 5 references

The Event Calculus in Classical Logic - Alternative Axiomatisations

Electron. Trans. Artif. Intell. • 1999
View 6 Excerpts
Highly Influenced

It's About Time: Real-Time Logics Reviewed

CONCUR • 1998
View 17 Excerpts
Highly Influenced

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Lecture Notes in Computer Science • 1992
View 15 Excerpts
Highly Influenced

Communication and concurrency

PHI Series in computer science • 1989
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…