Statecharts: A visual formalism for complex systems
Science of Computer Programming
Attribute grammars as a functional programming paradigm
Proc. of a conference on Functional programming languages and computer architecture
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Change detection in hierarchically structured information
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Meaningful change detection in structured data
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Production workflow: concepts and techniques
Production workflow: concepts and techniques
A State-of-the-Art Survey on Software Merging
IEEE Transactions on Software Engineering
A Functional Semantics of Attribute Grammars
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Journal of Functional Programming
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
A three-way merge for XML documents
Proceedings of the 2004 ACM symposium on Document engineering
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation
Distributed online evolution: an algebraic problem?
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Hi-index | 0.00 |
We consider the manipulation of hierarchically-structured documents within a complex workflow system. Such a system may consist of several subsystems distributed over a computer network. These subsystems can concurrently update partial views of the document. At some points in time we need to reconcile the various local updates by merging the partial views into a coherent global document. For that purpose, we represent the potentially-infinite set of documents compatible with a given partial view as a coinductive data structure. This set is a regular set of trees that can be obtained as the image of the partial view of the document by the canonical morphism (anamorphism) associated with a coalgebra (some kind of tree automaton). Merging partial views then amounts to computing the intersection of the corresponding regular sets of trees which can be obtained using a synchronization operation on coalgebras.