...
首页> 外文期刊>Software and systems modeling >Non-functional properties in the model-driven development of service-oriented systems
【24h】

Non-functional properties in the model-driven development of service-oriented systems

机译:面向服务的系统的模型驱动开发中的非功能属性

获取原文
获取原文并翻译 | 示例
           

摘要

Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4S0A) and how non-functional properties of service-oriented systems can be represented using the nonfunctional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.
机译:基于面向服务的体系结构(SOA)原理的系统已成为企业级软件应用程序开发的重要基石。它们的特征是将功能分为不同的软件单元(称为服务),可以在业务应用程序的生产中对其进行发布,请求和动态组合。面向服务的系统(SOS)保证了高度的灵活性,改进的可维护性以及简单的功能重用。要获得这些属性,不仅需要了解系统的各个工件,还需要了解它们的集成。在这种情况下,非功能性方面起着重要作用,应在开发周期中尽早进行分析和建模。在本文中,我们讨论了面向服务的系统的非功能性方面的建模,以及这些模型在分析和部署中的使用。我们在本文中的贡献是三方面的。首先,我们展示如何通过使用SOA的配置文件(UML4S0A)在UML中对服务和服务组合进行建模,以及如何使用UML4SOA的非功能扩展(UML4SOA-NFP)和MARTE个人资料。这样就可以对性能,安全性和可靠的消息传递进行建模。其次,我们讨论尊重该设计的模型的形式分析,尤其是考虑使用随机定时过程代数PEPA作为基础分析引擎的性能估计和可靠性分析。最后但并非最不重要的一点是,我们的模型是部署机制应用程序的来源,这些部署机制包括在框架VIATRA中实现的模型到模型和模型到文本的转换。通过eUniversity案例研究中的一个运行示例说明了本文中介绍的所有技术。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号