A formal model of services

No abstract is available for this paper.

• Publication year

  2007

• Venue

  TSEM

• Publication date

  2007-02-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1189748.1189753
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• ObjectOriented Software Engineering

  2006cited by this paper
• Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition

  2006cited by this paper
• Modeling layered distributed communication systems

  2005influential reference
• Plug-and-play composition of features and feature interactions with statechart diagrams

  2004cited by this paper
• Systematic development and exploration of service-oriented software architectures

  2004cited by this paper
• ii Business Process Execution Language for Web Services

  2003cited by this paper
• Service-Oriented Systems Engineering: Modeling Services and Layered Architectures

  2003cited by this paper
• Domain-driven design

  2003cited by this paper
• Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs

  2003cited by this paper
• Scaling step-wise refinement

  2003cited by this paper
• Jini^ Architecture Specification Version 2.0

  2003cited by this paper
• Web Services Orchestration and Choreography

  2003cited by this paper
• Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations

  2002cited by this paper
• Refactoring

  2002cited by this paper
• Introducing Microsoft® .NET

  2001cited by this paper
• Specification and Development of Interactive Systems

  2001cited by this paper
• Interface automata

  2001cited by this paper
• Writing effective use cases

  2001cited by this paper
• Programming Web services with SOAP

  2001cited by this paper
• An Overview of AspectJ

  2001cited by this paper
• SBSE ’ 03 Service-Based Software Engineering Proceedings of the FM 2003 Workshop

  2000cited by this paper
• Distributed system design with message sequence charts

  2000cited by this paper
• The Unified Software Development Process

  1999cited by this paper
• Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem

  1999cited by this paper
• Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts

  1998cited by this paper
• A Functional Rephrasing of the Assumption/Commitment Specification Style

  1998cited by this paper
• From MSCs to Statecharts

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• A Graphical Description Technique for Communication in Software Architectures

  1997cited by this paper
• Feature-Oriented Programming: A Fresh Look at Objects

  1997cited by this paper
• Relating Services and Features in the Intelligent Network

  1997cited by this paper
• Requirements for Service Creation Environments

  1997cited by this paper
• Component software

  1997cited by this paper
• Message Sequence Chart (MSC)

  1996cited by this paper
• Software architecture: perspectives on an emerging discipline

  1996influential reference
• Software architecture - perspectives on an emerging discipline

  1996cited by this paper
• Requirements engineering with viewpoints

  1996cited by this paper
• Real-time object-oriented modeling

  1994cited by this paper
• Design patterns: elements of reuseable object-oriented software

  1994cited by this paper
• Feature interactions and formal specifications in telecommunications

  1993cited by this paper
• The Temporal Logic of Reactive and Concurrent Systems

  1991cited by this paper
• Communication and concurrency

  1989cited by this paper
• A.P.I.C. Studies in Data Processing

  1989cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987cited by this paper
• On the criteria to be used in decomposing systems into modules

  1972cited by this paper
• Notes on structured programming

  1970cited by this paper
• Ebook Available from Your Library or Mycopy Printed Ebook for Just Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement

  year unknowncited by this paper

• Specifying and Composing Layered Architectures

  2024cites this paper
• Architecture as a Backbone for Safe DevOps in Automotive Systems

  2022cites this paper
• Agile Latency Estimation for a Real-time Service-oriented Software Architecture

  2020cites this paper
• Domain Engineering Approach of Software Requirements Analysis

  2020cites this paper
• Development Processes in Automotive Service-oriented Architectures

  2020cites this paper
• Seamless Model-Based System Development: Foundations - (Extended Abstract)

  2019cites this paper
• A Dynamic Service-Oriented Software Architecture for Highly Automated Vehicles

  2019cites this paper
• Investigating Attack Propagation in a SoS via a Service Decomposition

  2019cites this paper
• Model-based resource analysis and synthesis of service-oriented automotive software architectures

  2019cites this paper
• On Incorporating Security Parameters in Service Level Agreements

  2019cites this paper
• On the Nature of Automotive Service Architectures

  2019influential citation
• Associative composition of components with double-sided interfaces

  2018cites this paper
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts

  2018cites this paper
• A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability—from requirements to functional and architectural views

  2018cites this paper
• Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection

  2018cites this paper
• On Architecture Specification

  2018cites this paper
• The Leading Role of Software and Systems Architecture in the Age of Digitization

  2018cites this paper
• Towards Security Case Run-Time Adaptation by System Decomposition into Services

  2018cites this paper
• Categorizations of Product-related Requirements in Practice: Observations and Improvements

  2017cites this paper
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts

  2017cites this paper
• (Auto)Focus approaches and their applications: A systematic review

  2017cites this paper
• Blueprint Flow: A Declarative Service Composition Framework for Cloud Applications

  2017cites this paper
• On Service-Orientation for Automotive Software

  2017cites this paper
• A Service-Oriented Development Process for Distributed Reactive Systems

  2016cites this paper
• From Actions, Transactions, and Processes to Services

  2016cites this paper
• Stochastic Performance Analysis of Global Software Development Teams

  2016cites this paper
• Enterprise Software Service Emulation: Constructing Large-Scale Testbeds

  2016cites this paper
• A Self-Adaptive Multi-Agent System Approach for Collaborative Mobile Learning

  2015cites this paper
• Towards Smart Systems of Systems

  2015cites this paper
• Integration of Conceptual Models and Data Services Using Metamodeling

  2015cites this paper
• Seamless Method-and Model-based Software and Systems Engineering

  2015cites this paper
• Specification, design and formalization of collaborative pedagogical activities in the classroom : the case of language laboratory

  2015cites this paper
• Modelling service-oriented computing with temporal symbolic graph transformation systems

  2015cites this paper
• A Semantics of Business Configurations Using Symbolic Graphs

  2015cites this paper
• A Formal Specification Automation Method Based on Focus Framework

  2014cites this paper
• Forecasting the Trends in Cloud Computing and its Impact on Future IT Business

  2014cites this paper
• Cyber-physical systems enabled by unmanned aerial system-based personal remote sensing: Data mission quality-centric design architectures

  2014cites this paper
• A graph-semantics of business configurations

  2014cites this paper
• A Context-dependent Service Model

  2014cites this paper
• A Formal Approach for Designing Distributed Self-Adaptive Systems

  2014cites this paper
• Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker

  2013cites this paper
• Modellbasiertes Software und Systems Engineering als Element eines durchgängigen Systems Lifecycle Managements (SysLM)

  2013cites this paper
• On the realizability of collaborative services

  2013cites this paper
• Pragmatic Tabular Specification Method for Interactive Systems

  2013cites this paper
• Interactive Petri Nets

  2013cites this paper
• Flexible Quality of Service Management of Web Services Orchestrations. (Gestion Flexible de la Qualité de Service dans les Orchestrations de Services Web)

  2012cites this paper
• Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

  2012cites this paper
• Software Service Evolution: A Requirements Perspective

  2012cites this paper
• A payload verification and management framework for small UAV-based personal remote sensing systems

  2012cites this paper
• Doctoral Symposium at the 5th International Conference on Software Language Engineering

  2012cites this paper
• Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

  2012cites this paper
• A Formal Model of Service Network and Its Description Using Pi-calculus

  2012cites this paper
• SMADL: The Social Machines Architecture Description Language

  2012cites this paper
• Composing crosscutting concerns : a service-oriented view

  2012cites this paper
• Dynamic Service Composition and Deployment with OpenRichServices

  2012cites this paper
• Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation

  2012cites this paper
• The Many Faces of Complexity in Software Design

  2012cites this paper
• Process Nets With Channels

  2012cites this paper
• Introduction to the SPES Modeling Framework

  2012cites this paper
• A Collaboration Based Model-Driven Approach for Business Service Composition

  2012cites this paper
• Analysing Time-Related Properties of Service-Oriented Systems

  2012cites this paper
• Functional safety based on a system reference model

  2012cites this paper
• Managing and Delivering Trustworthy Context-Dependent Services

  2011cites this paper
• A distributed framework for reliable and efficient service choreographies

  2011cites this paper
• A Hierarchical Model for Structuring Functional Requirements and Their Dependencies

  2011cites this paper
• Integrated behavior modeling of space-intensive mechatronic systems

  2011cites this paper
• QoS-Aware Web Services Composition Based on HQPSO Algorithm

  2011cites this paper
• An abstract model of service discovery and binding

  2011influential citation
• 3D Virtual Client Center and its Service Oriented Modeling

  2011cites this paper
• An Architecture for Managing and Delivering Trustworthy Context-Dependent Services

  2011cites this paper
• Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

  2011cites this paper
• Building Quick Service Query List Using WordNet and Multiple Heterogeneous Ontologies toward More Realistic Service Composition

  2011cites this paper
• Scribbling Interactions with a Formal Foundation

  2011cites this paper
• The Sensoria Reference Modelling Language

  2011cites this paper
• A model driven approach for service based system design using interaction templates

  2011cites this paper
• NIÑOS take five: the management infrastructure for distributed event-driven workflows

  2011cites this paper
• Session Initiation as a Service

  2011cites this paper
• Modelling and Analysing QoS for Real-Time Interactive Applications on the Cloud

  2011cites this paper
• Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services

  2010cites this paper
• Seamless Method- and Model-based Software and Systems Engineering

  2010cites this paper
• From StPowla processes to SRML models

  2010cites this paper
• Semantic Conflict Prevention in Service Choreography

  2010cites this paper
• Trust Of, In, and among Adaptive Systems

  2010cites this paper
• Generating Tests for Feature Interaction (Systematischer Test von Funktionsinteraktionen mittels Testfallgenerierung)

  2010cites this paper
• Multifunctional software systems: Structured modeling and specification of functional requirements

  2010influential citation
• Common Operating Infrastructure Subsystem Pilot Period Report

  2010cites this paper
• Interaction-based Runtime Verification for Systems of Systems Integration

  2010cites this paper
• A semantic-based message interaction model and application of Web Services

  2010cites this paper
• From Textual Scenarios to Message Sequence Charts

  2010cites this paper
• Addressing the Integration Challenge for Avionics and Automotive Systems—From Components to Rich Services

  2010cites this paper
• A Logical Basis for Component-Oriented Software and Systems Engineering

  2010cites this paper
• Modeling enterprise service-oriented architectural styles

  2010cites this paper
• Semantics Preservation in Model-based Composition

  2010cites this paper
• 1 Towards a Formal Engineering Approach for SOA

  2010influential citation
• A Theory of Design-by-Contract for Distributed Multiparty Interactions

  2010cites this paper
• DeSyRe: decomposition of systems and their requirements: transition from system to subsystem using a criteria catalogue and systematic requirements refinement

  2010cites this paper
• Structured Formalization of Service-Oriented Specifications

  2009cites this paper
• Title Data flow testing of service choreography

  2009cites this paper
• Modeling and Compositional Verification with Dynamic Collaborations

  2009cites this paper
• Uncovering the full potential of data services

  2009cites this paper