Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented software engineering
Object-oriented software engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Real-time object-oriented modeling
Real-time object-oriented modeling
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A Functional Rephrasing of the Assumption/Commitment Specification Style
Formal Methods in System Design
The unified software development process
The unified software development process
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Programming Web services with SOAP
Programming Web services with SOAP
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Writing Effective Use Cases
Communication and Concurrency
Introducing Microsoft® .NET
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Proceedings of the 25th International Conference on Software Engineering
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Systematic Development and Exploration of Service-Oriented Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Modeling layered distributed communication systems
Formal Aspects of Computing
Capturing overlapping, triggered, and preemptive collaborations using MSCs
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Data flow testing of service-oriented workflow applications
Proceedings of the 30th international conference on Software engineering
Research challenges in the tension between features and services
Proceedings of the 2nd international workshop on Systems development in SOA environments
A middleware architecture for unmanned aircraft avionics
Proceedings of the 2007 ACM/IFIP/USENIX international conference on Middleware companion
Modular Functional Descriptions
Electronic Notes in Theoretical Computer Science (ENTCS)
High Confidence Subsystem Modelling for Reuse
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Service-Oriented Modeling of CoCoME with Focus and AutoFocus
The Common Component Modeling Example
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Model-driven synthesis of SOA solutions
IBM Systems Journal
Implementing Services by Partial State Machines
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
From sequence diagrams to Java-stairs aspects
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Quality assurance of automotive hybrid embedded software
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems
Service-Oriented Computing --- ICSOC 2008 Workshops
Formal specification of system functions
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Towards a formal model of autonomic services based on SelfLets
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Data flow testing of service choreography
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Runtime verification of interactions: from MSCs to aspects
RV'07 Proceedings of the 7th international conference on Runtime verification
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
Scribbling interactions with a formal foundation
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
Trust of, in, and among adaptive systems
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Requirements engineering as a key to holistic software quality
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Fundamental concepts for the structuring of functionality into modular parts
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Requirements for service composition in ultra-large scale software-intensive systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Session initiation as a service
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic service composition and deployment with openrichservices
Software Service and Application Engineering
A UML2 profile for service modeling
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Algebraic Specifications of Computing as a Service with Applications to Cost Analysis
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Functional safety based on a system reference model
ASSC '12 Proceedings of the Australian System Safety Conference - Volume 145
| Hi-index | 0.00 |
Service-oriented software systems rapidly gain importance across application domains: They emphasize functionality (services), rather structural entities (components), as the basic building block for system composition. More specifically, services coordinate the interplay of components to accomplish specific tasks. In this article, we establish a foundation of service orientation: Based on the Focus theory of distributed systems (see Broy and Stølen [2001]), we introduce a theory and formal model of services. In Focus, systems are composed of interacting components. A component is a total behavior. We introduce a formal model of services where, in contrast, a service is a partial behavior. For services and components, we work out foundational specification techniques and outline methodological development steps. We show how services can be structured and how software architectures can be composed of services and components. Although our emphasis is on a theoretical foundation of the notion of services, we demonstrate utility of the concepts we introduce by means of a running example from the automotive domain.