没有合适的资源?快使用搜索试试~ 我知道了~
首页EVL:一种通用事件处理的高阶函数语言
EVL:一种通用事件处理的高阶函数语言
0 下载量 23 浏览量
更新于2024-06-18
收藏 779KB PDF 举报
EVL(Event-Valued Logic)是一种创新的类型化高阶函数语言,它旨在解决通用事件处理的问题。本文由桑德拉·阿尔维斯、玛丽贝尔·费尔南德斯和米格尔·拉莫斯三位专家共同提出,发表在《理论计算机科学电子笔记》第351期(2020年3-23卷)。EVL的设计初衷是为了扩展传统事件模型,这些模型常用于数据库管理、并发性、反应式系统和网络安全等领域,特别是针对访问控制中的义务处理。 传统的事件概念局限于特定领域,而EVL通过引入通用事件的概念,使得事件处理更为灵活和广泛。它将事件规范表示为记录类型,利用多态性来输入和处理各种事件。这种设计使得EVL能够支持复杂事件处理(CEP)中的高级功能,允许定义参数化的函数,从而在不牺牲可扩展性和容错性的同时,提供更清晰的语义和形式化的结构。 在安全应用中,尤其是访问控制模型中,EVL的重要性尤为显著。它允许根据系统中发生的事件动态地决定资源的访问权限,这对于义务管理系统至关重要。与基于类别访问控制和义务元模型(CBACO)等先前工作不同,EVL通过类型化事件和事件间隔,提供了更为精确和结构化的义务处理方式。 EVL的关键特性包括其最小化的设计,强调高阶函数,以及在处理复杂事件流时的灵活性。它不仅适用于现实生活中的应用场景,还为理解和扩展现有的CEP技术提供了新的视角。由于该论文是开放获取的,读者可以在www.sciencedirect.com或www.elsevier.com/locate/entcs找到全文,以便深入了解EVL的语言细节和实际应用示例。EVL为事件驱动系统的编程语言设计开辟了新的可能性,有助于提升系统的理解和可维护性。
资源详情
资源推荐
![](https://csdnimg.cn/release/download_crawler_static/88618263/bg5.jpg)
S. Alves
等人
/
理论计算机科学电子笔记
351
(
2020
)
3
7
∀
我们的优势
联系
我们
U
}{}
∈
{
形态记录类型
[24]
。这扩展了
Damas
和
Milner [ 13 ]
的参数多态的标准类型系统。在
Ohori的系统中
,多态类型由形式为
α
::
κ.σ
的类型模式定义,其中类型变量
α
被限
制为一组称为
kind
的类型
κ。我们假设一个常数
t
y p
es
的有限集合B
和
一
个type变量的
连续
表
集合
V
,
我们
将
使用
b
,
b
1
,
. . .
,
α
,
α
1
,
. .
以及κ
,
κ
1
,
. 分别表示常量类
型、类型变量和种类。常量类型的集合B将始终包含类型bool。
定义2.4类型
σ
和种类
κ
的
集合由下面的文法指定。
σ::= τ |α::κ.σ
τ::= α|B|τ→τ|
{1
:τ
,
...
,
l:
τ
}
ρ
::=
α|B|τ→ ρ
γ
::=
τ→
{1
:
ρ
,
.
,
l
:
ρ}|
{1
:
ρ
,
.
,
l:
ρ}
κ::= U |{
{1
:τ
,
.
,
l:τ
}}
根据Damas和Milner更确切地说,σ代表所有类型,τ代表所有单型。 我们用ρ(包
含在τ中)表示事件场的类型,用γ(也包含在τ中)表示事件定义的类型。 这种区
分对于充分地键入事件定义是必要的,并且其目的将在类型系统的定义中变得清楚
我们用的是
表示每一种可能的类型,以及类型
l1
:τ
1
,
.
,
l
n
:τ
n
表示至少包含字段l
1
,
.
,
ln
,具
有类型
τ
1
,
.
,
τ
n
,分别。
我们不允许嵌套事件,为此,我们明确区分了事件定义的类型,用γ表示,它们
是用
τ
表示的一般类型的子集。但是,我们允许一般类型的嵌套记录。下面是一个使
用嵌套记录类型键入的术语
{
empty
=
f a l s e
,
head
=
1
,
t a i l
= {
空
=
f a l s e
,
head
=
2
,
t a i l
= {
empty
=
t r u e
}
。
设F在函数上的范围是从有限个标签集到类型。我们写
{F}
,
{{F}
}
分别表示由
F
标识的记录类型和由
F
标识的记录种类对于两个函数
F1
和
F2
,
我们将函数F写成
F1
±
F2
,使得
dom
(F)
=dom
(
F1
)
≠
dom
(
F2
),并且使得对于
l
∈
dom
(
F
),如果
l
∈
dom
(
F1
),
则
F
(
l
)
=
F1
(
l
)
;
否则
F
(
l
)
=
F2
(
l
)。
记法:
按照上面介绍的对的记法,我们写为(
σ
1
×
σ
2
)
对于对应于{fst:
σ
1
,
snd:
σ
2
}的产品类型。
类型化环境
Γ
是一组语句
x
:
σ
,其中所有主体
x
都是不同的。我们写
dom
(
Γ
)
来表示类型化环境
Γ=
x
1
:
σ
1
,
.
的域,
xn
:
σ
n
,这是集合 x
1
,
.
,
x
n
.
变量的类
型
x
i
dom
(
Γ
)是
Γ
(
xi
)
=
σ
i
,我们写
Γ
x
来表示
Γ
x
:
Γ
(
x
)
.
亲切的环境
K
是一组语句α
::
κ。 同样地,一个友善的环境
K
=
{
α
1
::
κ
1
,
.
,
α
n
::
κ
n
}
,记为
dom
(
K
),是集合
{
α
1
,
...
,
α
n
}
和 当
α
i
∈
dom
(
K
)时,
K
(
α
i
)
=
κ
i
.
出现在类型
/
种类中的类型变量
α
剩余22页未读,继续阅读
![gz](https://img-home.csdnimg.cn/images/20210720083447.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![xlsx](https://img-home.csdnimg.cn/images/20210720083732.png)
![whl](https://img-home.csdnimg.cn/images/20210720083646.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![whl](https://img-home.csdnimg.cn/images/20210720083646.png)
![whl](https://img-home.csdnimg.cn/images/20210720083646.png)
![whl](https://img-home.csdnimg.cn/images/20210720083646.png)
![whl](https://img-home.csdnimg.cn/images/20210720083646.png)
![whl](https://img-home.csdnimg.cn/images/20210720083646.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 5
- 资源: 2万+
上传资源 快速赚钱
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- Vue实现iOS原生Picker组件:详细解析与实现思路
- Arduino蓝牙小车:参数调试与功能控制
- 百度Java面试精华:200页精选资源涵盖核心知识点
- Swift使用CoreData填坑指南:CoreData在Swift 3.0的变化
- 微距离无线充电器创新设计及其实验探索
- MTK Android平台开发全攻略:44步详解流程
- RecyclerView全面解析:替代ListView的新选择
- Android开发:自动适配中英文键盘解决方案
- Android调用WebService接口教程
- Android开发:BitmapUtil图片处理全解析与实例
- Android多线程断点续传实现详解
- PCA算法在人脸识别会议签到系统中的应用
- EventBus 3.0:Android事件总线详解与实战应用
- Android FileUtil:全面解析文件操作实用技巧与实例
- RecyclerView添加头部和尾部实战教程
- Android实现微博滑动固定顶部栏实战与优化
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)