Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).

Tommaso Bolognesi Andrea Bracciali

Published in: FMOODS (1999)

Keyphrases

formal specification
dynamic constraints
model checking
formal methods
temporal logic
distributed systems
databases
software components
reverse engineering
knowledge based systems
business processes
relational model
software engineering
temporal databases
mobile robot
active rules
case study