Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Ralf Nagel is active.

Publication


Featured researches published by Ralf Nagel.


haifa verification conference | 2006

Model-driven development with the jABC

Bernhard Steffen; Tiziana Margaria; Ralf Nagel; Sven Jörges; Christian Kubczak

We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.


engineering of computer based systems | 2005

Remote integration and coordination of verification tools in jETI

Tiziana Margaria; Ralf Nagel; Bernhard Steffen

We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience with tool providers, tool users and students. Most important was here the reduction of the effort for integrating and updating tools. jETI combines Eclipse and Web Services functionality with our Application Building Center (ABC), a framework supporting coordination based application development. This provides (1) lightweight remote component (tool) integration, (2) distributed component (tool) libraries, (3) a graphical coordination environment, and (4) a distributed execution environment. We illustrate these features by discussing their impact on the typical jETI user groups: the Tool Providers, the Standard Tool Users, and the Advanced Tool Users.


tools and algorithms for construction and analysis of systems | 2005

jETI: a tool for remote tool integration

Tiziana Margaria; Ralf Nagel; Bernhard Steffen

We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience with tool providers, tool users and students. Most important was here the reduction of the effort for integrating and updating tools. jETI combines Eclipse with Web Services functionality in order to provide (1) lightweight remote component (tool) integration, (2) distributed component (tool) libraries, (3) a graphical coordination environment, and (4) a distributed execution environment. These features will be illustrated in the course of building and executing remote heterogeneous tool sequences.


Computers & Graphics | 1995

Spatial free-form deformation with scattered data interpolation methods

Detlef Ruprecht; Ralf Nagel; Heinrich Müller

Abstract The problem of deforming a given spatial shape is treated. There are many examples of applications in visual computing: fitting surfaces to sampled data points in space, correction of distortions in tomographic imaging, modeling of free-form geometric shapes, and animating metamorphoses of geometric objects. Our solution warps the space surrounding the given shape with the effect of deforming the embedded shape, too, with a function derived with scattered data interpolation methods from the displacements of a finite set of control points that can be placed arbitrarily and adaptively. We present algorithms implementing this idea on parametric surfaces and rasterized volume data.


leveraging applications of formal methods | 2008

The jABC Approach to Rigorous Collaborative Development of SCM Applications

Martina Hörmann; Tiziana Margaria; Thomas Mender; Ralf Nagel; Bernhard Steffen; Hong Trinh

Our approach to the model-driven collaborative design of IKEAs P3 Delivery Management Process uses the jABC (9) for model driven mediation and choreography to complement a RUP-based (Ra- tional Unified Process) development process. jABC is a framework for service development based on Lightweight Process Coordination. Users (product developers and system/software designers) easily develop ser- vices and applications by composing reusable building-blocks into (flow-) graph structures that can be animated, analyzed, simulated, verified, ex- ecuted, and compiled. This way of handling the collaborative design of complex embedded systems has proven to be effective and adequate for the cooperation of non-programmers and non-technical people ,w hich is the focus of this contribution, and it is now being rolled out in the op- erative practice.


leveraging applications of formal methods | 2008

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction

Georg Jung; Tiziana Margaria; Ralf Nagel; Wolfgang Schubert; Bernhard Steffen; Horst Voigt

Extensibility, flexibility, easy maintainability, and long-term robustness are core requirements for modern, highly distributed infor- mation and computation systems. Such systems in turn show a steady increase in complexity. In pursuit of these goals, software engineering has seen a rapid evolution of architectural paradigms aiming towards increasingly modular, hierarchical, and compositional approaches. Object-orientation, component orientation, middleware components, product-lines, and - recently - service orientation. We compare two approaches towards a service-oriented paradigm, the Service Component Architecture (SCA) and the jABC.


Semantic Web Services Challenge | 2009

Service-oriented Mediation with jABC/jETI

Christian Kubczak; Tiziana Margaria; Bernhard Steffen; Ralf Nagel


Ercim News | 2008

Plug and Play with FMICS-jETI: Beyond Scripting and Coding.

Christian Kubczak; Tiziana Margaria; Ralf Nagel; Bernhard Steffen


Archive | 2007

IKEA - Intelligentes Kommissionieren: Evolution & Adaption

Sven Jörges; Ralf Nagel; Bernhard Steffen


Archive | 2005

Remote Integration and Coordination of Verification

Tiziana Margaria; Ralf Nagel; Bernhard Steffen

Collaboration


Dive into the Ralf Nagel's collaboration.

Top Co-Authors

Avatar

Bernhard Steffen

Technical University of Dortmund

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Christian Kubczak

Technical University of Dortmund

View shared research outputs
Top Co-Authors

Avatar

Sven Jörges

Technical University of Dortmund

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Detlef Ruprecht

Technical University of Dortmund

View shared research outputs
Top Co-Authors

Avatar

Heinrich Müller

Technical University of Dortmund

View shared research outputs
Top Co-Authors

Avatar

Georg Jung

Kansas State University

View shared research outputs
Researchain Logo
Decentralizing Knowledge