Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
SLA management in federated environments
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on selected topics in network and systems management
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
The box algebra = Petri nets + process expressions
Information and Computation
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
Distributed and Parallel Databases
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Applying model checking to BPEL4WS business collaborations
Proceedings of the 2005 ACM symposium on Applied computing
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Verification of computation orchestration via timed automata
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Translating orc features into petri nets and the join calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Monotonicity in Service Orchestrations
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Monitoring probabilistic SLAs in web service orchestrations
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
Hi-index | 0.00 |
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and sequential trace semantics - the common semantic domains - do not facilitate this kind of analysis because they do not precisely express the causal relationships between events. Asymmetric Event Structures (AES) provide an explicit representation of the causal dependencies between events in the execution of a system and allow for an elegant coding of preemption. Event structures are, however, difficult to construct compositionally, because they cannot easily represent fragments of a computation. The heaps we develop here allow for such a representation, and easily generate AES. In this paper, we develop a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the internet. We briefly show how Orc, and this new semantics, are used for QoS studies of wide area orchestrations.