一个基于关联的舞蹈编程模型
Saverio Giallorenzo1,2, Fabrizio Montesi3, Maurizio Gabbrielli2
1INRIA, Sophia-Antipolis, France.
PeerJ. Computer science
|February 3, 2025
概括
"应用式编排曲"弥合了理论模型和分布式系统的实际实现之间的差距. 这一新框架确保了从舞蹈规范的忠实服务导向的实现.
科学领域:
- 计算机科学 计算机科学
- 正式方法 正式方法
- 分布式系统 分布式系统
背景情况:
- 编舞在并发和分布式系统中模拟通信.
- 现有的理论在实现中存在抽象道名称和低级别消息路由之间的差距.
- 弥合这一差距对于编舞模型的实际应用至关重要.
研究的目的:
- 介绍应用型编舞,这是一个正式的框架,以弥合编舞模型中的理论与实践之间的差距.
- 让开发人员能够使用熟悉的语法和抽象语义来编写和思考编舞作品.
- 提供一个编译程序,将舞蹈编排转化为服务导向计算 (SOC) 计算.
主要方法:
- 开发了一个新的正式框架,应用编舞.
- 引入了分为三个阶段的编译程序:翻译,投影和分发.
- 正式化并证明了编译阶段,确保行为对应.
- 利用了模块化编程特征的编舞类型.
主要成果:
- 成功地弥合了抽象的舞蹈模型和低层 SOC 实现之间的差距.
- 展示了一个编译程序,将基于名称的通信转换为与数据相关的消息.
- 在编译过程的每个阶段都证明了行为对应.
- 从舞蹈规范中保证了忠实服务导向实现的综合.
结论:
- 应用编排为设计和实施分布式系统提供了一个强大的框架.
- 拟议的编译程序确保生成的SOC实现的正确性和可靠性.
- 这项工作促进了正式的舞蹈模型在现实世界系统中的实际应用.
相关概念视频
Sequence Networks of Rotating Machines
91
A Y-connected synchronous generator, grounded through a neutral impedance, is designed to produce balanced internal phase voltages with only positive-sequence components. The generator's sequence networks include a source voltage that is exclusively in the positive-sequence network. The sequence components of line-to-ground voltages at the generator terminals illustrate this configuration.
Zero-sequence current induces a voltage drop across the generator's neutral impedance and other...
Zero-sequence current induces a voltage drop across the generator's neutral impedance and other...
91
Muscle Coordination and Action
1.3K
Muscle coordination is a complex and finely tuned process essential for smooth and purposeful movements like flexion, extension, adduction, abduction, and rotation. The human body orchestrates the actions of various muscles working in concert, each with a specific role. Four functional types describe how muscles work together: agonist, antagonist, synergist, and fixator.
Agonists
Agonist muscles, often called prime movers, are the primary muscles responsible for producing a specific movement....
Agonists
Agonist muscles, often called prime movers, are the primary muscles responsible for producing a specific movement....
1.3K
Correlation
11.6K
In statistics, two variables are said to be correlated if the values of one variable are associated with the other variable. Depending on the relationship between two variables, correlation can be of three types– positive correlation, negative correlation, and zero correlation.
Two variables, for example, a and b, are said to be positively correlated if both variables move in the same direction. In other words, a positive correlation exists between two variables, a and b, if:
Two variables, for example, a and b, are said to be positively correlated if both variables move in the same direction. In other words, a positive correlation exists between two variables, a and b, if:
11.6K
Correlations
32.6K
Correlation means that there is a relationship between two or more variables (such as ice cream consumption and crime), but this relationship does not necessarily imply cause and effect. When two variables are correlated, it simply means that as one variable changes, so does the other. We can measure correlation by calculating a statistic known as a correlation coefficient. A correlation coefficient is a number from -1 to +1 that indicates the strength and direction of the relationship between...
32.6K
Hierarchy of Motor Control
2.4K
The hierarchy of motor control refers to the different levels of organization and processing involved in controlling movement in the body. These levels range from higher cortical areas involved in planning and decision-making to lower spinal cord reflexes that respond automatically to external stimuli.
2.4K
Fixed Action Patterns
15.8K
A fixed action pattern (FAP) is a specific, hard-wired sequence of behaviors that occurs in response to an external stimulus, called a sign stimulus. The behavior is “fixed” because it is essentially unchangeable—proceeding similarly across individuals of a species every time it occurs.
15.8K


