Independently developed applications based on different models and implemented on different platforms need to use each others services and share each others data. Interoperability is therefore one of the buzz-words of the last years in Computer Science. Web services-driven Service-Oriented Architectures (SOA) have arisen as a solution to the interoperability problem. In this context, metamodeling became more important than ever, since the key to successful integration of inter-organizational enterprise information systems and interoperability lies in the intelligent use and management of metadata and metaprocesses.
In this course we will consider and compare a number of industrial and academic modeling and metamodeling frameworks (such as UML, BPMN, WS BPEL, EPC, Petri nets, Yawl, temporal logics) and their place within the SOA approach and learn to develop data and process (meta-) models for services. We will also study a number of analysis techniques to check the compatibility of (communicating to each other) services.