Zobrazeno 1 - 10
of 348
pro vyhledávání: '"Arbab, Farhad"'
Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system. Usually,
Externí odkaz:
http://arxiv.org/abs/2207.01048
The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous work, we propo
Externí odkaz:
http://arxiv.org/abs/2206.03997
We introduce a transition system based specification of cyber-physical systems whose semantics is compositional with respect to a family of algebraic products. We give sufficient conditions for execution of a product to be correctly implemented by a
Externí odkaz:
http://arxiv.org/abs/2205.13008
Publikováno v:
EPTCS 347, 2021, pp. 77-95
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally observable beh
Externí odkaz:
http://arxiv.org/abs/2110.02214
Autor:
Dokter, Kasper, Arbab, Farhad
Publikováno v:
EPTCS 272, 2018, pp. 121-135
Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (
Externí odkaz:
http://arxiv.org/abs/1806.09852
We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Programming and Exogenous Coordination. In CR, programmers specify the desir
Externí odkaz:
http://arxiv.org/abs/1804.08976
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming November 2022 129
Publikováno v:
Proc. FACS 2017, pp 20-38
The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional des
Externí odkaz:
http://arxiv.org/abs/1708.00072