Interoperability Constraints and Requirements Formal Modelling and Checking Framework.

Vincent Chapurlat Matthieu Roque

Published in: APMS (2009)

Keyphrases

theoretical framework
databases
main contribution
constraint checking
data sets
web services
semantic web
constraint satisfaction
integrity constraints
constraint language
real time
learning algorithm
probabilistic model
software architecture
conceptual framework
application specific