• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>SOFSEM 2009: Theory and practice of computer science >Can Component/Service-Based Systems Be Proved Correct?
【24h】

Can Component/Service-Based Systems Be Proved Correct?

机译：可以证明基于组件/服务的系统正确吗？

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. A component is a software entity with given functionalities, made available by a provider, and used to build other application within which it is integrated. The service concept and its use in web-based application development have a huge impact on reuse practices. Accordingly a considerable part of software architectures is influenced; these architectures are moving towards service-oriented architectures. Therefore applications (re)use services that are available elsewhere and many applications interact, without knowing each other, using services available via service servers and their published interfaces and functionalities.rnIndustries propose, through various consortium, languages, technologies and standards. More academic works are also undertaken concerning semantics and formalisation of components and service-based systems.rnWe consider here both streams of works in order to raise research concerns that will help in building quality software.rnAre there new challenging problems with respect to service-based software construction, to service construction, an especially to software verification? Besides, what are the links and the advances compared to distributed systems?rnA specific emphasis should be put on correctness properties of services and on service-based systems in order to ensure their quality and therefrom the durability of information systems and applications. Therefore an important research issue is to reason on the correctness of software applications that will dynamically use or embed existing services. For example, additionally to the formal specification of its functionalities, a service may embed its specific properties and the certificate/proof that guarantees these properties.
机译：面向组件的方法和面向服务的方法在工业界和学术界引起了极大的热情，特别是对面向服务的方法感兴趣。组件是具有给定功能的软件实体，提供者可以使用它，并用于构建与其集成在一起的其他应用程序。服务概念及其在基于Web的应用程序开发中的使用对重用实践产生巨大影响。因此，相当一部分软件体系结构会受到影响。这些架构正在朝着面向服务的架构发展。因此，应用程序（重用）使用在其他位置可用的服务，并且许多应用程序之间通过服务服务器及其发布的接口和功能使用可用的服务，彼此之间互不了解。业界通过各种财团，语言，技术和标准提出了建议。关于组件和基于服务的系统的语义和形式化方面，也进行了更多的学术研究。rn我们在这里考虑这两个方面的工作，以提出有助于构建高质量软件的研究关注。rn关于基于服务的服务是否存在新的挑战性问题软件建设，服务建设，尤其是软件验证？此外，与分布式系统相比，它们之间的联系和进步是什么？为了确保其质量以及由此确保信息系统和应用程序的持久性，应特别强调服务和基于服务的系统的正确性。因此，一个重要的研究问题是要推理将动态使用或嵌入现有服务的软件应用程序的正确性。例如，除了对其功能的正式说明之外，服务还可以嵌入其特定属性以及保证这些属性的证书/证明。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号