Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Compositional Reasoning Using the Assumption-Commitment Paradigm
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Like it or not, web services are distributed objects
Communications of the ACM - The Blogosphere
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Understanding Enterprise SOA
Asynchronous Assertion Monitors for multi-Clock Domain System Verification
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
A state-of-practice questionnaire on verification and validation for concurrent programs
Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Formal verification of concurrent software: two case studies
Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Distributed Event-Based Systems
Distributed Event-Based Systems
Scalable group communication system for scalable trust
Proceedings of the first ACM workshop on Scalable trusted computing
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Assertion-based proof checking of chang-roberts leader election in PVS
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
From BPEL to SRML: a formal transformational approach
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Composing components with shared services in the Kmelia model
SC'08 Proceedings of the 7th international conference on Software composition
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Multi-process systems analysis using event b: application to group communication systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
| Hi-index | 0.00 |
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.