Computer Science – Software Engineering
Scientific paper
2009-10-10
Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Spindleruv Ml\'yn, : Czech Republic (
Computer Science
Software Engineering
16 pages
Scientific paper
10.1007/978-3-540-95891-8_2
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?
No associations
LandOfFree
Can Component/Service-Based Systems Be Proved Correct? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Can Component/Service-Based Systems Be Proved Correct?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Can Component/Service-Based Systems Be Proved Correct? will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-619581