Specifying event-based systems with a counting fluent temporal logic

Fluent linear temporal logic is a formalism for specifying properties of event-based systems, based on propositions called fluents, defined in terms of activating and deactivating events. In this paper, we propose complementing the notion of fluent by the related concept of counting fluent. As oppos...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)
Formato: CONF
Materias:
Software architecture
Software engineering
Specifications
Temporal logic
Event-based system
Fluents
Linear temporal logic
Logic model checking
Numerical values
Reactive system
Temporal logic specifications
Model checking
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_02705257_v1_n_p733_Regis
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares