MVDA 2015 - IEEE Workshop on Modeling and Verifying Distributed Applications

Papers may address one or more of the topics listed below. Unlisted but related topics are also acceptable, provided they fit in one of the following main areas:
? Architecture and design principles for distributed applications
? Models and frameworks for distributed applications
? Methods, processes and patterns for developing distributed applications
? Ontological mapping
? Similarity of ontologies
? Model Driven Engineering
? Semantic composition
? Model driven composition
? Modeling formalisms, languages and notations for service workflow applications
? Tools, techniques and methodologies for verifying distributed application models