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