Executable rewriting logic semantics of Orc and formal analysis of Orc programs

DOI10.1016/J.JLAMP.2015.03.003zbMath1329.68169OpenAlexW2078030312MaRDI QIDQ2348797

Musab A. Alturki, José Meseguer

Publication date: 15 June 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.03.003

zbMATH Keywords

formal analysisrewriting logicMaudeOrcservice orchestrationexecutable semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (4)

Twenty years of rewriting logic ⋮ A timed semantics of Orc ⋮ Towards verification of computation orchestration ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Uses Software

• JavaFAN
• Uppaal
• Maude
• COWS
• BPEL2oWFN
• Orc
• Dist-Orc
• SynchAADL2Maude
• Quicksort

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The rewriting logic semantics project: a progress report
• Towards verification of computation orchestration
• A pi-calculus based semantics for WS-BPEL
• The rewriting logic semantics project
• Semantics and pragmatics of real-time maude
• A timed semantics of Orc
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• A rewriting logic approach to operational semantics
• Conditional rewriting logic as a unified model of concurrency
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• The algebra of timed processes, ATP: Theory and application
• Mobile ambients
• Specification of real-time and hybrid systems in rewriting logic
• Equational rules for rewriting logic
• Process algebra with timing
• Modular structural operational semantics
• A process algebra for timed systems
• Twenty years of rewriting logic
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Semantic foundations for generalized rewrite theories
• Real time process algebra
• Abstraction and Completeness for Real-Time Maude
• The Rewriting Logic Semantics Project: A Progress Report
• Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
• C WS: A Timed Service-Oriented Calculus
• The Orc Programming Language
• Automated Reasoning
• Computer Aided Verification
• Algebraic Methodology and Software Technology
• Algebraic Methodology and Software Technology
• Formal Methods for the Design of Real-Time Systems
• Simulation Using Orchestration
• A Language for Task Orchestration and Its Semantic Properties

This page was built for publication: Executable rewriting logic semantics of Orc and formal analysis of Orc programs