MVDA 2012 - The 1st IEEE International Workshop on Modeling and Verifying Distributed Applications

MVDA 2012: The 1st IEEE International Workshop on Modeling and Verifying Distributed Applications
Purpose of the Workshop
Distributing service applications among networks of computers offers many potential benefits. However, implementing robust, efficient, and extensible distributed applications is more complex than building stand-alone applications. A significant portion of this complexity is due to the fact that developers must consider new design alternatives and must acquire many new skills. The problem of building such applications requires finding and orchestrating appropriate services that are frequently non trivial for a developer. This is due to the very large number of available services and the different possibilities for constructing an application from matching services. We need an abstract view of the application using modeling approaches. This abstraction allows in one hand the reuse of the elaborated application and on the other hand reduces the complexity and saves the users from the detail of the low level of the environment. Proposed modeling approaches need a standard verification step against required properties to analyze and correct built applications as early as possible in order to avoid any costly maintenance delays due to runtime errors.
Topics of Interest
Papers may address one or more of the topics listed below. Unlisted but related topics are also acceptable, provided they fit in one of thefollowing main areas:
? Architecture and design principles for distributed applications
? Models and frameworks for distributed applications
? Methods, processes and patterns for developing distributed applications
? Modeling formalisms, languages and notations for service workflowapplications
? Tools, techniques and methodologies for verifying distributedapplication models