物件導向軟體之架構(Object-Oriented Software Construction)探討

생체의 모델링과 Simulation

Web Scale Computing: The Power of Infrastructure as a Service.- Services in the Long Tail World: Challenges and Opportunities.- Services for Science.- Managing and Internet Service Bus.- Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems.- Adaptation of Web Service Composition Based on Workflow Patterns.- Protocol-Based Web Service Composition.- Design and Implementation of a Fault Tolerant Job Flow Manager Using Job Flow Patterns and Recovery Policies.- Building Mashups for the Enterprise with SABRE.- Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.- Automatic Workflow Graph Refactoring and Completion.- Authorization and User Failure Resiliency for WS-BPEL Business Processes.- Reasoning on Semantically Annotated Processes.- Event-Driven Quality of Service Prediction.- Automatic Realization of SOA Deployment Patterns in Distributed Environments.- The LLAMA Middleware Support for Accountable Service-Oriented Architecture.- ubiSOAP: A Service Oriented Middleware for Seamless Networking.- Towards a Service-Oriented Approach for Managing Context in Mobile Environment.- An Autonomic Middleware Solution for Coordinating Multiple QoS Controls.- Transparent Runtime Adaptability for BPEL Processes.- Organizational Constraints to Realizing Business Value from Service Oriented Architectures: An Empirical Study of Financial Service Institutions.- E-Marketplace for Semantic Web Services.- Business Driven SOA Customization.- Sound Multi-party Business Protocols for Service Networks.- Automatic Mash Up of Composite Applications.- Non-desynchronizable Service Choreographies.- A Framework for Semantic Sensor Network Services.- Context-Driven Autonomic Adaptation of SLA.- Determining QoS of WS-BPEL Compositions.- An Initial Approach to Explaining SLA Inconsistencies.- Ontology-Based Compatibility Checking for Web Service Configuration Management.- SOAlive Service Catalog: A Simplified Approach to Describing, Discovering and Composing Situational Enterprise Services.- WorldTravel: A Testbed for Service-Oriented Applications.- TCP???Compose ??? - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences.- A Runtime Quality Architecture for Service-Oriented Systems.- QoS Policies for Business Processes in Service Oriented Architectures.- Deriving Business Service Interfaces in Windows Workflow from UMM Transactions.- From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL.- Batch Invocation of Web Services in BPEL Process.- Formation of Service Value Networks for Decentralized Service Provisioning.- Towards Automated WSDL-Based Testing of Web Services.- Automated Service Composition with Adaptive Planning.- A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus.- Verifying Interaction Protocol Compliance of Service Orchestrations.- Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.- A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.- Integrated Security Context Management of Web Components and Services in Federated Identity Environments.- Predicting and Learning Executability of Composite Web Services.- Authorization Policy Based Business Collaboration Reliability Verification.- VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.- A Framework for Advanced Modularization and Data Flow in Workflow Systems.- Model Identification for Energy-Aware Management of Web Service Systems.- LASS - License Aware Service Selection: Methodology and Framework.- Integrated and Composable Supervision of BPEL Processes.- Optimised Semantic Reasoning for Pervasive Service Discovery.- COSMA - An Approach for Managing SLAs in Composite Services.- Resource Calculations with Constraints, and Placement of Tenants and Instances for Multi-tenant SaaS Applications.- SPIN: Service Performance Isolation Infrastructure in Multi-tenancy Environment.- Management as a Service for IT Service Management.- SMART: Application of a Method for Migration of Legacy Systems to SOA Environments.- Discovering and Deriving Service Variants from Business Process Specifications.- Market Overview of Enterprise Mashup Tools.- Siena: From PowerPoint to Web App in 5 Minutes.- Exploration of Discovered Process Views in Process Spaceship.- ROME4EU: A Web Service-Based Process-Aware System for Smart Devices.- WS-Engineer 2008.- MetaCDN: Harnessing Storage Clouds for High Performance Content Delivery.- Yowie: Information Extraction in a Service Enabled World.

Service-oriented computing - ICSOC 2008 : 6th international conference Sydney, Australia, December 1-5, 2008 proceedings

Service-oriented architecture (SOA) is gaining momentum as an emerging distributed system architecture for business-to-business collaborations. This momentum can be observed in both industry and academic research. SOA presents new challenges and opportunities for testing and verification, leading to an upsurge in research. This paper surveys the previous work undertaken on testing and verification of service-centric systems, which in total are 177 papers, showing the strengths and weaknesses of current strategies and testing tools and identifying issues for future work. Copyright © 2012 John Wiley & Sons, Ltd.

Testing and verification in service-oriented architecture: a survey

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognized, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper proposes a new theory of monitored π-calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously communicate through multiparty sessions. Our theory establishes a framework for semantically precise decentralised run-time enforcement and provides reasoning principles over monitored distributed applications, which complement existing static analysis techniques. We introduce asynchrony through the means of explicit routers and global queues, and propose novel equivalences between networks, that capture the notion of interface equivalence, i.e. equating networks offering the same services to a user. We illustrate our static-dynamic analysis system with an ATM protocol as a running example and justify our theory with results: satisfaction equivalence, local/global safety and transparency, and session fidelity.

/pdf/monitoring-networks-through-multiparty-session-types-2v0giimmcx.pdf

Monitoring Networks through Multiparty Session Types

Validation and verification of Web services choreographies by using timed automata

A Petri net approach for the design and analysis of Web Services Choreographies

In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions that these services must fulfill, such as real-time constraints. In this work we present a visual model that allows us to specify e-contracts in a user friendly way, including conditional behavior and realtime constraints. A case study is presented to illustrate how this visual model defines e-contracts and a preliminary evaluation of the model is also done.

A Model for Visual Specification of E-contracts

This paper presents a methodology to perform passive testing based on invariants of distributed systems with time information. This approach is supported by the following idea: A set of invariants represents the most relevant expected properties of the implementation under test. Intuitively, an invariant expresses the fact that each time the system under test performs a given sequence of actions, then it must exhibit a behavior reflected in the invariant. We call these invariants local because they only check the correctness of the logs that have been recorded in each isolated system.

We discuss the type of errors that are undetectable by using only local invariants. In order to cope with these limitations, this paper introduces a new family of invariants, called globals to deal with more subtle characteristics. They express properties of a set of systems, by making relations between the set of recorded local logs. In addition, we show that global invariants are able to detect the class of undetected errors for local invariants.

Passive testing of web services

In this paper we introduce a tool called the Web Service Translation tool (WST), which we are developing to implement a methodology for the design, validation and verification of Web Services with timed restrictions. This methodology works by making several translations, from phase to phase in the software development life cycle, where the system is represented at each phase by XML models. We use XSL Transformations (XSLT), which is a language for transforming XML documents. The purpose of these translations is to generate XML code automatically for a Web Service system and to obtain Web Services description models with Timed Automata for validating and verifying composite Web Services with time restrictions.

M. Emilia Cambronero

Papers

Validation and verification of Web services choreographies by using timed automata

A Petri net approach for the design and analysis of Web Services Choreographies

A Model for Visual Specification of E-contracts

Passive testing of web services

WST: a tool supporting timed composite Web Services Model transformation