托勒密二世

托勒密二世星球

下载

  1. 开发版本-源代码和安装程序,每晚更新
  2. 托勒密二世11.0-源代码和安装程序,于2018年6月19日更新

托勒密二世[1][6]是一个支持以演员为导向的设计实验。演员是软件并发执行并通过消息通信的组件通过互连端口发送。模型是分层的行动者的相互联系。在托勒密二世时期,模型的语义是不是由框架决定的,而是由中的软件组件决定的该模型称为director,它实现了计算。托勒密计划培养了支持过程网络(PN),离散事件(DE),数据流(SDF),同步/无功,基于交会的模型,三维可视化,连续时间模型。模型中层次结构的每个级别都可以有自己的董事,可以由不同的董事组成按等级划分。该项目的主要重点是理解计算模型的异构组合由这些董事实现。控制器可以分层组合使用状态机模态模型 [2].层次结构连续时间模型与状态机的组合产生混合动力系统[3]; 同步/无功与状态的结合机器生成StateCharts[4](托勒密二世变种接近同步图表)。

托勒密二世自1996年开始发展;它是一个继承人托勒密经典,它是1990年开发的。的核心Ptolemy II是Java类和包的集合,分层为提供越来越具体的功能。内核支持抽象语法,具有端口和互连。名为Vergil的图形编辑器支持可视化编辑这个抽象语法。名为MoML的XML具体语法为模型提供持久文件格式[5].各种专业从这个框架中创建了一些工具,包括HyVisual公司(用于混合系统建模),开普勒(用于科学工作流程),VisualSense(VisualSense)(用于无线网络的建模和仿真),弧菌(用于传感器网络设计)和一些商业产品。关键零部件基础结构中包含一个参与者抽象语义支持不同计算模型与定义明确的语义;时间模型(特别是超感时间,使连续的动态和命令相互作用逻辑);以及支持类型检查的复杂类型系统推理和多态性。类型系统最近扩展以支持用户定义的本体[6].各种实验综合实现代码和抽象项目中包括验证。

托勒密二世目前的工作重点是访问器这是一种技术,通过开放的界面、开放的开发者社区和开放的技术库,使更广泛的公民、发明家和服务提供商社区能够访问物联网。托勒密二世包括Cape Code Accessor主机 [7].

托勒密被用作日蚀三角石[8].

工具书类

[1]Johan Eker、Jorn Janneck、Edward A.Lee、Jie Liu、XiaojunLiu、Jozsef Ludvig、Sonia Sachs、Yuhong Xiong。治理异质性——托勒密方法,IEEE会议记录, 91(1):127-144,2003年1月。
(托勒密项目的关键引证)

[2]爱德华·A·李。有限托勒密的状态机和模态模型、技术报告、EECS部门、,加州大学伯克利分校UCB/EECS-2009-151,2009年12月。

[3]E.A.Lee和H.Zheng,“混合系统的操作语义,“《混合系统学报:计算与控制》(HSCC)LNCS 3414特邀论文,瑞士苏黎世,2005年3月9日至11日,第25-53页。

[4]E.A.Lee,H.Zheng,“利用异构建模和嵌入式系统设计,“EMSOFT'072007年9月30日至10月3日,奥地利萨尔茨堡。

[6]克里斯托弗·布鲁克斯,爱德华·A·李。托勒密二世:一个用于实验面向演员的设计的开源平台2016年2月11日;2016年海报伯克利EECS年度研究研讨会(BEARS).

[6]M.-K.Leung、T.Mandl、E.A.Lee、E.Latronico、,C.Shelton、S.Tripakis和B.Lickly,“可扩展基于格点的本体论语义注释,“ACM/IEEE第12届国际会议关于模型驱动工程语言和系统(MODELS),丹佛,美国科罗拉多州,2009年10月4日至9日。

[7]伊丽莎白·拉特罗尼科(Elizabeth Latronico)、爱德华·A·李(Edward A.Lee)、马丁·洛斯特罗(Marten Lohstroh)、克里斯·沙弗(Chris Shaver)、阿明·瓦西塞克(Armin Wasicek)、马特·韦。Swarmlet的愿景,IEEE互联网计算,物联网软件建设专题,19(2):20-29,2015年3月。另请参见访问者出版物.

[8]克里斯托弗·布鲁克斯(Christopher Brooks)、埃尔文·德莱伊(Erwin De Ley)。Triquetrum:工作流计算模型,演讲或陈述,2016年3月8日;演示时间:2016年北美月食弗吉尼亚州雷斯顿。

概述

这个托勒密项目网页包含有关项目。工作在电气工程与计算机科学系加州大学伯克利分校.该项目由Edward Lee教授.该项目以下列名称命名托勒密,二世纪希腊天文学家、数学家和地理学家。

托勒密计划在软件方面有着悠久的历史非现场开发人员的贡献,请参见托勒密二世常见问题解答了解详细信息。

Openhub对托勒密二世的第三方评估表示,截至2019年8月关于托勒密二世:

  1. 208位贡献者已提交74846份承诺代表4001635行代码
  2. 主要是用Java编写的带有注释良好的源代码
  3. 具有完善、成熟的代码库由大型开发团队维护Y-O-Y提交减少
  4. 估计花费了1174年的时间(COCOMO模型)从1996年12月的第一次承诺开始以4天前的最近一次提交结束

最新发布和新闻

托勒密二世的发展来源总是通过Git提供.

这个夜间构建包括到安装程序的链接尽管我们鼓励人们从源代码库进行构建。

托勒密二世11.0.1于2018年6月18日提供。请参阅托勒密二世11.0页有关新功能的详细信息。

托勒密二世10.0.1于2014年12月17日提供。

托勒密二世10.0是托勒密II 8.0之后的第一个完整版本,因此包含了许多更改。

此次发行的主要推动力是成为托勒密书的伴侣:
克劳迪斯·托勒迈乌斯(Claudius Ptolemaeus),编辑,“使用托勒密二世进行系统设计、建模和仿真”,托勒密网,2014年。(包含在版本中,作为$PTII/doc/books/systems/PtolemyII_DigitalV1_02.pdf,但在SVN开发人员树中不存在。)

以下是此次发布的亮点。

本体论

托勒密二世本体包扩展了托勒密II型推理引擎,为托勒密模型上任意属性的一般静态分析提供了一个高效且可扩展的框架。该框架支持在本体图中指定为概念的属性,该本体图必须构造为格。通过一个物理维度本体的例子证明了这个框架的有用性。该本体将不同的信号标记为表示加速度、速度、位置和时间。在托勒密物理动力学模型中,可以使用本体分析自动推断输入和输出信号的维数属性。托勒密模型开发人员可以使用本体包定义自己的本体,用于结构和语义属性分析。这可以通过识别不兼容信号错误连接的时间来防止模型构建期间的接口连接问题。这项工作借鉴了编译器优化静态分析技术的概念,并将其应用于托勒密面向行动者的模型。

导出到Web

托勒密二世(Ptolemy II)提供了一种灵活的机制,用于从模型创建网页和构建web服务。更基本的机制是导出到web,它只是将模型作为网页提供给使用web浏览器进行浏览。这样的网页为模型提供了方便的访问和文档记录,这些模型将存档模型的结构和执行模型的结果。它可以用于共享有关模型或其执行的信息,而无需安装任何软件,因为普通的web浏览器就足够了。更有趣的是,该机制是可扩展和可定制的,允许创建相当复杂的网页。您可以将JavaScript中定义的超链接或操作与模型中的图标相关联。可以对模型中的单个图标或模型中的图标集进行定制。

CG代码生成器

托勒密二世10.0在$PTII/ptolemy/cg.

我们从中吸取了教训$PTII/ptolemy/codegen公司并将其应用于cg。特别是,cg更容易支持多个后端,而代码重复更少。cg代码生成器正在积极开发中,我们正在为大型系统生成代码。有关cg的详细信息,请参见$PTII/ptolemy/cg/README.html.

FSM/模态模型更新

请参见托勒密二世10.0以获取功能的完整列表。

托勒密二世8.0.1于2010年10月28日提供
托勒密二世8.0.1包括自早期版本:

  • 模型转换-模型转换工具为使用模型转换分析和转换参与者模型技术。(冯慧宁)
  • 托特拉(托勒密事件关系演员)领域-Ptera(Ptolemy Event Relationship Actor)域是一个离散事件计算模型。Ptera中的模型用节点和边的图表示,其中节点表示事件,事件之间的有向边表示调度关系。可以选择一个或多个事件作为计划的初始事件在模型时间0.0。触发事件时,它可能会执行某些操作,如果该事件有传出的边缘,则在非负延迟后调度这些边缘端点的事件。还可以选择一个或多个事件作为最终事件。最后事件的触发导致了事件执行其操作后要清空的队列,因此无法再处理任何事件。(冯慧宁)
  • 因果关系分析-托勒密二世8.0更新了因果分析框架。我们发现了当前的性能问题内模态模型的非保守因果分析离散事件(DE)系统。在这个方案中,因果关系分析是每次有模式时,在运行时对整个模型执行模型的变化。这种机制成本太高。我们是在a中执行因果关系分析的调查技术编译时各种模式的组合方式时间。不幸的是,暴力解决方案会导致指数级的结果对因果关系分析结果的记忆要求越来越高。

    我们设计、实现并审查了一个接口,该接口定义了本文描述的行动者网络因果关系接口叶舟爱德华·A·李。因果关系演员网络接口,ACM公司嵌入式计算系统学报(TECS),7(3):1-352008年4月。
    (叶周,爱德华·A·李)

  • 连续域和模态域

    托勒密二世8.0包括对模态模型和使其工作的底层有限状态机基础结构可预测且跨域一致。(郑海阳,爱德华A.Lee)

  • 托勒密二世8.0.beta于2010年2月26日提供

    托勒密二世7.0.1于2008年4月4日提供。
    托勒密二世7.0.1包括

  • 托勒密二世C代码生成
    托勒密C代码生成器可以为SDF、FSM和HDF型号。任意C代码可以嵌入Java actor中。然后可以将整个模型转换为C代码,并使用使用Java actor。
    主要Codegen开发人员:Gang Zhou、Man-kit Leung。
    Codegen贡献者:Christopher Brooks、Teale Fristoe、Edward A.Lee、Ye Zhou
  • 普塔隆
    Ptalon主要开发商:Adam Cataldo
    撰稿人:Elaine Cheong
    面向角色的设计是嵌入式系统中一种常见的设计策略系统设计,其中参与者是并发组件通过端口相互发送信号进行通信。这样的系统经常用框图建模,其中块表示系统,块之间的线或箭头表示信号。示例包括Simulink、LabView和VHDL/Verilog。此类环境中的一个常见问题是管理复杂性,尤其是当设计变大时。大多数以演员为导向的设计环境允许组成层次结构或系统(块)其他系统(块)。为了更进一步,我们开发Ptalon编程语言,允许用户用其他组件参数化组件。
  • 回溯
    主要回溯开发者:Thomas Huining Feng
    回溯功能使系统能够恢复其旧的状态。它在实践中有许多应用,尤其是对高性能分布式计算非常重要。
  • 连续域:
    主要连续域开发商:郑海阳(Haiyang Zheng)、爱德华·A·李(Edward A.Lee)
    连续域是对连续时间(CT)的重新设计具有严格语义的域。
  • 托勒密二世7.0.beta于2008年2月7日提供

    托勒密二世6.0.2于2007年2月4日提供
    托勒密二世6.0包括

  • 托勒密二世C代码生成

    主要开发商:Jackie Leung、Gang Zhou、Ye Zhou和Edward A.Lee,克里斯托弗布鲁克斯
    托勒密二世现在可以为SDF、FSM和HDF模型生成C代码。这个新的代码生成器由演员模板(称为助手)组成包含缝合在一起的C代码存根。只有一个子集的参与者有助手,因此只能转换模型的子集创建新的助手是相当容易的。代码生成器已编写为易于扩展到C以外的语言。

  • 这个Rendezvous域:
    主要作者:Thomas Huining Feng,Edward A.Lee
    在托勒密二世的会合域中,每个参与者都在它自己的控制线,演员之间的沟通在集合地点。如果演员准备发送消息,它会一直阻塞,直到接收参与者准备好接收它。类似地,如果参与者已准备好接收消息,它将阻塞,直到发送参与者已准备好发送。

    此域支持有条件和多路会合。在有条件约会中,演员愿意与其他几个演员中的任何一个。在多路会合中,演员需要同时与多个其他演员会合。使用条件集合时,选择哪个集合一般来说,发生是不确定的。

    计算模型基于通信序列过程模型最早由霍尔于1978年提出。基于集合的通信也称为同步消息传递,但我们避免使用此术语,以避免与SR(同步/无功)混淆域。

  • 弧菌 TinyOS程序的可视化编辑器、代码生成器和模拟器.
    主要作者:Elaine Cheong
    弧菌是TinyOS和托勒密二世之间的接口为TinyOS开发人员提供图形用户界面。用户可以将TinyOS程序创建为框图,并使用Viptos为任何TinyOS支持的目标硬件生成代码。用户还可以在Vipton中模拟基于TinyOS的节点的异构网络。Vipton包括一个工具,用于将现有TinyOS/nesC组件库作为图形块(nc2moml)提供,以及另一个工具用于将现有的TinyOS/nesC应用程序转换为Vipton模型(ncapp2moml)。
    注:Vipton在Windows安装程序中不可用,弧菌必须从源头构建。(Viption安装说明)

  • 使用Jini的分布式SDF域
    作者:Daniel Lazaro Cuadrado(奥尔堡大学)。
    Distributed-SDF域是现有SDF的扩展版本使用以下命令以分布式方式执行模拟的域基尼。这个托勒密二世6.0.2发行说明包括新功能和演员的列表。
  • 托勒密二世6.0.1于2006年1月15日提供。

    托勒密二世6.0.beta于2006年10月31日提供。

    弧菌1.0.beta于2006年10月30日发布。Viptos是微型操作系统托勒密二世。
    微型操作系统是一个传感器网络节点事件驱动操作系统设计资源非常有限(例如,8K字节的程序内存,512字节RAM)。例如,在伯克利MICA尘粒,是小型无线传感器节点。
    Viptos1.0.beta版本是一个仅适用于源代码的版本在Linux和Windows下。

    托勒密二世6.0.alpha于2006年10月2日提供。

    弧菌5.1-alpha于2005年11月1日发布。弧菌是微型操作系统托勒密二世。
    微型操作系统是一个为传感器网络节点设计的事件驱动操作系统资源非常有限(例如,8K字节的程序内存,512字节RAM)。例如,在伯克利MICA尘粒,是小型无线传感器节点。
    Viptic5.1-alpha版本是一个仅适用于源代码的版本仅在Linux下。在Windows下,Viptic不会运行TinyOS模型,尽管模型是可见的。

    HyVisual 5.0.1软件于2005年10月7日发布。
    此版本修复了5.0版本中的一些错误,包括一个独立的HyVisual-5.0.1安装程序。

    托勒密二世5.0.1于2005年10月5日提供。
    这只是一个错误修复版本,没有添加新功能。
    请参阅托勒密二世5.0.1第页了解详细信息。

    托勒密二世5.0于2005年7月21日提供
    托勒密二世5.0包括

  • 动态数据流(DDF)域,在其中激发参与者对可用输入数据的响应。
  • 混合系统建模。混合系统是模态模型的一种特殊情况,其中有限状态机器(FSM)与连续时间(CT)模型相结合,以得到连续时间和离散事件混合模型。
  • 随机混合系统,将随机行为添加到混合离散事件的连续时间模型。
  • 异构数据流(HDF),是允许动态更改的同步数据流(SDF)不牺牲静态的生产和消费模式行程安排。
  • HyVisual 5.0-阿尔法于2005年3月4日提供
    HyVisual是基于托勒密二世的混合系统可视化建模器。
    离散事件和连续时间域的语义在HyVisual-4.0.2和HyVisual5.0-alpha之间略有变化。
    HyVisual的语义在以下论文中进行了描述:

    Edward A.Lee和Haiyang Zheng,”混合系统的操作语义,“邀请论文《混合系统学报:计算与控制》(HSCC)LNCS 3414,瑞士苏黎世,2005年3月9日至11日。

    托勒密二世4.0.1于2004年8月4日提供
    托勒密二世4.0.1包括

  • 无线传感器网络建模
  • 层次类、子类和内部类
  • 生命周期管理参与者,即控制关联模型执行的参与者。本例使用一个模型来控制另一个模型的重复运行。
  • VisualSense 4.0.1于2004年8月4日提供
    VisualSense是无线传感器的可视化编辑器和模拟器网络系统。

    旧版本

    HyVisual 4.0.2软件于2004年10月28日提供。
    HyVisual是基于托勒密二世的混合系统可视化建模器。

    托勒密二世3.0.2于2003年8月21日提供。

    托勒密二世3.0包括HSIF到托勒密的转换器表达式语言已被重新编写,代码生成器已更新。它还包括一组成熟和实验领域,以及更多比以前版本更全面的演员库。

    海威2.2于2003年1月28日提供。HyVisual是基于托勒密二世的混合系统可视化建模器。

    托勒密二世2.0.1于2002年8月7日提供

    托勒密二世的其他最新消息可以在项目第页。

    托勒密二世2.0.1是第一个包含有限将生成类的代码生成工具的原型非分层SDF模型的文件。此版本还包括支持模态模型、定时多任务域和同步反应域。

    该版本有多种格式,请参阅托勒密二世2.0.1页.

    托勒密二世1.0.1于2001年3月19日提供。

    托勒密二世1.0.1是第一个包含Vergil的主要版本支持托勒密方块图编辑的图形用户界面II型号。它还包括一组成熟的实验领域,以及比以前版本更全面的演员库。Ptolemy II 1.0.1支持名为MoML的XML模式,用于指定基于组件的模型。

    该版本包括在线演示下载.

    托勒密二世0.4贝塔于2000年2月7日提供。托勒密二世0.4beta版是托勒密II的第二个版本,包括具有足够质量和体系结构的域、参与者和小程序用作开发模型的稳定性。域多形性演员库,位于ptolemy.actor.lib和ptolemy_actor.gui中包装仍然很小,但相当坚固。

    Ptolemy II 0.4beta支持名为MoML的XML语言,用于指定基于组件的模型。托勒密二世设计文件第2章描述了如何使用MoML创建模型。

    该版本包括在线演示下载.

    托勒密二世0.3于1999年8月2日提供。此版本包括域、actor和applet用作开发和广泛文档的模型。

    这个演示我们在1999年托勒密小型会议,在线提供。

    我们用于演示的托勒密二世0.2devel快照版本也可用于下载.