Can Component-Service-Based Systems Be Proved Correct - Computer Science > Software EngineeringReport as inadecuate




Can Component-Service-Based Systems Be Proved Correct - Computer Science > Software Engineering - Download this document for free, or read online. Document in PDF available to download.

Abstract: Component-oriented and service-oriented approaches have gained a strongenthusiasm in industries and academia with a particular interest forservice-oriented approaches. A component is a software entity with givenfunctionalities, made available by a provider, and used to build otherapplication within which it is integrated. The service concept and its use inweb-based application development have a huge impact on reuse practices.Accordingly a considerable part of software architectures is influenced; thesearchitectures are moving towards service-oriented architectures. Thereforeapplications reuse services that are available elsewhere and manyapplications interact, without knowing each other, using services available viaservice servers and their published interfaces and functionalities. Industriespropose, through various consortium, languages, technologies and standards.More academic works are also undertaken concerning semantics and formalisationof components and service-based systems. We consider here both streams of worksin order to raise research concerns that will help in building qualitysoftware. Are there new challenging problems with respect to service-basedsoftware construction? Besides, what are the links and the advances compared todistributed systems?



Author: Christian Attiogbe LINA

Source: https://arxiv.org/







Related documents