Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
我们给一个简短的报告的贡献，并在第三届国际研讨会上的关键系统开发使用建模语言（CSDUML'04）的一些讨论和结论。
2014-09-22 cs.SE
Dealing with Data Challenges when Delivering Data-Intensive Software Solutions
数据密集型解决方案开发需求的预期增长推动了软件、数据和领域专家在多学科数据密集型软件团队（MDST）中进行有效协作的需求。我们通过采访MDST中的24位从业者进行了一项社会技术基础理论研究，以更好地了解这些团队在提供数据密集型软件解决方案时面临的挑战。访谈提供了不同类型角色的观点，包括领域，数据和软件专家，并涵盖了从团队成员，团队经理到执行领导的不同组织级别。我们发现，这些团队的主要关注点是处理与数据相关的挑战。在本文中，我们提出了处理数据挑战的理论，解释了MDST面临的挑战，包括获取数据，对齐数据，理解数据，解决数据质量问题;这些挑战发生的背景和条件、导致挑战的原因以及相关后果，如必须开展补救活动，无法实现预期成果，对交付的解决方案缺乏信任。我们还确定了应对挑战的应急措施或策略，包括实施数据治理等高层次战略方法，实施数据质量可视化和监控工具等新工具和技术，以及通过专注于人员动态、沟通技能发展和交叉技能来建立更强大的团队。我们的研究结果对从业者和研究人员有直接的影响，可以更好地了解数据挑战的情况以及如何应对这些挑战。
2023-03-24 cs.SE
The Sustainability Assessment Framework Toolkit: A Decade of Modeling Experience
本文介绍了可持续性评估框架（SAF）工具包，该工具包基于与工业伙伴十余年的合作经验开发，旨在支持软件架构师和设计决策者将可持续性作为软件质量属性进行建模与测量，并总结了经验教训及未来扩展计划。
2024-10-19 cs.SE
Combining Design Thinking and Software Requirements Engineering to create Human-centered Software-intensive Systems
有效的需求工程是软件密集型开发项目中的一项重要活动。设计思维以人为中心的工作模式被认为是在设计创新系统时补充这些活动的有力方式。研究已经取得了很大的进展，说明了使用需求工程设计思维的好处。然而，如何真正实现两者的结合仍然是一个大问题。在这一章中，我们贡献了一个基于工件的模型，集成了创新的软件密集型系统的设计思维和需求工程。从我们的研究和项目经验，我们建议三个战略，剪裁和整合设计思维和需求工程互补的协同作用。
2021-12-10 cs.SE
A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling
软件密集型系统（SoS）是指管理和操作独立的系统（即，组成系统），这些系统为实现全球使命而协同工作。由于一些SoS是为关键领域（如医疗保健和运输）开发的，因此越来越需要达到更高的质量水平，这通常证明采用正式和半正式方法（即，语言和技术）的建模要求。已经采用了各种方法，但仍然缺少详细的景观，并且不清楚它们是否适合于解决SoS的固有特性。本文的主要贡献是通过报告SoS需求建模的最新技术来呈现这一前景。这个景观是通过系统的映射建立的，并显示了正式和半正式的方法，从基于模型的属性为导向的。它们中的大多数已经在安全关键域中进行了测试，其中诸如有限状态机之类的正式方法针对关键系统部件，而半正式方法（例如，UML和i*）处理非关键部分。虽然正式和半正式建模是一项基本活动，但体系结构需求的质量不仅取决于使用的形式，还取决于支持工具/机制的可用性，例如，支持体系结构生命周期中的需求验证
2020-07-14 cs.SE cs.SY eess.SY
Model-driven Engineering IDE for Quality Assessment of Data-intensive Applications
本文介绍了一个用于数据密集型云应用程序（DIA）的模型驱动工程（MDE）集成开发环境（IDE），该环境具有迭代质量增强功能。作为H2020 DICE项目（ICT-9-2014，id 644869）的一部分，正在构建一个框架，该框架由一套开发用于支持新MDE方法的工具组成。其中一个工具是IDE，它作为方法的前端，在集成框架的其他工具方面发挥着关键作用。IDE使设计人员能够从一般应用程序的体系结构及其属性和QoS/QoD注释生成部署模型。除了设计人员之外，管理员、质量保证工程师或软件架构师也可以运行和检查设计和分析工具的输出，以便在迭代过程中评估DIA质量。
2017-07-19 cs.SE
BP Variability Case Studies Development using different Modeling Approaches
业务流程建模中的可变性已经被不同的作者从文献中面对。根据每个作者面临的建模问题的上下文，我们找到不同的方法（C-EPC，C-YAWL，FEATURE-EPC，PESOA，PROVOP或WORKLETS）。在这份报告中，我们提出了四个最具代表性的方法（C-EPC，PESOA，PROVOP和WORKLETS），这些方法是通过文献中发现的不同案例研究提出的。
2011-02-28 cs.SE
Mapping Business Process Modeling constructs to Behavior Driven Development Ubiquitous Language
行为驱动开发（BDD）是一种规范技术，通过将这些需求的文本描述与自动化测试相连接，自动证明所有功能需求都被源代码正确处理。鉴于在某些领域，在特殊的企业信息系统中，需求是由业务流程建模确定的-它使用底层业务流程的图形符号，本文旨在提供一个映射，从形成最常见的BPM语言的基本结构到行为驱动开发结构。
2010-06-25 cs.SE
A System Modeling Approach to Enhance Functional and Software Development
本文提出了一种基于SysML的方法，以提高功能和软件开发过程中的工业环境。最近的技术变化，如电动汽车和重型工程机械自动化程度的提高，导致嵌入式软件的复杂性增加。因此，需要新的开发方法来解决灵活的功能开发，增强开发团队之间的沟通，并保持从设计概念到软件产品的可追溯性。所讨论的方法已经在开发新的传输系统（部分电气化）及其功能的背景下进行了实验。虽然建模方法是一个正在进行的工作，一些初步的成功，以及现有的差距指向未来的工作突出。
2019-06-20 cs.SE
A Novel Re-Targetable Application Development Platform for Healthcare Mobile Applications
中央电源单元CPU性能的快速增强使智能手机和可穿戴设备的计算密集型医疗保健移动应用程序的开发成为可能。然而，当所考虑的目标设备操作系统OS的数量很大时，计算密集型移动应用在应用移植过程期间需要大量的应用开发时间。在本文中，我们提出了一种新的可重定向的应用程序开发平台的医疗移动应用程序，它减少了应用程序的开发时间，保持算法的性能。尽管应用程序目标OS的数量增加，但在所提出的可重定向平台中，应用程序移植过程中的代码转换步骤所需的时间量保持不变。实验结果表明，我们提出的可重定向平台提供了减少应用程序的开发时间相比，传统的平台，保持移动应用程序的性能。
2019-03-14 cs.CY cs.SE
Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software
在工业环境中，使用特定领域的建模来开发复杂的（网络物理）系统正在获得越来越多的认可。领域特定的建模允许对复杂的系统和数据进行抽象，以实现更高效的系统设计、开发、验证和配置。然而，没有现有的（Meta）建模框架可以使用合理的努力，在认证的软件，到目前为止，无论是系统的开发，也不为系统功能的执行。对于在安全关键过程或系统中使用来自特定领域建模的（开发）工件，需要通过后续（手动）验证或使用（预）合格软件来确保其正确性。现有的元语言通常包含很难或不可能以可限定的方式实现的建模元素，导致大量的手动，随后的认证工作。因此，我们的目标是开发一个（Meta）建模框架，可用于认证的软件。这可以显著减少安全关键系统的开发工作，并充分发挥特定领域建模的优势。在这篇博士论文中考虑的框架组件包括：（1）一个基本的元语言，（2）一个可限定的运行时环境，（3）一个合适的持久性。基本的\mbox{(meta-)}建模语言主要基于UML标准，但通过多层建模概念（如深度实例化）进行了增强。支持可能的资格，元语言是使用高度限制，但正式可证明的程序设计语言Ada SPARK实现的。
2021-11-08 cs.SE
Software Development Processes in Ocean System Modeling
科学建模提供了现实世界系统的数学抽象，并构建软件作为这些数学抽象的实现。海洋科学是一门多学科学科，发展科学模型和模拟作为海洋系统模型，是一项重要的研究资产。在软件工程和信息系统研究中，建模也是一项必不可少的活动。特别地，用于业务过程管理和系统工程的业务过程建模是表示企业的过程的活动，使得当前过程可以被分析、改进和自动化。本文采用过程建模方法分析海洋科学软件开发过程，以提高海洋系统模型的工程化水平，更好地理解海洋科学中海洋系统模型的开发和维护。我们在半结构化访谈中采访了领域专家，通过主题分析对结果进行了分析，并通过业务流程建模符号BPMN对结果进行了建模。作为结果建模的过程描述了领域中软件开发的期望状态，这些状态通常尚未实现。这使得现有的基于仿真的系统工程的过程中，以改善这些过程模型的帮助。
2021-08-19 cs.SE
Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling
基于模型的开发，特别是MDA [1]，[2]已经承诺特别适合复杂，异构和大型软件系统的开发。然而，到目前为止，MDA在很大程度上未能实现这一承诺，因为工具支持不足和笨拙，方法论不适合有效的开发。本文讨论了当前MDA方法中的问题，以及需要做些什么来使MDA适合超大型分布式系统。
2014-09-22 cs.SE
Guided Support for Collaborative Modeling, Enactment and Simulation of Software Development Processes
近年来，分布式软件开发的重要性在软件工程社区中得到了越来越多的关注。经济约束、越来越多的开发活动外包以及公司日益增长的空间分布带来了如何组织分布式开发的挑战。在这篇文章中，我们认为，一个共同的过程理解是成功的分布式开发所必需的。集成的过程规划、指导和实施被视为使技术能够达到独特的过程视图。我们勾勒出一个综合的软件过程建模环境SPEARMINT和XCHIPS系统基于Web的过程支持。因此，规划人员和开发人员通过电子过程指南（EPG）获得了协作规划和制定支持以及高级过程指南。我们描述了使用这种集成环境的学习系统的开发使用的案例研究。
2014-02-18 cs.SE
User Centered Development of Agent-based Business Process Models and Notations
我们讨论了以用户为中心的业务流程建模符号的开发问题。在我们的研究中心有一个功能齐全的多企业业务流程平台（ME-BPP）的概念的基础上，基于代理的业务流程，它建立在面向主题的业务流程管理方法（S-BPM）的正式基础。该平台基于云技术使用商业服务实现。此外，我们开发了一个“块建模”技术，以找到一个语义透明的建模符号，可以使用新手用户建模面向主题的业务流程（S-BPM）模型。由于这是正在进行的研究，仍然存在严重的开放问题。但是，所提出的方法打破了一些典型的过程建模符号的规则，并希望刺激创新。此外，我们要继续我们的研究，对我们的建模方法，以用户为中心的“语法和语义自由”的建模技术，以开发用户和特定领域的建模符号的增强。
2014-05-13 cs.SE
Modeling Software Development Methodologies: A Logic Based Approach
在过去的二十年里，软件开发行业的增长趋势使软件工程的不同方面对计算机科学研究社区更加有趣。软件开发生命周期是影响软件开发项目成败的重要因素之一。由于每种软件开发方法都相对地提供了自己的软件开发生命周期，因此将软件开发生命周期编码在工作流表示语言中可以帮助开发人员正确地管理他们的软件项目。此外，这种编码也可以在CASE工具中使用。在这份报告中，我们认为软件开发生命周期作为一个工作流程，可以表示为语义Web和基于规则的语言。这样的考虑让我们分析生命周期的属性。具体来说，我们采取了著名的面向代理的软件开发方法，并表明其相应的生命周期可以指定的事务逻辑容易和简洁。最后，事务逻辑中紧凑而清晰的生命周期表示可以在CASE工具中使用，以指导软件开发人员。
2016-08-03 cs.SE
Delta-oriented Architectural Variability Using MontiCore
软件体系结构建模是软件开发过程的基本组成部分。软件组件的重用和软件拓扑的早期分析可以降低开发成本并提高软件质量。将可变性建模概念集成到体系结构描述语言（ADL）中，对于开发对软件质量有高要求的多样化软件系统是必不可少的。在本文中，我们提出了三角洲建模到现有的ADL MontiArc的集成。Delta建模是一种独立于语言的可变性建模方法，支持主动式、被动式和提取式产品线开发。我们展示如何？- MontiArc是一种基于delta建模的体系结构可变性显式建模语言，使用DSL开发框架MontiCore实现为领域特定语言（DSL）。我们还演示了如何MontiCore的语言重用机制提供了有效的手段来实现？- MontiArc工具实现。我们评估？- Monti-Arc模型与注释性变异模型的比较。
2014-09-08 cs.SE
The Case for Vibe Modeling: A Missing Step in AI-Based Trustworthy Software Development
University of Bayreuth（拜罗伊特大学）；University of Regensburg（雷根斯堡大学）
本文提出在AI辅助软件开发中引入氛围建模作为轻量中间抽象，通过学生调查验证其在提升LLM输出理解、降低验证工作量及增强信任方面的潜力，为可信AI软件工程研究提供方向。
2026-07-31 cs.SE
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
本文提出QuanUML，一种扩展UML的量子软件建模语言，通过引入量子比特和量子门等构造支持量子及混合系统建模，并在长程纠缠和Shor算法上验证了其模型驱动开发的有效性。
2025-06-05 cs.SE
Roles in Software Development using Domain Specific Modeling Languages
领域特定建模语言（DSML）通过在DSML中建模需求并通过适当的生成器技术添加技术元素，成功地分离了软件系统的概念设计和技术设计。在本文中，我们描述了敏捷开发过程中的角色，使我们能够实现一个软件系统，使用特定领域的模型和源代码的组合。我们使用MontiCore框架描述了这样一个过程的设置，并通过描述一组具有不同个人技能的开发人员如何开发汽车HMI软件来展示其优势。
2014-09-22 cs.SE
A Systematic Methodology for Developing Discrete Event Simulation Models of Software Development Processes
到目前为止，已经有几个开发软件过程模拟器的努力。然而，开发模拟器的方法似乎是临时的，没有系统的方法存在。由于支持软件开发的建模和仿真应该变得更加流行（有迹象表明它确实如此），因此需要将建模从工艺迁移到工程。本文提出了这样一个系统的方法，专注于离散的基于仿真的决策模型的开发，但可扩展到其他建模方法。
2014-03-14 cs.SE
Agile Modeling with the UML
本文讨论了一种基于模型的软件开发方法。它认为，使用模型作为中心的开发工件的方法需要添加到软件工程技术的组合，以进一步提高开发的效率和灵活性，以及质量和结果的可重用性。两个主要的和强烈相关的技术进行了确定和讨论：测试用例建模和模型转换的进化方法。
2014-09-22 cs.SE
Delta Modeling for Software Architectures
架构建模是现代软件开发的一个组成部分。特别是，不同的系统受益于精确的架构模型，因为类似的组件通常可以在不同的系统变体之间重用。然而，在不同的系统开发的所有阶段，系统的可变性，必须考虑和适当的手段建模。Delta建模是一种独立于语言的系统可变性建模方法。一组不同的系统由一个核心系统和一组指定对核心系统的修改的增量表示。在本文中，我们给出了第一个草图，如何应用三角洲建模MontiArc，现有的架构描述语言，以获得一个集成的建模语言的架构变化。所开发的语言MontiArc允许对可变软件架构进行模块化建模，并支持主动式和提取式产品线开发。
2014-09-08 cs.SE
Modeling and Analysis of Boundary Objects and Methodological Islands in Large-Scale Systems Development
大型企业通常面临着在不同组织群体之间管理相关知识的挑战，特别是在日益敏捷的环境中。在以前的研究中，我们发现了分析方法岛的重要性（即，使用与周围组织不同的开发方法的团体）以及它们之间的边界对象。在本文中，我们提出了一个元模型，以更好地捕捉和分析在实践中的协调和知识管理。这样一个元模型可以让从业者描述当前的实践，分析问题，并设计更适合的协调机制。我们与开发复杂系统的四家大型公司一起评估了概念模型。特别是，我们得出了一个最初的不良气味列表，可以用来检测问题，并为大规模开发中的团队间协调制定合适的改进策略。我们介绍了模型，气味和我们的评估结果。
2020-08-19 cs.SE
Agile Test-based Modeling
模型驱动架构（MDA）关注于在软件开发过程中模型的使用。使用模型作为中心开发工件的方法更抽象、更紧凑，因此更有效，也可能更少出错。虽然MDA的思想已经存在多年，但在开发过程以及底层技术和工具方面仍有许多需要改进的地方。因此，本文是对那里所作陈述的后续、重新审查和更新。在这里，两个主要的和强烈相关的技术进行了识别和讨论：测试用例建模和模型转换的进化方法。
2014-09-22 cs.SE
Filling the Gap between Business Process Modeling and Behavior Driven Development
行为驱动开发（Behavior Driven Development，NORTH，2006）是一种规范技术，在敏捷方法社区中越来越被接受。BDD通过将这些需求的文本描述连接到测试，允许安全地验证所有功能需求都被源代码正确处理。另一方面，企业信息系统（EIS）的研究人员和实践者则主张在定义系统的任何部分之前，使用业务流程建模（BPM）对系统的底层业务流程进行建模。因此，可以说，在EIS的情况下，功能需求是通过从业务流程模型中识别用例来获得的。本文的目的是，在一个较窄的角度来看，提出使用有限状态机（FSM）的业务流程建模，然后将它们连接到BDD机器，从而推动更好的质量为EIS。从更广泛的角度来看，本文旨在引发对各种BPM符号映射的讨论，因为业务流程建模还没有真正的标准（Moller et al.，2007年，BDD。首先，从历史的角度来看，从以前的建议，这一个出现的演变，然后从模型驱动开发（MDD）的BDD的变化的原因也将在历史的角度。最后，使用FSM的建议，特别是通过使用UML状态图，将提出，其次是一些结论。
2010-05-27 cs.SE
Semi-Automated Design of Data-Intensive Architectures
本文提出一种数据密集型架构半自动化开发方法，基于场景定义语言、架构描述语言和系统分类，辅助架构师针对特定场景设计架构并选型系统，经真实案例验证有效。
2025-03-21 cs.SE
Managing Technical Debt in a Multidisciplinary Data Intensive Software Team: an Observational Case Study
本研究通过观察性案例研究，揭示多学科数据密集型团队的技术债务管理实践，识别数据组件和管道债务，并强调需新的实现模式与工具支持。
2025-06-23 cs.SE
Textbased Modeling
随着建模成为软件开发中的一项重要活动，人们可能会问，当前使用的图形表示是否是有效建模系统的最佳选择。这份立场文件讨论了基于文本的建模相对于常用图形表示的优势。它的灵感来自于Eclipse等新的可扩展开发工具的出现。通过将UML状态机的文本版本显示为Eclipse插件来说明讨论。
2014-09-22 cs.SE
Reflecting on Recurring Failures in IoT Development
随着物联网系统被赋予更多的责任和自主权，它们提供了更大的好处，但也带来了更大的风险。我们相信这种趋势会重新提出软件工程的一个老挑战：如何在市场压力下安全可靠地开发高风险的软件密集型系统？作为第一步，我们对最近的物联网故障进行了系统分析，以确定工程挑战。我们收集并分析了22篇新闻报道，研究了物联网系统故障的来源、影响和修复策略。我们观察了应用程序域内部和跨应用程序域的故障趋势。我们还观察到，失败主题随着时间的推移而持续存在。为了缓解这些趋势，我们概述了针对物联网开发的故障感知软件开发生存周期的研究议程。我们提出了一个百科全书的故障和经验的基础上，系统事后分析，辅以适当的自动化工具。
2022-09-19 cs.SE
DooML: A new Database & Object-Oriented Modeling Language for database-driven web application design and development
数据库驱动的Web应用程序是一个非常常见的软件解决方案，以解决日益增长的业务问题。对数据库和软件架构进行建模可能具有挑战性，因此没有一种用于数据库和软件架构的组合建模语言，特别适合于Web应用程序开发。在本文中，我们提出了数据库面向对象的建模语言（DooML）和它的主要原型图：一个符号指定的数据库模式和相应的面向对象的软件体系结构的设计。它结合了绘制实体关系图、关系模型和通用建模语言类图的语法，并创建了一个混合图，说明了数据库设计和软件设计规范。默认情况下，DooML确保高级Web应用程序开发的方法是模型驱动的，既面向数据库又面向对象。
2022-10-05 cs.DB cs.SE
Impacts of the Space Technology Evolution in the V\&V of Embedded Software-Intensive Systems
CubeSat-based超小型卫星由商用现货组件组成，并依赖于其结构和标准化接口。超小型卫星方面的一个挑战是调整验证和确认过程，以应对嵌入式软件日益增加的重要性，减少拟交付的人工制品，以降低成本和时间，同时仍符合国际标准。这项工作提出了一个真正的纳米卫星的OBDH软件嵌入在NanosatC-BR 2任务的发展所采取的战略分析。目的是讨论立方体卫星结构和接口的标准化对卫星综合系统验证和确认过程的影响，并强调“新空间时代”对使用现有验证和确认技术和方法的挑战。
2020-11-26 cs.OH cs.SE
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems
针对软件密集型系统的安全攻击越来越普遍，这就要求有新的、有效的方法来检测和响应这些攻击。作为一种有前途的方法，博弈论提供了分析工具，系统和敌对环境之间的相互作用建模和设计可靠的防御。在本文中，我们提出了一种使用严格的博弈理论框架来保护软件密集型系统的方法。首先，自适应框架部署在基于组件的软件密集型系统，定期监测系统的异常行为。提出了一种基于学习的方法来检测系统组件上可能正在进行的攻击，并预测组件的潜在威胁。然后，一个算法被设计成自动建立一个\emph{Bayesian game}的基础上的系统架构（其中的一些组件可能已经受到损害），一旦检测到攻击，其中的系统组件被建模为独立的球员在游戏中。最后，通过求解贝叶斯博弈来计算最优防御策略，以实现最佳的系统效用，即最小化攻击的影响。我们进行了两组实验上的两个一般的基准任务的安全域。此外，我们系统地介绍了一个真实世界的水处理试验台，即安全水处理系统的案例研究。实验结果表明了该方法的适用性和有效性。
2021-12-12 cs.GT cs.SE
Quantitatively Assessing the Benefits of Model-driven Development in Agent-based Modeling and Simulation
Universidade do Estado de Santa Catarina (UDESC)（圣卡塔琳娜州立大学（UDESC））；Universidade Federal do Rio Grande do Sul (UFRGS)（南里奥格兰德联邦大学（UFRGS））
基于代理的建模与仿真（ABMS）范式已被用于分析，再现和预测与许多应用领域相关的现象。虽然有许多基于代理的平台支持仿真开发，但它们依赖于需要广泛编程知识的程序设计语言。模型驱动开发（MDD）已经被探索以通过高级建模语言来促进仿真建模，所述高级建模语言提供隐藏计算复杂性的可重用构建块和代码生成。然而，关于ABMS的MDD方法如何有助于提高开发生产力和质量的知识仍然有限。因此，在本文中，我们提出了一个实证研究，定量比较MDD和ABMS平台的使用，主要是在努力和开发人员的错误。我们的评估是使用MDD4ABMS和NetLogo进行的，MDD4ABMS是一种MDD方法，具有两个应用领域的核心和扩展，其中一个是为本研究开发的，NetLogo是一个广泛使用的平台。所获得的结果表明，MDD4ABMS需要更少的努力来开发类似（有时更好）的设计质量比NetLogo的模拟，给证据的好处，MDD可以提供ABMS。
2020-06-15 cs.AI cs.SE
Integrated Development Environment Gesture for modeling workflow diagrams
当前的软件开发工具显示了与70年代中期开始时相同的交互形式。然而，由于视觉语言的出现和由于其自身的性质，它们可以通过具有与传统输入方法不同的输入方法的工具来处理。通过结合新的运动检测技术，旨在建立新的交互形式。响应手的自由运动的交互，因此软件的开发人员将在用户体验方面有实质性的改善。
2012-05-03 cs.HC cs.SE
Object-Oriented Modeling of Programming Paradigms
对于正确的应用程序，使用编程范式（如函数或逻辑编程）可以极大地提高软件开发的生产力。但是这些强大的范例都与外来的程序设计语言联系在一起，而软件开发的管理要求对单一语言进行标准化。这种困境可以通过以一种新的方式使用面向对象编程来解决。传统的分析方法是采用面向对象的建模方法。在新的方法中，分析确定了应用程序的理想范例;开发从范例的面向对象建模开始。在本文中，我们说明了新的方法，给出面向对象的建模和约束编程的例子。这些例子表明，不再需要在专用于它的语言中体现编程范式。
2006-11-09 cs.PL cs.SE
DevServOps: DevOps For Product-Oriented Product-Service Systems
针对产品服务系统难以应用DevOps的问题，基于跨国电信企业的案例研究，提出DevServOps方法，将服务作为连接开发与运营的关键纽带，实现端到端软件流与反馈循环。
2023-05-15 cs.CE cs.SE
Methodology for Holistic Reference Modeling in Systems Engineering
Universität der Bundeswehr München（慕尼黑联邦国防军大学）
面对日益增加的复杂性，模型支持新系统和企业的开发。为了实现高效的程序，需要调整参考模型，以便以最小的开销获得涵盖所有必要方面的解决方案。在这里，一个关键的挑战是应用一致的方法来描述这样的参考设计。本文提出了一个整体的方法来描述不同的视图和级别的参考模型。建模从需求和功能延伸到服务和组件，再到流程和数据结构中的实现。优点包括功能覆盖的端到端可追溯性，性能参数在参考设计的起点就已考虑在内。这使得在考虑设计约束和潜在瓶颈的同时能够集中开发。我们展示了一个智能机器人的发展的例子上的方法。在这里，我们的方法高度支持进一步系统开发的设计的可转移性。
2022-11-21 cs.CV cs.MA cs.SE
