This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

Find out which technologies enable the Grid and how to employ them successfully! This invaluable text provides a complete, clear, systematic, and practical understanding of the technologies that enable the Grid. The authors outline all the components necessary to create a Grid infrastructure that enables support for a range of wide-area distributed applications. The Grid: Core Technologies takes a pragmatic approach with numerous practical examples of software in context. It describes the middleware components of the Grid step-by-step, and gives hands-on advice on designing and building a Grid environment with the Globus Toolkit, as well as writing applications. The Grid: Core Technologies: Provides a solid and up-to-date introduction to the technologies that underpin the Grid. Contains a systematic explanation of the Grid, including its infrastructure, basic services, job management, user interaction, and applications. Explains in detail OGSA (Open Grid Services Architecture), Web Services technologies (SOAP, WSDL, UDDI), and Grid Monitoring. Covers Web portal-based tools such as the Java CoG, GridPort, GridSphere, and JSR 168 Portlets. Tackles hot topics such as WSRF (Web Services Resource Framework), the Semantic Grid, the Grid Security Infrastructure, and Workflow systems. Offers practical examples to enhance the understanding and use of Grid components and the associated tools. This rich resource will be essential reading for researchers and postgraduate students in computing and engineering departments, IT professionals in distributed computing, as well as Grid end users such as physicists, statisticians, biologists and chemists.

As a popular and powerful medium, mobile use has increased significantly across the world. The effects of these communication devices have not only transformed how we communicate but also how we gather and distribute information in a variety of industries including healthcare, business, and education. Impacts of Mobile Use and Experience on Contemporary Society provides cross-disciplinary research that ties together use and experience examining the transformative influence of mobile technology and how it is reshaping who we are and what we do. Featuring research that investigates the impacts on both actors and activities with topic coverage that includes academic application, economic value, and mobile learning, scholars from different disciplines from all over the world identify the crucial implications behind mobile technology. Included amongst the targeted audience are educators, policymakers, healthcare professionals, managers, academicians, researchers, and practitioners.

This IBM® Redbooks® publication describes IBM TXSeries® for Multiplatforms, which is the premier IBM distributed transaction processing software for business-critical applications. Before describing distributed transaction processing in general, we introduce the most recent version of TXSeries for Multiplatforms. We focus on the following areas: The technical value of TXSeries for Multiplatforms New features in TXSeries for Multiplatforms Core components of TXSeries Common TXSeries deployment scenarios Deployment, development, and administrative choices Technical considerations It also demonstrates enterprise integration with products, such as relational database management system (RDBMS), IBM WebSphere® MQ, and IBM WebSphere Application Server. In addition, it describes system customization, reviewing several features, such as capacity planning, backup and recovery, and high availability (HA). We describe troubleshooting in TXSeries. We also provide details about migration from version to version for TXSeries. A migration checklist is included. We demonstrate a sample application that we created, called BigBlueBank, its installation, and the server-side and client-side programs. Other topics in this book include application development and system administration considerations. This book describes distributed IBM Customer Information Control System (IBM CICS®) solutions, and how best to develop distributed CICS applications.

The web services architecture provides a new way to think about and implement application-to-application integration and interoperability that makes the development platform irrelevant. Two applications, regardless of operating system, programming language, or any other technical implementation detail, communicate using XML messages over open Internet protocols such as HTTP or SMTP. The Simple Open Access Protocol (SOAP) is a specification that details how to encode that information and has become the messaging protocol of choice for Web services.Programming Web Services with SOAP is a detailed guide to using SOAP and other leading web services standards--WSDL (Web Service Description Language), and UDDI (Universal Description, Discovery, and Integration protocol). You'll learn the concepts of the web services architecture and get practical advice on building and deploying web services in the enterprise.This authoritative book decodes the standards, explaining the concepts and implementation in a clear, concise style. You'll also learn about the major toolkits for building and deploying web services. Examples in Java, Perl, C#, and Visual Basic illustrate the principles. Significant applications developed using Java and Perl on the Apache Tomcat web platform address real issues such as security, debugging, and interoperability.Covered topic areas include: The Web Services Architecture SOAP envelopes, headers, and encodings WSDL and UDDI Writing web services with Apache SOAP and Java Writing web services with Perl's SOAP::Lite Peer-to-peer (P2P) web services Enterprise issues such as authentication, security, and identity Up-and-coming standards projects for web services Programming Web Services with SOAP provides you with all the information on the standards, protocols, and toolkits you'll need to integrate information services with SOAP. You'll find a solid core of information that will help you develop individual Web services or discover new ways to integrate core business processes across an enterprise.

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 12th International Middleware Conference, held in Lisbon, Portugal, in December 2011. The 22 revised full papers presented together with 2 industry papers and an invited paper were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on social networks, storage and performance management, green computing and resource management, notification and streaming, replication and caching, security and interoperability, and run-time (re)configuration and inspection.