US-Slovenia Workshop: Formalization of Modeling Languages

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

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.