Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596189212> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1596189212 endingPage "18" @default.
- W1596189212 startingPage "3" @default.
- W1596189212 abstract "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, to service construction, an especially to software verification? Besides, what are the links and the advances compared to distributed systems? A 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." @default.
- W1596189212 created "2016-06-24" @default.
- W1596189212 creator A5091558153 @default.
- W1596189212 date "2009-01-01" @default.
- W1596189212 modified "2023-10-16" @default.
- W1596189212 title "Can Component/Service-Based Systems Be Proved Correct?" @default.
- W1596189212 cites W1534501192 @default.
- W1596189212 cites W1538383875 @default.
- W1596189212 cites W1561225624 @default.
- W1596189212 cites W1566784567 @default.
- W1596189212 cites W1594380366 @default.
- W1596189212 cites W1601626921 @default.
- W1596189212 cites W1605439083 @default.
- W1596189212 cites W1822123474 @default.
- W1596189212 cites W1876376758 @default.
- W1596189212 cites W1898526483 @default.
- W1596189212 cites W2001348737 @default.
- W1596189212 cites W2010480613 @default.
- W1596189212 cites W2032354817 @default.
- W1596189212 cites W2034711041 @default.
- W1596189212 cites W2056057063 @default.
- W1596189212 cites W2058559432 @default.
- W1596189212 cites W2097565277 @default.
- W1596189212 cites W2108487735 @default.
- W1596189212 cites W2118135872 @default.
- W1596189212 cites W2133254703 @default.
- W1596189212 cites W2134755599 @default.
- W1596189212 cites W2154682148 @default.
- W1596189212 cites W4230839296 @default.
- W1596189212 doi "https://doi.org/10.1007/978-3-540-95891-8_2" @default.
- W1596189212 hasPublicationYear "2009" @default.
- W1596189212 type Work @default.
- W1596189212 sameAs 1596189212 @default.
- W1596189212 citedByCount "2" @default.
- W1596189212 crossrefType "book-chapter" @default.
- W1596189212 hasAuthorship W1596189212A5091558153 @default.
- W1596189212 hasBestOaLocation W15961892122 @default.
- W1596189212 hasConcept C111919701 @default.
- W1596189212 hasConcept C115903868 @default.
- W1596189212 hasConcept C121332964 @default.
- W1596189212 hasConcept C127413603 @default.
- W1596189212 hasConcept C136264566 @default.
- W1596189212 hasConcept C136764020 @default.
- W1596189212 hasConcept C149091818 @default.
- W1596189212 hasConcept C162324750 @default.
- W1596189212 hasConcept C168167062 @default.
- W1596189212 hasConcept C174683762 @default.
- W1596189212 hasConcept C199360897 @default.
- W1596189212 hasConcept C206588197 @default.
- W1596189212 hasConcept C2777904410 @default.
- W1596189212 hasConcept C2780378061 @default.
- W1596189212 hasConcept C35578498 @default.
- W1596189212 hasConcept C41008148 @default.
- W1596189212 hasConcept C548081761 @default.
- W1596189212 hasConcept C55439883 @default.
- W1596189212 hasConcept C57041688 @default.
- W1596189212 hasConcept C97355855 @default.
- W1596189212 hasConceptScore W1596189212C111919701 @default.
- W1596189212 hasConceptScore W1596189212C115903868 @default.
- W1596189212 hasConceptScore W1596189212C121332964 @default.
- W1596189212 hasConceptScore W1596189212C127413603 @default.
- W1596189212 hasConceptScore W1596189212C136264566 @default.
- W1596189212 hasConceptScore W1596189212C136764020 @default.
- W1596189212 hasConceptScore W1596189212C149091818 @default.
- W1596189212 hasConceptScore W1596189212C162324750 @default.
- W1596189212 hasConceptScore W1596189212C168167062 @default.
- W1596189212 hasConceptScore W1596189212C174683762 @default.
- W1596189212 hasConceptScore W1596189212C199360897 @default.
- W1596189212 hasConceptScore W1596189212C206588197 @default.
- W1596189212 hasConceptScore W1596189212C2777904410 @default.
- W1596189212 hasConceptScore W1596189212C2780378061 @default.
- W1596189212 hasConceptScore W1596189212C35578498 @default.
- W1596189212 hasConceptScore W1596189212C41008148 @default.
- W1596189212 hasConceptScore W1596189212C548081761 @default.
- W1596189212 hasConceptScore W1596189212C55439883 @default.
- W1596189212 hasConceptScore W1596189212C57041688 @default.
- W1596189212 hasConceptScore W1596189212C97355855 @default.
- W1596189212 hasLocation W15961892121 @default.
- W1596189212 hasLocation W15961892122 @default.
- W1596189212 hasLocation W15961892123 @default.
- W1596189212 hasLocation W15961892124 @default.
- W1596189212 hasLocation W15961892125 @default.
- W1596189212 hasOpenAccess W1596189212 @default.
- W1596189212 hasPrimaryLocation W15961892121 @default.
- W1596189212 hasRelatedWork W100127945 @default.
- W1596189212 hasRelatedWork W109358238 @default.
- W1596189212 hasRelatedWork W1546980300 @default.
- W1596189212 hasRelatedWork W2013343621 @default.
- W1596189212 hasRelatedWork W2136457176 @default.
- W1596189212 hasRelatedWork W2268644972 @default.
- W1596189212 hasRelatedWork W2783582617 @default.
- W1596189212 hasRelatedWork W2898818629 @default.
- W1596189212 hasRelatedWork W2994043954 @default.
- W1596189212 hasRelatedWork W4246898356 @default.
- W1596189212 isParatext "false" @default.
- W1596189212 isRetracted "false" @default.
- W1596189212 magId "1596189212" @default.
- W1596189212 workType "book-chapter" @default.