Die Beiträge im vorliegenden Buch stammen von Praktikern der Objektorientierung, die ihren Erfahrungsschatz dokumentieren und anderen Anwendern zugänglich machen. Dabei wird vor allem auf Themen eingegangen, die in Grundlagenbüchern nicht oder nur am Rande behandelt werden, wie z.B. der Entwurf und die Dokumentation von Softwarearchitekturen, Aspekte des Prozess- und Projektmanagements, Geschäftsmodellierung im Kontext objektorientierter Modelle und die Verwendung prädikativer Techniken.

Die Beiträge im vorliegenden Buch stammen von Praktikern der Objektorientierung, die ihren Erfahrungsschatz dokumentieren und anderen Anwendern zugänglich machen. Dabei wird vor allem auf Themen eingegangen, die in Grundlagenbüchern nicht oder nur am Rande behandelt werden, wie z.B. der Entwurf und die Dokumentation von Softwarearchitekturen, Aspekte des Prozess- und Projektmanagements, Geschäftsmodellierung im Kontext objektorientierter Modelle und die Verwendung prädikativer Techniken.

Das Buch vermittelt die grundlegenden Konzepte und Zusammenhänge objektorientierter Entwurfsmethoden. Im Mittelpunkt stehen dabei die graphischen Beschreibungstechniken der Unified Modeling Language (UML). Neben einer kurzen Einführung in Klassen-, Sequenz- und Zustandsdiagramme wird der Leser zunächst mit den Grundbegriffen objektorientierter Systemmodellierung vertraut gemacht. Im Vordergrund steht das Zusammenspiel der unterschiedlichen Diagrammtypen und ihre methodische Verwendung im Use-Case-gesteuerten Entwurf.Das Buch, das nur Grundkenntnisse in objektorientierter Technologie voraussetzt, wendet sich sowohl an Praktiker als auch an Studierende und Lehrende. Es bietet aber auch neue Ansätze, die es für Wissenschaftler interessant machen. Durch seine Einordnung von Konzepten vermittelt es ein tiefgehendes Verständnis der Techniken und der Methodik des objektorientierten Entwurfs - als Grundstein für den effizienten Einsatz in der Praxis.

The main aim of this monograph is to provide a framework forthe integrated design of object-oriented programs withalgebraic specification techniques. The design methodpursued relies fundamentally on the structuring of systemsbased on the notion of data types. Depending on the level ofabstraction, data types are described in an object-orientedway by algebraic specifications or by machine-executableobject-oriented programs. The treatment involves two mainaspects. First, object-oriented programs have to be relatedby a notion of correctness that models the transition fromspecifications to program implementations. The authorpresents a notion of correctness which relies on the idea ofabstraction functions. Second, in order to obtain anintegrated design environment, a uniform structuring conceptfor object oriented programs and algebraic specificationshas to be provided. Inheritance, subtyping and clientshipare three central notions of object-oriented structuring.Theauthor uses them to develop the kernel of a typedobject- oriented programming language. The monographprovides the formal foundation for a unified framework ofalgebraic specifications and object-oriented programs. Amajor guideline is the development of a design methodsupporting the structured design and reuse of software inthis environment.

The growing popularity of Service Oriented Architectures is mainly due to business and technology trendsthat have crystallized over thepast decade. On the business side, companies struggle to survive in a competitive - vironment that pushes them towards a tighter integration into an industry's value chain, to outsource non core business operations or to constantly- engineer business processes. These challenges boosted the demand for sc- able IT-solutions, with e?orts ultimately resulting in a ?exible architectural paradigm - Service Oriented Architectures. On the technical side, middleware standards, technologies and archit- turesbasedonXMLand Webservicesaswellastheirsecurityextensionshave matured to a sound technology base that guarantees interoperability across enterprise and application boundaries - a prerequisite to inter-organizational applications and work?ows. While the principles and concepts of Service Oriented Architectures may lookevidentandcogentfromaconceptualperspective,therealizationofint- organizational work?ows and applications based on the paradigm "Service Oriented Architecture" remains a complex task, and, all the more when it comes to security, the implementation is still bound to low-level technical knowledgeandhence error-prone.The number of books and publications o?ering implementation-level c- erageofthetechnologies,standardsandspeci?cationsasrequiredbytechnical developers lookingfor guidance on how to"add"security to service oriented solutions based on Web services and XML technology is already considerable and ever growing. The present book sets a di?erent focus. Based on the p- adigmof Model Driven Security, it shows how to systematically designand realize security-critical applications for Service Oriented Architectures.

The growing popularity of Service Oriented Architectures is mainly due to business and technology trendsthat have crystallized over thepast decade. On the business side, companies struggle to survive in a competitive - vironment that pushes them towards a tighter integration into an industry's value chain, to outsource non core business operations or to constantly- engineer business processes. These challenges boosted the demand for sc- able IT-solutions, with e?orts ultimately resulting in a ?exible architectural paradigm - Service Oriented Architectures. On the technical side, middleware standards, technologies and archit- turesbasedonXMLand Webservicesaswellastheirsecurityextensionshave matured to a sound technology base that guarantees interoperability across enterprise and application boundaries - a prerequisite to inter-organizational applications and work?ows. While the principles and concepts of Service Oriented Architectures may lookevidentandcogentfromaconceptualperspective,therealizationofint- organizational work?ows and applications based on the paradigm "Service Oriented Architecture" remains a complex task, and, all the more when it comes to security, the implementation is still bound to low-level technical knowledgeandhence error-prone.The number of books and publications o?ering implementation-level c- erageofthetechnologies,standardsandspeci?cationsasrequiredbytechnical developers lookingfor guidance on how to"add"security to service oriented solutions based on Web services and XML technology is already considerable and ever growing. The present book sets a di?erent focus. Based on the p- adigmof Model Driven Security, it shows how to systematically designand realize security-critical applications for Service Oriented Architectures.

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

Die Beiträge im vorliegenden Buch stammen von Praktikern der Objektorientierung, die ihren Erfahrungsschatz dokumentieren und anderen Anwendern zugänglich machen. Dabei wird vor allem auf Themen eingegangen, die in Grundlagenbüchern nicht oder nur am Rande behandelt werden, wie z.B. der Entwurf und die Dokumentation von Softwarearchitekturen, Aspekte des Prozess- und Projektmanagements, Geschäftsmodellierung im Kontext objektorientierter Modelle und die Verwendung prädikativer Techniken.

Die Beiträge im vorliegenden Buch stammen von Praktikern der Objektorientierung, die ihren Erfahrungsschatz dokumentieren und anderen Anwendern zugänglich machen. Dabei wird vor allem auf Themen eingegangen, die in Grundlagenbüchern nicht oder nur am Rande behandelt werden, wie z.B. der Entwurf und die Dokumentation von Softwarearchitekturen, Aspekte des Prozess- und Projektmanagements, Geschäftsmodellierung im Kontext objektorientierter Modelle und die Verwendung prädikativer Techniken.

Das Buch vermittelt die grundlegenden Konzepte und Zusammenhänge objektorientierter Entwurfsmethoden. Im Mittelpunkt stehen dabei die graphischen Beschreibungstechniken der Unified Modeling Language (UML). Neben einer kurzen Einführung in Klassen-, Sequenz- und Zustandsdiagramme wird der Leser zunächst mit den Grundbegriffen objektorientierter Systemmodellierung vertraut gemacht. Im Vordergrund steht das Zusammenspiel der unterschiedlichen Diagrammtypen und ihre methodische Verwendung im Use-Case-gesteuerten Entwurf.Das Buch, das nur Grundkenntnisse in objektorientierter Technologie voraussetzt, wendet sich sowohl an Praktiker als auch an Studierende und Lehrende. Es bietet aber auch neue Ansätze, die es für Wissenschaftler interessant machen. Durch seine Einordnung von Konzepten vermittelt es ein tiefgehendes Verständnis der Techniken und der Methodik des objektorientierten Entwurfs - als Grundstein für den effizienten Einsatz in der Praxis.

The main aim of this monograph is to provide a framework forthe integrated design of object-oriented programs withalgebraic specification techniques. The design methodpursued relies fundamentally on the structuring of systemsbased on the notion of data types. Depending on the level ofabstraction, data types are described in an object-orientedway by algebraic specifications or by machine-executableobject-oriented programs. The treatment involves two mainaspects. First, object-oriented programs have to be relatedby a notion of correctness that models the transition fromspecifications to program implementations. The authorpresents a notion of correctness which relies on the idea ofabstraction functions. Second, in order to obtain anintegrated design environment, a uniform structuring conceptfor object oriented programs and algebraic specificationshas to be provided. Inheritance, subtyping and clientshipare three central notions of object-oriented structuring.Theauthor uses them to develop the kernel of a typedobject- oriented programming language. The monographprovides the formal foundation for a unified framework ofalgebraic specifications and object-oriented programs. Amajor guideline is the development of a design methodsupporting the structured design and reuse of software inthis environment.

The growing popularity of Service Oriented Architectures is mainly due to business and technology trendsthat have crystallized over thepast decade. On the business side, companies struggle to survive in a competitive - vironment that pushes them towards a tighter integration into an industry's value chain, to outsource non core business operations or to constantly- engineer business processes. These challenges boosted the demand for sc- able IT-solutions, with e?orts ultimately resulting in a ?exible architectural paradigm - Service Oriented Architectures. On the technical side, middleware standards, technologies and archit- turesbasedonXMLand Webservicesaswellastheirsecurityextensionshave matured to a sound technology base that guarantees interoperability across enterprise and application boundaries - a prerequisite to inter-organizational applications and work?ows. While the principles and concepts of Service Oriented Architectures may lookevidentandcogentfromaconceptualperspective,therealizationofint- organizational work?ows and applications based on the paradigm "Service Oriented Architecture" remains a complex task, and, all the more when it comes to security, the implementation is still bound to low-level technical knowledgeandhence error-prone.The number of books and publications o?ering implementation-level c- erageofthetechnologies,standardsandspeci?cationsasrequiredbytechnical developers lookingfor guidance on how to"add"security to service oriented solutions based on Web services and XML technology is already considerable and ever growing. The present book sets a di?erent focus. Based on the p- adigmof Model Driven Security, it shows how to systematically designand realize security-critical applications for Service Oriented Architectures.

The growing popularity of Service Oriented Architectures is mainly due to business and technology trendsthat have crystallized over thepast decade. On the business side, companies struggle to survive in a competitive - vironment that pushes them towards a tighter integration into an industry's value chain, to outsource non core business operations or to constantly- engineer business processes. These challenges boosted the demand for sc- able IT-solutions, with e?orts ultimately resulting in a ?exible architectural paradigm - Service Oriented Architectures. On the technical side, middleware standards, technologies and archit- turesbasedonXMLand Webservicesaswellastheirsecurityextensionshave matured to a sound technology base that guarantees interoperability across enterprise and application boundaries - a prerequisite to inter-organizational applications and work?ows. While the principles and concepts of Service Oriented Architectures may lookevidentandcogentfromaconceptualperspective,therealizationofint- organizational work?ows and applications based on the paradigm "Service Oriented Architecture" remains a complex task, and, all the more when it comes to security, the implementation is still bound to low-level technical knowledgeandhence error-prone.The number of books and publications o?ering implementation-level c- erageofthetechnologies,standardsandspeci?cationsasrequiredbytechnical developers lookingfor guidance on how to"add"security to service oriented solutions based on Web services and XML technology is already considerable and ever growing. The present book sets a di?erent focus. Based on the p- adigmof Model Driven Security, it shows how to systematically designand realize security-critical applications for Service Oriented Architectures.

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.