EAST-ADL - An Architecture Description Language - Validation and Verification Aspects.

Vincent Debruyne Françoise Simonot-Lion Yvon Trinquet

Published in: IFIP-WADL (2004)

Keyphrases

description language
model checker
software architecture
web services
specification language
action language
description languages
planning domains
web service composition
model checking
case study
data model
information retrieval systems
orders of magnitude