Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components.

Elvinia Riccobene Patrizia Scandurra

Published in: ACT4SOC (2010)

Keyphrases

service oriented
structural models
behavioral models
web services
service oriented architecture
formal specification
structural model
model driven
service composition
databases
decision making
hierarchical structures
dynamic behaviors
information processing
architectural models