Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Database transaction models for advanced applications
Third generation TP monitors: a database challenge
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Specification and execution of transactional workflows
Modern database systems
A survey and critique of advanced transaction models
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
INCOME/STAR: methodology and tools for the development of distributed information systems
Information Systems - Special issue: distributed information systems in business and management
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
General purpose work flow languages
Distributed and Parallel Databases - Special issue on software support for work flow management
Messaging and queueing using the MQI
Messaging and queueing using the MQI
Principles of transaction processing: for the systems professional
Principles of transaction processing: for the systems professional
Tuxedo, an Open Approach to OLTP: An Open Approach to OLTP
Tuxedo, an Open Approach to OLTP: An Open Approach to OLTP
Symbolic Model Checking
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Providing High Availability in Very Large Worklflow Management Systems
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
The Mentor Project: Steps Toward Enterprise-Wide Workflow Management
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Supporting State-Wide Immunisation Tracking Using Multi-Paradigm Workflow Technology
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
The STATEMATE Semantics of Statecharts
The STATEMATE Semantics of Statecharts
A multi-agent architecture for process management accommodates unexpected performance
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A Chinese wall security model for decentralized workflow systems
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Self-managing, disconnected processes and mechanisms for mobile e-business
WMC '02 Proceedings of the 2nd international workshop on Mobile commerce
A Multiagent Architecture Addresses the Complexity of Industry Process Re-engineering
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Efficient Distributed Workflow Management Based on Variable Server Assignments
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
A Delegation Based Model for Distributed Software Process Management
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Delegation of Responsibility in an Agent-Based Process Management
PRIMA '00 Proceedings of the Third Pacific Rim International Workshop on Multi-Agents: Design and Applications of Intelligent Agents
Investigating the Evolution of Electronic Markets
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Collecting and Querying Distributed Traces of Composite Service Executions
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Peer-to-Peer Traced Execution of Composite Services
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Agents for Industry Process Management
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
XML-enabled workflow management for e-services across heterogeneous platforms
The VLDB Journal — The International Journal on Very Large Data Bases
Business-to-business interactions: issues and enabling technologies
The VLDB Journal — The International Journal on Very Large Data Bases
Workflow-and agent-based cognitive flow management for distributed team cooperation
Information and Management
Towards patterns of web services composition
Patterns and skeletons for parallel and distributed computing
Overview of some patterns for architecting and managing composite web services
ACM SIGecom Exchanges
Design issues and performance improvements in routing strategy on the internet workflow
International Journal of Network Management
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Decentralized orchestration of composite web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Flexible Support and Management of Adaptive Workflow Processes
Information Systems Frontiers
Decentralizing execution of composite web services
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Disconnected processes, mechanisms and architecture for mobile e-business
Mobile Networks and Applications
Facilitating the rapid development and scalable orchestration of composite web services
Distributed and Parallel Databases
Chinese wall security for decentralized workflow management systems
Journal of Computer Security - Special issue on ACM conference on computer and communications security, 2001
Partitioning rules for orchestrating mobile information systems
Personal and Ubiquitous Computing
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Dynamic workflow model fragmentation for distributed execution
Computers in Industry
Continuation-passing enactment of distributed recoverable workflows
Proceedings of the 2007 ACM symposium on Applied computing
JOpera: A Toolkit for Efficient Visual Composition of Web Services
International Journal of Electronic Commerce
A decentralized execution model for inter-organizational workflows
Distributed and Parallel Databases
Constructing customized process views
Data & Knowledge Engineering
Workflow authorisation in mediator-free environments
International Journal of Security and Networks
Maintaining Data Dependencies Across BPEL Process Fragments
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Using multi-agent platform for pure decentralised business workflows
Web Intelligence and Agent Systems
Security views for outsourced business processes
Proceedings of the 2008 ACM workshop on Secure web services
Predicting Coupling of Object-Centric Business Process Implementations
BPM '08 Proceedings of the 6th International Conference on Business Process Management
SLA-driven distributed application development
Proceedings of the 3rd workshop on Middleware for service oriented computing
Efficiently discovering critical workflows in scientific explorations
Future Generation Computer Systems
Consistent and decentralized orchestration of BPEL processes
Proceedings of the 2009 ACM symposium on Applied Computing
Decentralized Orchestration of BPEL Processes with Execution Consistency
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
A distributed service-oriented architecture for business process execution
ACM Transactions on the Web (TWEB)
Through Personalized Web Service Composition Specification: From BPEL to C-BPEL
Electronic Notes in Theoretical Computer Science (ENTCS)
SLA-driven business process management in SOA
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
Verification of model transformations: a case study with BPEL
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Supporting ad-hoc changes in distributed workflow management systems
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
CiAN: a workflow engine for MANETs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Reference architectural styles for service-oriented computing
NPC'07 Proceedings of the 2007 IFIP international conference on Network and parallel computing
Coordination for fragmented loops and scopes in a distributed business process
BPM'10 Proceedings of the 8th international conference on Business process management
Shepherd: node monitors for fault-tolerant distributed process execution in OSIRIS
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Towards runtime migration of WS-BPEL processes
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Intelligent network management for healthcare monitoring
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part III
Fault handling and recovery in decentralized services orchestration
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
Adaptable Decentralized Service Oriented Architecture
Journal of Systems and Software
A model-driven workflow fragmentation framework for collaborative workflow architectures and systems
Journal of Network and Computer Applications
CoopFlow: a framework for inter-organizational workflow cooperation
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Towards the automation of e-negotiation processes based on web services – a modeling approach
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Model fragmentation for distributed workflow execution: a petri net approach
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Workflow management in mobile environments
UMICS'04 Proceedings of the Second CAiSE conference on Ubiquitous Mobile Information and Collaboration Systems
Coordination for fragmented loops and scopes in a distributed business process
Information Systems
Pros and cons of distributed workflow execution algorithms
Data Management in a Connected World
Chapter 14: building search computing applications
Search Computing
Peer-to-peer orchestration of web mashups
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Process Evolution in a Distributed Process Execution Environment
International Journal of Information System Modeling and Design
Splitting GSM schemas: a framework for outsourcing of declarative artifact systems
BPM'13 Proceedings of the 11th international conference on Business Process Management
Hi-index | 0.00 |
Current workflow management systems fall short ofsupporting large-scale distributed, enterprise-wide applications. Wepresent a scalable, rigorously founded approach to enterprise-wideworkflow management, based on the distributed execution of state andactivity charts. By exploiting the formal semantics of state andactivity charts, we develop an algorithm for transforming acentralized state and activity chart into a provably equivalentpartitioned one, suitable for distributed execution. Asynchronization scheme is developed that guarantees an executionequivalent to a non-distributed one. This basic solution is furtherrefined in order to reduce communication overhead and exploitparallelism between partitions whenever possible. The developedsynchronization schemes are compared in terms of the number and sizeof synchronization messages.