Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797)

From MaRDI portal
Revision as of 03:15, 18 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
scientific article

    Statements

    title
    Executable rewriting logic semantics of Orc and formal analysis of Orc programs (English)
    0 references
    author
    Musab A. Alturki
    0 references
    José Meseguer
    0 references
    publication date
    15 June 2015
    0 references
    zbMATH Keywords
    rewriting logic
    0 references
    Orc
    0 references
    executable semantics
    0 references
    Maude
    0 references
    formal analysis
    0 references
    service orchestration
    0 references
    describes a project that uses
    Maude
    0 references
    COWS
    0 references
    BPEL2oWFN
    0 references
    SynchAADL2Maude
    0 references
    JavaFAN
    0 references
    Uppaal
    0 references
    Orc
    0 references
    Dist-Orc
    0 references
    Quicksort
    0 references
    cites work
    Q2988998
    0 references
    Mobile ambients
    0 references
    Q2757804
    0 references
    Automated Reasoning
    0 references
    Q3839051
    0 references
    Q2703692
    0 references
    Q5392873
    0 references
    Q2847797
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q55
    0 references
    03B70
    0 references
    68Q10
    0 references
    68Q42
    0 references
    68Q60
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6446131
    0 references
    OpenAlex ID
    W2078030312
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2348797&oldid=39025719"
    Powered by MediaWiki