US-Slovenia Workshop: Formalization of Modeling Languages

美国-斯洛文尼亚研讨会：建模语言的形式化

• 批准号: 0968596
• 负责人: Purushotham Bangalore
• 金额: --
• 依托单位: University of Alabama at Birmingham
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-06-01 至 2012-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0968596&HistoricalAwards=false
• 关键词: US; Slovenia; Workshop; Formalization; Modeling

OISE 0968596BryantThis computer science workshop will be held in Slovenia to examine formalization of modeling languages which are central to reliable software tools and based on sound, fundamental programming principles. Participating senior and junior U.S. researchers will meet counterparts from two leading Slovenian universities to discuss five major challenges associated with formalization and the construction of automated software tools from such formalizations. The goal of U.S. organizer, Barrett Bryant from the University of Alabama-Birmingham, and his counterparts, Marjan Hericko of the University of Maribor and Viljan Mahnic of the University of Ljubljana, is to foster long-term collaboration between members of the U.S. and European research communities who are identified with computing and communication foundations and information systems. The intent is to identify promising approaches to: 1) inventing more easily used behavioral semantics formalisms; 2) extending models and metamodels with semantics; 3) generating different modeling tools constructed with tool specific information and generative algorithms like debuggers or simulators; 4) mapping to formalisms in ways that are transparent to end-users of modeling language; and 5) inventing tools or model checkers that are otherwise not possible without formal semantics.Workshop results should help define an agenda for future study of fundamental concepts and techniques for more efficient automatic modeling approaches, programming language semantics, grammar-ware, and graph grammars. If successful, this could lead to wider consensus on the need for formalization in modeling language specification while strengthening cooperation between U.S. and European researchers who are language experts and software tools experts. This U.S.-Slovenian cooperative activity, organized in conjunction with the European Conference on Object-Oriented Programming, fulfills the overall objective of advancing scientific knowledge by enabling experts in the United States and Europe to combine complementary talents and share research resources in areas of strong mutual interest and competence. Broader impacts include new insights arising from the timely interaction as well as the early career introduction of participating U.S. graduate students to researchers who lead current efforts to understand the relationships between models, metamodels and grammars that are considered key to increasing productivity and reliability in software engineering.

OISE 0968596 bryant这个计算机科学研讨会将在斯洛文尼亚举行，以审查建模语言的形式化，这些语言是可靠软件工具的核心，并基于健全的基本编程原则。与会的美国高级和初级研究人员将与来自斯洛文尼亚两所一流大学的同行会面，讨论与形式化和从这种形式化中构建自动化软件工具相关的五大挑战。美国组织者、阿拉巴马大学伯明翰分校的巴雷特·布莱恩特（Barrett Bryant）及其同行、马里博尔大学的马尔扬·赫里科（Marjan Hericko）和卢布尔雅那大学的维尔扬·马尼克（Viljan Mahnic）的目标是促进美国和欧洲研究团体中从事计算、通信基础和信息系统研究的成员之间的长期合作。目的是确定有前途的方法：1)发明更容易使用的行为语义形式化；2)用语义扩展模型和元模型；3)生成使用工具特定信息和生成算法（如调试器或模拟器）构建的不同建模工具；4)以对建模语言的最终用户透明的方式映射到形式化；5)发明工具或模型检查器，否则没有形式化语义是不可能的。研讨会的结果应该有助于为未来更有效的自动建模方法、编程语言语义、语法软件和图语法的基本概念和技术的研究确定一个议程。如果成功的话，这可能会导致在建模语言规范中需要形式化的更广泛的共识，同时加强美国和欧洲的语言专家和软件工具专家之间的合作。这项美国-斯洛文尼亚合作活动是与欧洲面向对象编程会议一起组织的，通过使美国和欧洲的专家能够结合互补的人才，并在共同感兴趣和有能力的领域分享研究资源，实现了推进科学知识的总体目标。更广泛的影响包括从及时的互动中产生的新见解，以及参与的美国研究生早期职业介绍给研究人员，他们领导了当前的努力，以理解模型、元模型和语法之间的关系，这些关系被认为是提高软件工程生产力和可靠性的关键。