Building distributed controllers for systems with priorities

DOI10.1016/J.JLAP.2010.10.001zbMath1217.68057OpenAlexW2024159530MaRDI QIDQ541297

Imene Ben-Hafaiedh, Sophie Quinton, Susanne Graf

Publication date: 7 June 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.10.001

zbMATH Keywords

web servicesdistributed controllersglobal prioritiesmemoryless controllers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (2)

Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Distributed Implementation of Systems with Multiparty Interactions and Priorities

Uses Software

• LOTOS

Cites Work

• A calculus of communicating systems
• Composition for component-based modeling
• Know means no: Incorporating knowledge into discrete-event control systems
• Compositional Verification for Component-Based Systems and Application
• Contract-Directed Synthesis of Simple Orchestrators
• A Notion of Glue Expressiveness for Component-Based Systems
• Capturing Conflict and Confusion in CSP
• Priority Scheduling of Distributed Systems Based on Model Checking
• Supervisory Control of a Class of Discrete Event Processes
• Think globally, act locally: decentralized supervisory control
• Communicating sequential processes
• The Algebra of Connectors—Structuring Interaction in BIP
• An Approach to Modelling and Verification of Component Based Systems
• FM 2005: Formal Methods
• Structured Communication-Centred Programming for Web Services

This page was built for publication: Building distributed controllers for systems with priorities