A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Atomic actions for fault-tolerance using CSP
IEEE Transactions on Software Engineering
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A multidatabase transaction model for InterBase
Proceedings of the sixteenth international conference on Very large databases
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
ML for the working programmer
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
Database transaction models for advanced applications
Database transaction models for advanced applications
A transaction model for active distributed object systems
Database transaction models for advanced applications
Database transaction models for advanced applications
Concepts and applications of multilevel transactions and open nested transactions
Database transaction models for advanced applications
Specification and execution of transactions for advanced database applications
Information Systems - Data bases: their creation, management, and utilization
Managing business processes as an information resource
IBM Systems Journal
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Concepts of programming languages (3rd ed.)
Concepts of programming languages (3rd ed.)
Principles of transaction processing: for the systems professional
Principles of transaction processing: for the systems professional
Exception handling: issues and a proposed notation
Communications of the ACM
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
IEEE Transactions on Knowledge and Data Engineering
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Failure Handling for Transaction Hierarchies
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
A Transactional Nested Process Management System
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Distributed Processing over Stand-alone Systems and Applications
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Geo-Opera: Workflow Concepts for Spatial Processes
SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
WISE: Business to Business E-Commerce
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
Highly Available Process Support Systems: Implementing Backup Mechanisms
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Retire Superman: Handling Exceptions Seamlessly in a Declarative Visual Programming Language
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Flexible Exception Handling in the OPERA Process Support System
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Beyond the Black Box: Event-based Inter-Process Communication in Process Support Systems
ICDCS '99 Proceedings of the 19th IEEE International Conference on Distributed Computing Systems
Practical exception handling and resolution in concurrent programs
Computer Languages
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
A document-process association model for workflow management
Computers in Industry
Design for Change: Evolving Workflow Specifications in ULTRAflow
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Regulating Work in Digital Enterprises: A Flexible Managerial Framework
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
WELCOM '01 Proceedings of the Second International Workshop on Electronic Commerce
EROICA: A Rule-Based Approach to Organizational Policy Management in Workflow Systems
WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
Consulting past exceptions to facilitate workflow exception handling
Decision Support Systems
Automatic Control of Workflow Processes Using ECA Rules
IEEE Transactions on Knowledge and Data Engineering
Extending the concept of transaction compensation
IBM Systems Journal
Flexible Support and Management of Adaptive Workflow Processes
Information Systems Frontiers
Finding and preventing run-time error handling mistakes
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Management of business process constraints using BPTrigger
Computers in Industry
Business-to-business workflow interoperation based on process-views
Decision Support Systems
Exception handling in workflow-driven Web applications
WWW '05 Proceedings of the 14th international conference on World Wide Web
Dynamic restructuring of recovery nets
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Learning, planning, and the life cycle of workflow management
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Meta workflows as a control and coordination mechanism for exception handling in workflow systems
Decision Support Systems - Special issue: Web services and process management
Retrofitting Autonomic Capabilities onto Legacy Systems
Cluster Computing
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings of the 28th international conference on Software engineering
Managing exceptions in the medical workflow systems
Proceedings of the 28th international conference on Software engineering
Key research issues in grid workflow verification and validation
ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
SH-BPEL: a self-healing plug-in for Ws-BPEL engines
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Process based storing and reconstructing of XML form documents
Computers in Industry
Determining Sound Markings in Structured Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Process Evolution with Atomicity Consistency
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Detection and resolution of atomicity violation in service composition
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Self-healing BPEL processes with Dynamo and the JBoss rule engine
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
A transactional grid workflow service for ShanghaiGrid
International Journal of Web and Grid Services
Butterfly effect in exception management: preventing cause and stopping reaction
AIC'06 Proceedings of the 6th WSEAS International Conference on Applied Informatics and Communications
Proceedings of the 30th international conference on Software engineering
Construire des applications fiables à base de services mobiles
UbiMob '08 Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
International Journal of High Performance Computing Applications
A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments
International Journal of High Performance Computing Applications
Exception handling patterns for processes
Proceedings of the 4th international workshop on Exception handling
Transactions on Petri Nets and Other Models of Concurrency II
Formalizing visibility characteristics in hierarchical systems
Data & Knowledge Engineering
Formalisms to support the definition of processes
Journal of Computer Science and Technology
Global-to-local approach to rigorously developing distributed system with exception handling
Journal of Computer Science and Technology
The Consistency of Web Conversations
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Exception specification and handling in workflow systems
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
An outlook on semantic business process mining and monitoring
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Dynamic, extensible and context-aware exception handling for workflows
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Modeling alternatives in exception executions
BPM'07 Proceedings of the 2007 international conference on Business process management
Localising temporal constraints in scientific workflows
Journal of Computer and System Sciences
Efficiently supporting secure and reliable collaboration in scientific workflows
Journal of Computer and System Sciences
A rule-based approach to proactive exception handling in business processes
Expert Systems with Applications: An International Journal
Ensuring compliance with semantic constraints in process adaptation with rule-based event processing
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Expert Systems with Applications: An International Journal
Tool support for dynamic development processes
Graph transformations and model-driven engineering
Adaptation of service-based systems
Service research challenges and solutions for the future internet
Exception handling in web service processes
The evolution of conceptual modeling
ACM Transactions on Software Engineering and Methodology (TOSEM)
QoS-based probabilistic fault-diagnosis method for exception handling
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Fundamentals of exception handling within workflow-based web applications
Journal of Web Engineering
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Fault-tolerant orchestration of transactional web services
WISE'06 Proceedings of the 7th international conference on Web Information Systems
A multi-agent based method for handling exceptions in computer supported cooperative design
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
Flexible coordination of e-services
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Fault tolerant web service orchestration by means of diagnosis
EWSA'06 Proceedings of the Third European conference on Software Architecture
A service-oriented workflow language for robust interacting applications
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Optimizing exception handling in workflows using process restructuring
BPM'06 Proceedings of the 4th international conference on Business Process Management
Actor Petri net model for scientific workflows: model, design and system
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Flexible temporal consistency for fixed-time constraint verification in grid workflow systems
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Handling transactional properties in web service composition
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Exception management within web applications implementing business processes
Advanced Topics in Exception Handling Techniques
Exception handling in CSCW applications in pervasive computing environments
Advanced Topics in Exception Handling Techniques
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
QoS-aware web services composition using transactional composition operator
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Flexible business process management using forward stepping and alternative paths
BPM'05 Proceedings of the 3rd international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A proposal to detect errors in Enterprise Application Integration solutions
Journal of Systems and Software
Methods for enabling recovery actions in Ws-BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Worklets: a service-oriented implementation of dynamic flexibility in workflows
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Modeling visibility in hierarchical systems
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Reliable scientific service compositions
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Determining Sound Markings in Structured Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Ensuring Customised Transactional Reliability of Composite Services
Journal of Database Management
Do we need to handle every temporal violation in scientific workflow systems?
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information and Software Technology
Hi-index | 0.01 |
Fault tolerance is a key requirement in Process Support Systems (PSS), a class of distributed computing middleware encompassing applications such as workflow management systems and process centered software engineering environments. A PSS controls the flow of work between programs and users in networked environments based on a 驴metaprogram驴 (the process). The resulting applications are characterized by a high degree of distribution and a high degree of heterogeneity (properties that make fault tolerance both highly desirable and difficult to achieve.) In this paper, we present a solution for implementing more reliable processes by using exception handling, as it is used in programming languages, and atomicity, as it is known from the transaction concept in database management systems. The paper describes the mechanism incorporating both transactions and exceptions and presents a validation technique allowing to assess the correctness of process specifications.