基于组件/服务的系统能被证明是正确的吗？
Can Component/Service-Based Systems Be Proved Correct?
摘要：
面向服务的方法和面向服务的方法在工业界和学术界获得了强烈的热情，其中对面向服务的方法特别感兴趣。组件是具有给定功能的软件实体，由提供商提供，并用于构建其他应用程序，并将其集成在其中。服务概念及其在基于Web的应用程序开发中的使用对重用实践有着巨大的影响。因此，相当一部分软件架构受到影响;这些架构正在向面向服务的架构发展。因此，应用程序（重用）使用其他地方可用的服务，并且许多应用程序使用经由服务服务器及其发布的接口和功能可用的服务进行交互，而不知道彼此。行业通过各种联盟提出语言、技术和标准。更多的学术工作也进行了语义和形式化的组件和基于服务的系统。我们在这里考虑这两个工作流，以提高研究的关注，这将有助于建设高质量的软件。在基于服务的软件构建方面是否存在新的挑战性问题？此外，与分布式系统相比，它们之间的联系和进步是什么？
英文摘要：
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. Industries propose, through various consortium, languages, technologies and standards. More academic works are also undertaken concerning semantics and formalisation of components and service-based systems. We consider here both streams of works in order to raise research concerns that will help in building quality software. Are there new challenging problems with respect to service-based software construction? Besides, what are the links and the advances compared to distributed systems?
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
