scientific article; zbMATH DE number 7471686

MaRDI QIDQ5028448zbMATH OpenFDO

Authors Maria Pittou, George Rahonis

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/1904.02222, https://lmcs.episciences.org/8901

zbMATH Keywords

architecture modellingfirst-order extended interaction logicordered interactionsparametric component-based systemsrecursive interactionsweighted extended interaction logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• Analyzing component-based systems on the basis of architectural constraints
• Formal semantics of an architecture-centric component model
• Modelling architectures: A review of their application in structured methods for information systems specification

Cites work

• Algebraic laws for nondeterminism and concurrency
• An abstract semantics of the global view of choreographies
• Architecture diagrams: a graphical language for architecture style specification
• Automata theory and its applications
• Checking deadlock-freedom of parametric component-based systems
• Configuration logics: modeling architecture styles
• Elements of automata theory. Translated from the French by Reuben Thomas
• Formal specification and verification of dynamic parametrized architectures
• Handbook of weighted automata
• scientific article; zbMATH DE number 5595162 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• Model checking population protocols
• Monitorability for the Hennessy-Milner logic with recursion
• Parameterised multiparty session types
• Parameterized verification of many identical probabilistic timed processes
• Parametric timed broadcast protocols
• Rational and Recognisable Power Series
• Realisability of pomsets
• Specifying properties of dynamic architectures using configuration traces
• The Algebra of Connectors—Structuring Interaction in BIP
• The Saga of the Axiomatization of Parallel Composition
• The Shuffle Product: New Research Directions
• Weighted automata and regular expressions over valuation monoids
• Weighted propositional configuration logics: a specification language for architectures with quantitative features

Cited in

(2)

• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028448)