کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
432351 1441294 2006 24 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Compositional modeling and refinement for hierarchical hybrid systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Compositional modeling and refinement for hierarchical hybrid systems
چکیده انگلیسی

In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language Charon that allows modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and parallel composition. For hierarchical description of the behavior of atomic components, Charon supports building complex modes via the operations of instantiation, scoping, and encapsulation. We develop an observational trace semantics for agents as well as for modes, and define a notion of refinement for both, based on trace inclusion. We show this semantics to be compositional with respect to the constructs in the language.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 68, Issues 1–2, June–July 2006, Pages 105-128