Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Lehr-
veranstaltungen
Personen/
Einrichtungen
Räume
Telefon &
E-Mail
Darstellung
Druckansicht
ausführliche Fassung
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Einrichtungen
>>
Fakultät Wirtschaftsinformatik / Angewandte Informatik
>>
Bereich Informatik
>>
Lehrstuhl für Praktische Informatik
2013
Detecting Interoperability and Correctness Issues in BPMN 2.0 Process Models
2012
Betsy - A BPEL Engine Test System
BPEL Conformance in Open Source Engines
Bridging the Heterogenity of Orchestrations - A Petri Net-based Integration of BPEL and Windows Workflow
Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0
2011
A Model-Driven Approach for Monitoring ebBP BusinessTransactions
A Pattern-based Analysis of WS-BPEL and Windows Workflow
A Proposal for Checking the Conformance of ebBP-ST Choreographies and WS-BPEL Orchestrations
A Service Description Method for Service Ecosystems – Meta Models, Modeling Notations, and Model Transformations
Do We Need a Refined Choreography Notion?
Edit Distance-based Pattern Support Assessment of Orchestration Languages
Has WS-I’s Work Resulted in WS-* Interoperability?
Proactive Problem Management and Event Correlation
Streamlining Pattern Support Assessment for Service Composition Languages
Towards a Common Conceptual Service Description Language: A Service Property Analysis for the Internet of Services
Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations
Visualizing B2Bi Choreographies
2010
A Composable, QoS-aware and Web Services-based Execution Model for ebXML BPSS BusinessTransactions
A Process for Identifying Predictive Correlation Patterns in Service Management Systems
A Process for Identifying Predictive Correlation Patterns in Service Management Systems.
A Top-Down Method for Secure SOA-based B2B Processes
Analyzing the Interoperability of WS-Security and WS-ReliableMessaging Implementations
Approaching Interoperability Testing of QoS based on WS-* Standards Implementations
Business Modeling for Service Descriptions: A Meta Model and a UML Profile
Business Modeling for Service Engineering: A Case Study in the IT Outsourcing Domain
ISE - Integrated Service Engineering: Applying an Architecture for Model to Model Transformations
Modeling Services using ISE Framework: Foundations and Extensions
Proaktives Problem Management durch Eventkorrelation - ein Best Practice Ansatz
Sequential Composition of Multi-Party Choreographies
The CHORCH B2Bi Approach: Performing ebBP Choreographies as Distributed BPEL Orchestrations
Towards Executing ebBP-Reg B2Bi Choreographies
Translating Shared State Based ebXML BPSS models to WS-BPEL
2009
A Negotiation Protocol Description Language for Automated Service Level Agreement Negotiations
A Requirements Analysis of Business-to-Business Integration.
A Service Description Framework for Service Ecosystems
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Introducing Partner Shared States into ebBP to WS-BPEL Translations
Negotiating SLAs - An approach for a generic negotiation framework for WS-Agreement
Performance Measurements of Tor Hidden Services in Low-Bandwidth Access Networks
QoS-Enabled B2B Integration
QoS-Enabled Business-to Business Integration Using ebBP to Ws-BPEL Translations
Service Value Properties for Service Ecosystems: A Reference Model and a Modeling Guideline
Using Variable Communication Technologies for Realizing Business Collaborations
2008
A Top-Down Method for B2B Process Design Unsing SOA
Applying Business Process Management Systems - A Case Study
Applying Service-Orientation through a Reference Architecture
Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications
Bridging the semantic gap between process documentation and process execution
Case Study Applying Business Process Management Systems
Combining SOA and BPM Technologies for Cross-System Process Automation
Comprehensive support for management of Enterprise Applications
Describing Services for Service Ecosystems
Engineering Autonomous Trust-Management Requirements for Software Agents: Requirements and Concepts.
Extended Abstracts of the Second Privacy Enhancing Technologies Convention (PET-CON 2008.1)
Negotiating Service Levels - A generic negotiation framework for WS Agreement
Performance Measurements and Statistics of Tor Hidden Services
Process-oriented Requirement Modeling for the Internet of Services
Supporting Service-Oriented Design with Metrics
Taxonomy on Consistency Requirements in the Business Process Integration Context
Using contracts for self-management
Virtual Private Hidden Services
WS-CDL Creator: A New Tool for Modeling WS-CDL Using BPMN
2007
A Manageable Kernel for EJB-based Systems
A Multi-Layered Framework for Pattern-Aided Composite Application Design
A Negotiation Protocol Framework for WS-Agreement
A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises
CMP: A UML Context Modeling Profile for Mobile Distributed Systems
Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture
DyName: Enhanced Naming for EJB
Implementation of an Instant Messaging System with Focus on Protection of User Presence
Implementing ReGreT in a Decentralized Multi-Agent Environment
IT-Outsourcing and IT-Offsourcing: Trends and Impacts on SE/KE Curricula
Modeling Context in Mobile Distributed Systems with the UML
Open Chord Version 1.0.4 User´s Manual
Using Patterns to Design Composite Applications
Visual Interactions in Software Technology
2006
A Pattern Taxonomy for Business Process Integration Oriented Application Integration
Adaptive Search in a Semi-structured Peer-to-Peer System
An Architecture for Context-Aware Mobile Applications
Approaching a methodology for designing composite applications integrating legacy applications using an architectural framework
Concealing Presence Information in Instant Messaging Systems---Protocol Specification
Decentralized Reputation Management for cooperating Software Agents in open Multi-Agent Systems
Decentralized Reputation Management for Cooperating Software Agents in Open Multi-Agent Systems
Modeling the statistic Aspects of Trust for open MAS
Modelling and Validating Business Collaborations: A Case Study on RosettaNet
Privacy-aware Presence Management in Instant Messaging Systems
Realising RosettaNet PIP Compositions as Web Service Orchestrations - A Case Study
Using Webservice Choreograpgy and Orchestration Perspectives to Model and Evaluate B2B Interactions
2005
An Implementation of Reliable Group Communication based on the Peer-to-Peer Network JXTA
Distributed Service Discovery with Guarantees in Peer-to-Peer Networks Using Distributed Hashtables
eFox - Filesharing with Web Services
Fiparse - a Generic Parser for Fipa-Compliant Agent Communication
2004
Hierarchical Scheduling for State-Based Services
Support for Interoperability of RPC-Based Web Services - A Case Study
2003
Advanced Topics in Workflow Management: Issues, Requirements, and Solutions
Integrating MASIF and FIPA Standards for Agent and Agent System Interoperability
2002
Architectures and Modeling of Distributed Image Information Systems
Report on HICSS-25 Minitrack: Integrated Modeling of Distributed Systems and Workflow
2001
Applications of Petri Nets in Modeling Distributed Software Systems
Common Problems in Workflow and Distributed Software System Modeling
Integrated Modeling of Distributed Systems and Workflow Applications
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Visual Methods for Parallel and Distributed Programming
Visual Methods for Parallel and Distributed Programming
2000
Are Visual Methods Especially Useful for Parallel and Distributed Systems?
Early Evaluation of Design Options for Distributed Systems
Extending UML with Workflow Modeling Capabilities
Modellierung verteilter Systeme nach dem OCoN/UML-Ansatz. 7. FG-Treffen der GI-FG 2.1.9, Febr. 2000
Präzisierung des UML-Metamodells durch ein semantisches Objektmodell
Skalierbare Beschreibung des Verhaltens verteilter Systeme
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling
Using a Visual Software Engineering Language for Specifying and Analysing Workflows
Using UML and Object-Coordination Nets for Workflow Specification
Visual Modeling of Object-Oriented Distributed Systems
1999
A Real Object-Oriented Visual Design Language for Distributed Software Systems
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
Contract-Based Coordination of Distributed Object Systems
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems
Verhaltensmodellierung eingebetteter Systeme mit dem OCoN-Ansatz
1998
Kontraktbasierte Modellierung verteilter Softwaresysteme
Modeling Distributed Software Systems with Object Coordination Nets
1997
Engineering Distributed Object Systems
Modular Development of Correct Meander Programs
Object Coordination Nets (1.0) – A Formalism to Describe Parallel and Distributed Methods
Ruling the Behaviour of Distributed Software Components
1996
A Visual Toolset for Message-Passing Parallel Programming
Coordination Requirements for Open Distributed Systems
Extracting and Testing the Externally Observable Behaviour of Parallel Modules
On the Benefits of Visual Formalisms in Parallel Programming
1995
Ein Graph-basierter Ansatz zur Unterstützung der Konstruktion explizit paralleler Programme
Modularization, Re-Use and Testing for Parallel Message-Passing Programs
Object-Based Consistency in a Distributed Shared Memory
Providing CSP-Like Functionality in a HeliosTM Environment
The Meander Language and Programming Environment. Programming and Computer Software
1994
Graph-Based Software Construction for Parallel Message-Passing Programs
1993
A Visual Approach for Developing, Understanding and Analyzing Parallel Programs. Proc. IEEE/CS Symposium on Visual Languages VL-93. 24.-27. August, Bergen (Norway)
Developing Parallel Programs in a Graph-Based Environment
Die Meander Projektgruppe: Erfahrungsbericht und Dokumentation der ersten Projektgruppe
Graph-Based Parallel Programming in GRAPH+C. Lessach-Workshop über Parallelverarbeitung, 21.-25.Sept. 1991, Lessach (Austria)
Graph-Based Software Construction in an Explicit Parallel, Message Passing Paradigm
Hybride Programmiersprachen als Grundlage eines Programmiersystems für Parallelrechner. 3. PASA-Workshop Parallele Systeme und Algorithmen. GI April 1993
The Meander Language and System — Overview
The Meander Language Version 1.0
1992
GRAPH+C — Eine Graphische Programmiersprache fuer Transputer
1991
An Intelligent Programming Environment for the Solution of Data Parallel Scientific
1990
A General Notion of Abstract Loops Based on Locality
Spezifikation numerischer Software für parallele Superrechner
SUSPENSE 2.0 – Specification and Transformation of Multigrid Algorithms
1989
A Formal Framework Handling the Description and Implementation of Multigrid Algorithms
Automatic Tansformation of High-Level Object-Oriented Specifications Into Parallel Programs
Parallel Fortran-Code Generation From Declarative SUSPENSE Specifications
Transforming Numerical Specifications Into Parallel Programs
1988
From Mathematical Specifications to Parallel Programs on a Message-Based System
From Mathematical Specifications to Parallel Programs on a Message-Based System
1987
Entwurf einer Spezifikationssprache für SUPRENUM
SUSPENSE - a Specification Tool for Numerical Problems and Algorithms
SUSPENSE 1.0 – Eine Spezifikationssprache für SUPRENUM
1986
Entwurf einer Spezifikationssprache für SUPRENUM
1985
Die Transformation der parallelen Programmiersprachen CL und CSP-84 in ihre Pr/T-Netz-Semantik mit Hilfe von Graph-Manipulations-Systemen
1984
A Graph Grammar Providing a Predicate-Transition-Net Semantic for CSP-80
UnivIS ist ein Produkt der
Config eG
, Buckenhof