当前位置: X-MOL 学术ACM Trans. Embed. Comput. Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Toward Object-oriented Modeling in SCCharts
ACM Transactions on Embedded Computing Systems ( IF 2.8 ) Pub Date : 2021-05-30 , DOI: 10.1145/3453482
Alexander Schulz-Rosengarten 1 , Steven Smyth 1 , Michael Mendler 2
Affiliation  

Object orientation is a powerful and widely used paradigm for abstraction and structuring in programming. Many languages are designed with this principle or support different degrees of object orientation. In synchronous languages, originally developed to design embedded reactive systems, there are only few object-oriented influences. However, especially in combination with a statechart notation, the modeling process can be improved by facilitating object orientation as we argue here. At the same time the graphical representation can be used to illustrate the object-oriented design of a system. Synchronous statechart dialects, such as the SCCharts language, provide deterministic concurrency for specifying safety-critical systems. Using SCCharts as an example, we illustrate how an object-oriented modeling approach that supports inheritance can be introduced. We further present how external, i.e., host language, objects can be included in the SCCharts language. Specifically, we discuss how the recently developed concepts of scheduling directives and scheduling policies can be used to ensure the determinism of objects while retaining encapsulation.

中文翻译:

走向 SCCharts 中的面向对象建模

面向对象是编程中用于抽象和结构化的强大且广泛使用的范例。许多语言都是根据这一原则设计的,或者支持不同程度的面向对象。在最初开发用于设计嵌入式反应系统的同步语言中,只有很少的面向对象的影响。然而,特别是结合状态图符号,建模过程可以通过促进我们在此讨论的面向对象来改进。同时,图形表示可以用来说明系统的面向对象设计。同步状态图方言,例如 SCCharts 语言,为指定安全关键系统提供确定性并发。以 SCCharts 为例,我们将说明如何引入支持继承的面向对象的建模方法。我们进一步介绍了如何将外部对象(即宿主语言)包含在 SCCharts 语言中。具体来说,我们讨论了最近发展的概念调度指令调度策略可用于确保对象的确定性,同时保留封装性。
更新日期:2021-05-30
down
wechat
bug