下载
- 开发版本-源代码和安装程序,每晚更新
- 托勒密二世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月关于托勒密二世:
- 208位贡献者已提交74846份承诺代表4001635行代码
- 主要是用Java编写的带有注释良好的源代码
- 具有完善、成熟的代码库由大型开发团队维护Y-O-Y提交减少
- 估计花费了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型推理引擎,为托勒密模型上任意属性的一般静态分析提供了一个高效且可扩展的框架。该框架支持在本体图中指定为概念的属性,该本体图必须构造为格。通过一个物理维度本体的例子证明了这个框架的有用性。该本体将不同的信号标记为表示加速度、速度、位置和时间。在托勒密物理动力学模型中,可以使用本体分析自动推断输入和输出信号的维数属性。托勒密模型开发人员可以使用本体包定义自己的本体,用于结构和语义属性分析。这可以通过识别不兼容信号错误连接的时间来防止模型构建期间的接口连接问题。这项工作借鉴了编译器优化静态分析技术的概念,并将其应用于托勒密面向行动者的模型。
托勒密二世(Ptolemy II)提供了一种灵活的机制,用于从模型创建网页和构建web服务。更基本的机制是导出到web,它只是将模型作为网页提供给使用web浏览器进行浏览。这样的网页为模型提供了方便的访问和文档记录,这些模型将存档模型的结构和执行模型的结果。它可以用于共享有关模型或其执行的信息,而无需安装任何软件,因为普通的web浏览器就足够了。更有趣的是,该机制是可扩展和可定制的,允许创建相当复杂的网页。您可以将JavaScript中定义的超链接或操作与模型中的图标相关联。可以对模型中的单个图标或模型中的图标集进行定制。
托勒密二世10.0在$PTII/ptolemy/cg
.
我们从中吸取了教训$PTII/ptolemy/codegen公司
并将其应用于cg。特别是,cg更容易支持多个后端,而代码重复更少。cg代码生成器正在积极开发中,我们正在为大型系统生成代码。有关cg的详细信息,请参见$PTII/ptolemy/cg/README.html
.
请参见托勒密二世10.0以获取功能的完整列表。
托勒密二世8.0.1于2010年10月28日提供
托勒密二世8.0.1包括自早期版本:
托勒密二世8.0.beta于2010年2月26日提供
托勒密二世7.0.1于2008年4月4日提供。
托勒密二世7.0.1包括
托勒密二世7.0.beta于2008年2月7日提供
托勒密二世6.0.2于2007年2月4日提供
托勒密二世6.0包括
托勒密二世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包括
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快照版本也可用于下载.