Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction.

Francesco Belardinelli Alessio Lomuscio Fabio Patrizi

Published in: ICSOC (2012)

Keyphrases

artifact centric
model checking
management system
building blocks
asynchronous circuits
formal methods
high level
end to end
data sets
artificial intelligence
information systems
expert systems
intelligent systems
complex systems
service oriented
finite number