A Formal Engineering Framework for Service-Based Software Modeling.

Weikai Miao Shaoying Liu

Published in: IEEE Trans. Serv. Comput. (2013)

Keyphrases

main contribution
knowledge sharing and reuse
model driven engineering
modeling framework
software architecture
case study
software engineering
web services
peer to peer
formal model
engineering design
service discovery
formal specification
model driven
analysis tool
network services
user interface