Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Publication year: 2008
ISBN: 978-3-540-79230-7
Internet Resource: Please Login to download book
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories inspired by developments in the field of Web services. The papers feature topics such as service-oriented analysis and design, formal approaches to enterprise modeling and business process modeling, model-driven development, testing, and analysis of Web services, Web services for business process management, security, performance and quality of Web services, Web service coordination and transactions, Web service ontologies and semantic description, goal-driven discovery and composition of Web services, complex event processing in service-oriented architectures, as well as semi-structured data management and XML technology.
Subject: Computer Science, BPEL, Business Process Modeling, Processing, XML, compositional semantics, constraint automata, formal method, formal methods, formal verification, model checking, modeling, petri nets, probabilistic methods, program analysis, program semantics, Theory of Computation, Popular Computer Science, Software Engineering, Computer Communication Networks, Logics and Meanings of Programs, System Performance and Evaluation
