General Methodology for developing UML models from UI
近年来，每个学科和每个行业都有自己的产品开发方法。它可以是软件开发、机械、构造、心理学等等，只要需求在一个规程内，这些分界线就能很好地工作。然而，如果项目扩展到多个学科，则必须在这些学科的方法之间创建和协调接口。由于Web服务的分布式特性，性能是Web服务的一个重要质量方面。在软件开发的早期阶段预测Web服务的性能是非常重要的。在工业中，这些应用的原型是在软件开发生存周期（SDLC）的分析阶段开发的。然而，性能模型是从UML模型生成的。从UML模型预测性能的方法是可用的。因此，本文提出了一种从用户界面开发用例模型和活动模型的方法。该方法是说明与亚马逊网站的案例研究。
2012-01-10 cs.SE
Atomic Services: sustainable ecosystem of smart city services through pan-European collaboration
在一个城市化不断发展的世界里，政府正在研究创新的解决方案来维持社会的发展。物联网为城市带来了巨大的好处，智慧城市部署的激增表明物联网作为许多解决方案的基础得到了普遍接受。城市试点项目的开发是并行进行的，设计也不同，因此造成了物联网的碎片化。欧洲同步城市项目旨在同步8个智能城市，以建立一个共享的环境，促进自我持续的业务增长。在这篇文章中，我们介绍了协作方法和共同努力，为智慧城市服务的发展创建一个共同的生态系统。我们的设计围绕“原子服务”的概念发展，实现了一个功能块，用于全面的智慧城市服务。这为不同的利益相关者创造了参与全球智慧城市市场的机会。我们的工作方法和成果将在全球10个新城市推广，从而扩大物联网利益相关者的市场范围
2019-11-08 cs.CY cs.SE
SLO-ML: A Language for Service Level Objective Modelling in Multi-cloud Applications
云建模语言（CML）旨在帮助客户应对云市场中的服务多样性。虽然许多CML已经在文献中提出，他们缺乏实际的支持，自动选择服务的基础上，客户的应用程序的特定服务水平的目标。我们提出了SLO-ML，一种新的和生成的CML捕获服务水平的要求，随后，选择服务，以满足客户的要求，并生成部署代码适合这些服务。我们提出了SLO-ML的架构设计和实现部署操作的相关代理。我们使用混合方法严格评估SLO-ML。首先，我们利用一组研究人员和开发人员使用现实世界的云应用程序的实验案例研究。我们还通过一套详尽的经验可扩展性测试来评估开销。通过表达获得的生产力和经验丰富的可用性水平，我们强调了SLO-ML在实现以用户为中心的云代理方面的巨大潜力。我们还讨论了随着应用程序需求的增长而出现的限制。
2020-01-29 cs.DC cs.SE
What Should You Know Before Developing a Service Identification Approach
在本文中，我们回答了一组研究问题，需要开发基于面向对象软件的分析服务识别方法。这些研究问题是：（1）什么是服务，（2）服务与软件组件有何不同，（3）服务的类型是什么，（4）考虑服务类型的现有服务标识方法是什么，以及（5）如何基于面向对象的源代码相对于它们的类型来标识服务。我们的方法是基于执行文献综述，以确定这些研究问题的答案。此外，我们提出了一个分类的服务类型。
2018-03-14 cs.SE
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
服务水平协议（SLA）通常用于指定云服务提供商和客户之间的质量属性。违反SLA可能导致高额处罚。为了让服务部署之前的SLA合规性分析，我们在本文中描述了一种方法，SLA感知部署的云服务，并说明其工作流程通过案例研究。该方法基于形式化模型，结合静态分析工具和生成的运行时监视器。因此，它非常适合将软件开发与信息技术运营（DevOps）相结合的方法。
2019-08-27 cs.DC cs.SE
Carbon accounting in the Cloud: a methodology for allocating emissions across data center users
本文提出一种基于资源预留、每小时实测用量及地点碳强度的云数据中心能耗与碳排放分摊方法，已用于 Google Cloud 和 Workspace 的企业碳报告。
2024-06-14 cs.SE
A Model-driven Approach for Grid Services Engineering
由于网格计算的大肆宣传，这样的系统很少使用形式化技术设计。围绕网格技术的复杂性和快速增长的需求使得人们倾向于使用经典的开发技术，这导致了没有指导方针或规则以及非结构化的工程过程。本文提倡一种形式化的网格应用程序开发方法，以促进严格的网格软件体系结构的发展。这种方法解决了跨平台的互操作性和服务质量;模型驱动的范例被应用到一个正式的以架构为中心的工程方法，以受益于正式的语义描述能力，除了基于模型的转换。这样一个新的组合概念的结果，促进了重用的设计模型，并简化了网格计算的发展，提供了一个适应的开发过程，并确保正确的每个设计步骤。
2005-09-27 cs.DC cs.SE
Dynamic Web Service Composition based on Network Modeling with Statistical Analysis and Backtracking
Web服务是一种软件系统，旨在支持通过网络进行的可互操作的机器对机器交互。Web服务提供了在不同的软件应用程序之间进行互操作的标准方法，这些软件应用程序运行在各种平台和/或框架上。使用Web服务的主要优点之一是它能够通过Web服务组合与其他服务集成并实现所需的功能。本文提出了一种新的模式，动态Web服务组合使用网络分析与回溯配对。还提出了一种算法，称为“Zeittafel”的选择和调度的服务组成。与现有的方法相比，所提出的系统获得更好的工作成功率的百分比。
2012-07-11 cs.SE
An Agile Method for E-Service Composition
目前，面向服务的体系结构的应用正在迅速增加，特别是在Web上引入分布式电子服务之后。SOA软件具有模块化的方式，并且作为独立软件组件的协作来工作。因此，电子服务方法对于具有独立组件的软件是足够的，每个组件可能由不同的公司开发。这样的软件组件和它们的协作形成了一个组合服务。敏捷方法是开发小型软件组件的最佳候选者。组合服务及其构建块是软件的小片段，这使得敏捷方法非常适合它们的开发。在本文中，我们介绍了一个敏捷的服务组合方法，敏捷模式和实践的启发。因此，在敏捷宣言中，我们可以使用这种方法快速开发低成本、高质量的组合服务。
2012-03-14 cs.SE
A Case Study in Matching Service Descriptions to Implementations in an Existing System
许多公司正试图将大型单片软件系统迁移到面向服务的体系结构。这样做的常见方法是首先识别和描述期望的服务（即，创建模型），然后在现有系统中定位实现所描述的服务的代码部分。在本文中，我们描述了一个详细的案例研究，我们承诺匹配一个模型的开源业务应用程序。我们描述了我们使用的系统方法，练习的结果，以及几个观察，揭示了这个问题的性质。我们还建议并验证了在部分自动化服务描述与实现匹配过程中可能有用的自动化方法。
2010-12-19 cs.SE
Rigorous design of tracers: an experiment for constraint logic programming
为了设计和实现跟踪程序，必须决定跟踪什么以及如何生成跟踪。一方面，跟踪设计常常受到实现关注的指导，并不像它们应该的那样有用。另一方面，不能有效地产生的感兴趣的轨迹也不是很有用。在这篇文章中，我们提出了一种方法，有助于有效地产生准确的痕迹。首先，设计了跟踪模型的形式化规格说明。其次，从这个规范中派生一个原型跟踪程序。第三，分析产生的痕迹。第四，实现高效的跟踪程序。最后，比较两种示踪剂的痕迹。在每一步都能发现问题，在这种情况下，人们必须重新审视这个过程。我们已经成功地应用所提出的方法来设计和实现一个真正的跟踪约束逻辑编程，这是能够有效地生成所需的信息，建立有趣的图形视图的执行。
2003-10-22 cs.SE
Enhancing the OPEN Process Framework with Service-Oriented Method Fragments
面向服务是一个很有前途的范例，它使大规模分布式软件系统的工程使用严格的软件开发过程。现有的问题是，每个面向服务的软件开发项目通常需要一个定制的开发过程，提供特定的面向服务的软件工程任务，以支持该项目的独特需求。为了解决这个问题，并允许情景方法工程，我们已经定义了一组方法片段，以支持工程的项目特定的面向服务的软件开发过程。我们已经从11个突出的面向服务的软件开发方法，使用系统的挖掘方法的经常性功能，提出了方法片段。我们已经将这些新的片段添加到OPEN过程框架的存储库中，使它们作为可重用的片段提供给软件工程师使用这个众所周知的方法存储库。关键字面向服务软件开发，开放过程框架，OPF知识库，方法片段，情景方法工程
2020-04-17 cs.SE
Technical Health Check For Cloud Service Providers
了解IT基础架构的整体健康状况是IT服务管理的关键部分。执行技术运行状况检查的传统方法是访问客户的物理站点，并与主题专家一起严格检查IT基础架构。或者，将定期调查发送给负责托管IT基础架构的技术架构师。从本质上讲，实地访问和调查都带有被动性和主观评估。在本文中，我们提出了云提供商的技术健康检查，它可以监控、评估运营数据并实时的描述IT基础设施的当前健康状况。最后讨论了混合云环境下技术健康检查面临的挑战和机遇。
2019-06-25 cs.SE
Product Lines for Service Oriented Applications - PL for SOA
PL for SOA正式提出了一种软件工程方法、开发技术和支持工具，用于提供服务产品线。我们提出了严格的建模技术的规范和验证的正式符号和语言的服务计算与倾向的变化。通过这些尖端技术，可以实现更高水平的灵活性和适应性。这将涉及开发服务行为模型的可变性语义。这些工具将有助于各组织在设计和运行时间规划、优化和控制软件服务提供的质量，使其能够开发灵活和成本效益高的软件系统，支持高水平的再利用。我们从两个层面应对这一挑战。我们使用产品线工程中的特征建模，从服务的角度来看，使用编排语言Orc。我们介绍了智能电网作为服务产品线应用的技术。
2011-08-11 cs.SE
QSOC: Quantum Service-Oriented Computing
量子计算正在迅速从承诺变为现实，见证了几个基于云的通用产品和IDE的推出。然而，不幸的是，现有的解决方案通常隐含地假设了对量子计算概念和运算符的深入了解。本文介绍了量子面向服务计算（QSOC），包括一种模型驱动的方法，允许企业DevOps团队在不熟悉底层量子基础设施的情况下编写，配置和操作企业应用程序，倡导知识重用，关注点分离，资源优化以及混合量子和传统QSOC应用程序。
2021-05-04 cs.SE quant-ph
A Security Evaluation Framework for U.K. E-Goverment Services Agile Software Development
本研究探讨了传统的方法，在英国政府和认证过程中的软件开发。首先，我们看看已经使用了几年的瀑布方法。我们在讨论敏捷的瀑布方法之前先讨论瀑布的优缺点。敏捷已被大多数政府数字化部门采用，包括政府数字化服务。尽管敏捷能够在短时间内实现高生产率，灵活的迭代，但在英国工作时，安全专业人员一直不相信。政府的其中一个主要问题是，我们在敏捷中开发，但认证过程是使用瀑布进行的，导致延迟上线日期。简要介绍政府内部用于信息技术的认证程序。系统和应用程序，我们专注于为审核员提供他们在开发新应用程序和系统时所需的保证。利用开放式Web应用程序安全项目（OWASP）应用程序安全验证标准（ASVS）的框架已经产生。该框架将允许安全性和敏捷并行工作并生成安全代码。
2016-04-08 cs.CR cs.SE
A Methodology for Deriving Evaluation Criteria for Software Solutions
在不断扩大的市场中，为公司找到合适的软件解决方案是一项资源密集型任务。软件应该尽可能完美地解决手头的技术任务，同时与公司战略相匹配。基于这两个方面，领域知识和行业背景下，我们提出了一种方法来获得个性化定制的软件解决方案的评估标准，使他们评估。该方法被形式化为一个三层模型，确保所述维度的编码，其中每一层都包含一个更精细和个性化的标准列表，从我们组成的通用软件不可知目录开始。最后，我们示范性地展示了我们的方法，用于中小型企业（SME）的机器学习即服务平台（MaaS）。
2020-12-02 cs.SE
Emergent Software Service Platform and its Application in a Smart Mobility Setting
针对动态自主演进的系统格局难以控制的问题，提出涌现式软件服务平台架构，并通过智能停车场场景验证了其可行性。
2024-02-05 cs.SE
A Method for Deriving Technical Requirements of Digital Twins as Industrial Product-Service System Enablers
工业产品服务系统在若干部门日益占主导地位。为生产系统、发电厂和车队等工业资产提供的主要增值服务是远程资产维护、监控、控制和重新配置。IPSS设计人员缺乏方法和工具，支持他们系统地推导出底层网络物理系统（CPS）IPSS服务的技术设计要求。与此同时，由于强大的网络化信息技术（IT）和操作技术（OT）基础设施以及传感器和数据的普遍存在，使用数字孪生（DT）作为CPS资产的数字表示变得越来越可行。本文提出了一种方法来指导IPSS设计者在规范和实施DT实例，作为IPSS服务的关键使能器。将连续的IT设计-构建-部署周期概念系统地映射到CPS的OT域是应用方法的核心，并由开发人员驱动的需求启发加以补充。的关键贡献是一个结构化的方法来获得技术设计要求的DT实例IPSS。该方法在分布式CPS IPSS的评估环境中的真实用例上进行了验证。
2022-08-10 cs.SE
Enhancing Rural Agricultural Value Chains through Electric Mobility Services in Ethiopia
本文针对埃塞俄比亚农村小农户运输难题，提出基于电动测试车的问题到解决方案方法，并在阿尔西区开展实地研究与测试，以增强农业价值链。
2024-01-17 cs.SE
A Methodology of Guiding Web Content Mining and Knowledge Discovery in Evidence-based Software Engineering
系统性文献综述（Systematic Literature Review，SLR）是应用于循证软件工程（Evidence-Based Software Engineering，EBSE）的一种严格的方法论，用于识别、评估和综合相关证据，以回答特定的研究问题。受益于Web 2.0时代蓬勃发展的在线资料，技术Web内容开始成为EBSE的替代来源。Web知识已经从Web内容挖掘和知识发现技术中得到了研究和推导，但是它们仍然与回顾学术文献有显著的不同。因此，EBSE中直接采用Web知识缺乏系统的指导。在本文中，我们提出了一个SLR的适应，以弥合上述差距沿两个阶段。首先，我们遵循SLR的一般逻辑和程序来规范Web挖掘活动。其次，我们用Web挖掘友好的方法和途径替代和增强特定的SLR过程。在第二阶段，我们主要专注于通过集成一组自动化组件，从编程搜索到各种文本挖掘技术，来适应进行审查。
2017-04-25 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
