目标是为系统架构师、软件工程师和软件开发人员提供描述应用程序前端主要维度的交互流模型的定义工具。用于Web和移动应用程序开发的各种不同平台且需要快速原型设计和多个版本的评估。模型驱动开发(MDD)以文本或视觉语言来代表高级应用程序,可用于通过模型到模型、模型到代码自动转换最终生成产品。我们描述了IFMLEdit.org,一个开源的在线MDD工具,用于从IFML规范自动生成Web和移动应用程序的快速原型。该工具还支持从IFML到PCN(petri网的一个变体)的语义映射,用于模型模拟和检查。 地方但没有“父母”被称为顶级地图。没移动应用程序的研究-数控滚圆机弯管机张家港电动液压弯管机数控弯管机有“孩子”的地图中记号数量被定义为Petri网，而带有“孩子”的地图中记号数量被定义为孩子记号数量的最大值。过渡从一组位置图中删除记号并将记号添加到其他人上面。当所有源位置图至少具有所需记号数时将启用转换，本文有公司网站张家港全自动切管机 网站采集转载中国知网资源整理! http://www.qieguanjixie.com从没有“孩子”的地图中删除记号会将数量减少一个，同时从具有子级的位置图中删除记号则清空所有记号。为了避免非确定性，只能在没有“孩子”的地方图表中插入记号。作为减少弧的组合的一种方法，引入了默认弧，它将父位置图连接到一个或多个后代。图2显示了对应于空IFML模型的PCN。图2一个空的应用程序的PCCN包含两个称为打开和关闭的转换。初始标记包括等待中的一个记号和一个记号，描述用户可以打开最初不在视图中的应用程序。打开之后转移从应用程序中移除并添加一个记号，并将记号从开始移到等待，禁用自身并启用关闭。关闭转换将记号从应用程序移动到ViewApplication，并将记号从等待转移到开始，禁用自身并启用打开，从而将应用程序状态重置为默认的初始标记。图3显示了它的映射：PCN通过引入一个名为“Mails”的应用程序的子进程来扩展。邮件地图表有两个孩子的底部图表。两个ViewMails状态表示ViewContainer是否在视图中。打开转换的触发添加了一个记号给ViewMails，这意味着ViewContainer被显示。间的导航过程应用程序顶部位置图包含两个地图图表邮件和联系人，每个图表有两个子页面底部图表（移动应用程序的研究-数控滚圆机弯管机张家港电动液压弯管机数控弯管机本文有公司网站张家港全自动切管机 网站采集转载中国知网资源整理! http://www.qieguanjixie.com