Auflistung nach Autor:in "Speck, Andreas"
1 - 10 von 35
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAn approach for semantic checks of process models(Business process, services – computing and intelligent service management, 2009) Feja, SvenThis paper presents an approach for using model checking for process models and workflows. The approach allows it to graphically state semantic validation rules on the level of processes. This enables the process modeler to use model checking techniques to get higher quality models for the further software development process.
- KonferenzbeitragBusiness process modeling and realization(Informatik 2009 – Im Focus das Leben, 2009) Thalheim, Bernhard; Stein, Sebastian; Speck, Andreas
- KonferenzbeitragBusiness Process Validation(Business process and services computing – 1st international working conference on business process and services computing – BPSC 2007, 2007) Speck, AndreasBusiness processes and workflows are crucial elements in the design and development of commercial systems, such as enterprise resource planning (ERP) or e-commerce systems and many more. Despite their important role there are little means to ensure the correctness of these processes and workflows as well as consistency between them. In contrast to other verification problems the semantics of business processes to be checked are less explicit and formalised. Nevertheless the processes and workflows have to be considered as highly complex and are consisting in most cases out of a very large number of sub- processes which are very hard to be overlooked manually. Means for ensuring the quality of business processes may be business rules and guidelines driven by experience and domain knowledge. Adequate models for static dependencies and dynamic behaviour and modelling tools help capturing the important semantics. Verification technology like model checking will support the quality assurance.
- KonferenzbeitragBusiness process verification(Informatik 2009 – Im Focus das Leben, 2009) Feja, Sven; Speck, Andreas; Pulvermüller, ElkeModels of commercial systems reflect either the statical structure or the dynamic behavior of a system. The dynamic aspects are the business processes and their models. Whereas the static relations in a system may be expressed by Boolean logic, the dynamic activities and their temporal sequences ask for a better formalism, e.g. temporal logic. Temporal logic is based on Boolean logic extended by operators expressing the temporal order of states. In general there are different technologies to verify temporal sequences. Our choice is the model checking concept. In the paper we present examples of business process models and how these models may be checked. We introduce a model to specify the rules (rules model) and demonstrate how the results of the checks can be displayed in the business process models. These models and the rules are represented in a graphical editor. Both models are transformed into a formal language which may be processed by a verification tool - a model checker in our case. The results are then visualized in the graphical editor indicating where the model violates or keeps the rules.
- Editiertes Buch
- KonferenzbeitragA case study on managing slas in composite services with COSMA(Business process, services – computing and intelligent service management, 2009) Ludwig, André; Hering, Thomas; Kluge, Rolf; Franczyk, BogdanCOSMA proposes a novel SLA management approach for composite services. It supports a composite service provider in managing SLAs with providers of atomic services, in managing SLAs with requesters of composite services, and aligning both SLA management activities with each other. On this basis, a composite service provider can control and optimize its composite SLA management activities during the entire SLA lifecycle. This includes, in particular, planning and negotiating SLAs, monitoring and evaluating SLAs. In this paper, a case study on managing SLAs in composite services with the COSMA approach is presented in detail.
- KonferenzbeitragConcept-driven engineering for supporting different views of models(Business process, services – computing and intelligent service management, 2009) Schmidt, PeggyThis paper investigates the the development and evolution of concepts and the management of transformers, which adds semantics to the concepts. We illustrate how concepts, their variants and transformers can be developed via cooperation.
- KonferenzbeitragA conceptual information model for service management dimensions(Business process, services – computing and intelligent service management, 2009) Belter, Roman; Kluge, Rolf; Hering, Thomas; Müller, HolgerService-oriented Computing (SOC) is known as the leading paradigm for the creation of agile and flexible enterprise IT infrastructures. The implementation of enterprise-wide Service-oriented Architectures (SOA) is a complex task. In most cases, more evolutionary approaches are used to deal with the arising complexity. However most of the design methodologies and implementation strategies focus on more technical, service realization specific aspects. Challenges regarding the definition and the management of related service artifacts throughout the whole service lifecycle are neglected. Also the implementation of a lifecycle-encompassing information management infrastructure is not addressed adequately in research and industry. In this paper we introduce different stakeholder roles and their information requirements as well as their influence on services within the lifecycle. Furthermore, this paper proposes a common service management information model (coSIM) that builds a foundation for the management of services and service infrastructures during design-, run- , and change-time.
- KonferenzbeitragDeclarative workflow modeling with UML class diagrams and OCL(Business process, services – computing and intelligent service management, 2009) Brüning, JensThis paper describes an approach of modeling workflows with UML class diagrams and OCL constraints [OCL06] in a declarative way. These are modeled in the UML tool USE [USE08] that can generate object diagrams (snapshots) out of UML class diagrams. USE checks specified OCL constraints against the generated snapshots. With the declarative workflow modeling approach presented here, activity model states are integrated in the object model states. By analyzing these snapshots the model is validated against requirements.
- KonferenzbeitragDescription of protocol rules(INFORMATIK 2011 – Informatik schafft Communities, 2011) Speck, Andreas; Witt, Sören; Feja, SvenProtocols are formal models which may be used to define the interactions within processes. Moreover, protocols may be the base of process improvement e.g. by applying game theory. In the paper we focus on models of interactions between system components (which we name versions) and the possibilities to verify that the version systems fulfill the rules (specifications) of the protocols. First, we consider the static relationships between the versions as base. Second, we discuss the dynamic interactions between these versions and present a model checking-based approach to verify the interaction specifications of the protocols. Such verified interaction sequences (or processes) are a starting point of optimizations by game theory approaches.