An integrated management of business processes demands a strictly process-oriented development of the supporting IT. Process-orientation is especially promoted by Service-Oriented Architectures (SOA), where loosely coupled business services are being composed to executable processes. In this paper we present a model-driven methodology for a top-down development of a process-oriented IT support ...

Aspect-Oriented Software Development (AOSD) is a new paradigm aiming to solve problems that are not adequately addressed by the Object-Oriented paradigm. Therefore, it seems appropriate to adapt software processes showing when and how crosscutting concerns should be considered. The Rational Unified Process (RUP) is one of the most widely used software development processes focusing on object-or...

xi 1 Workshop Introduction 1 1.1 SOA Research Agenda 1 1.1.1 Service-Oriented Systems Life Cycle 1 1.1.2 Taxonomy of SOA Research Topics 1 1.2 Evolution of the SOA Research Agenda through MESOA 2 1.2.1 Tools, Techniques, and Environments to Support Maintenance Activities 3 1.2.2 Multilanguage System Analysis and Maintenance 3 1.2.3 Reengineering Processes for Migration to SOA Environments 4 1.2...

We define the concept of an ‘open’ Markov process, or more precisely, continuous-time Markov chain, which is one where probability can flow in or out of certain states called ‘inputs’ and ‘outputs’. One can build up a Markov process from smaller open pieces. This process is formalized by making open Markov processes into the morphisms of a dagger compact category. We show that the behavior of a...

Separating decision modelling from the processes concern recently gained significant support in literature, as incorporating both concerns into a single model impairs scalability, maintainability, flexibility, and understandability of decisions. Most notably introduction Decision Model Notation (DMN) standard by Object Management Group provides suitable solution for externalising decisions auto...

We review achievements made in recent years the field of numerical modeling ultra-relativistic projectiles propagation oriented crystals, radiation emission and related phenomena. This topic is highly relevant to problem designing novel gamma-ray light sources based on exposure crystals beams charged particles .The paper focuses approaches that allow for advanced computation exploration beyond ...

Today’s methods for business process modeling like extended eventprocess-chains only allow the definition of static graph structures. They are not flexible enough for instance to model the change management process of the Mercedes Car Group (MCG) since it requires dynamic selection of process variants, process schema evolution and their (partial) propagation on running workflows, arbitrary dyna...