Evolving Logical Specification in Information Systems

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

“…This will permit us to incorporate a past temporal reasoning as a formal verification in our approach. • Concerning the verification of the component properties, we are concentrating on adapting to the CO-NETS O-NE TS framework a temporal-based dynamic evolution technique recently developed in our group [26,27,56]. This property-oriented approach in particularly suitable for expressing and verifying evolving properties of the system.…”

“…We have first to choose which transitions in a given CO-NETS O -NETS component may have their behaviour dynamically modifiable. This choice is conceptually important, since it is inconceivable in an information system, modelled here as CO-NETS O-NET S interacting components, to suppose that all its (elementary) behaviour is subject to evolution or change [25]. In other words, there should be at least a minimal part which remains stable over the whole life cycle, in the sense that it captures the system main properties.…”