Search

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

CAiSE 2000 was the 12th in the series of International Conferences on Advanced Information Systems Engineering. In the year 2000 the conference returned to Stockholm where it was organized the very first time. Since that year, 1989, the CAiSE conferences have developed into an important forum for the presentation and exchange of research results and practical experiences within the field of Information Systems Engineering. The objective of the CAiSE conference series is to bring together researchers and practitioners in the field of information systems engineering to meet annually in order to discuss evolving research issues and applications in this field. The CAiSE conference series also aims to provide an opportunity for young scientists to establish relationships with senior scientists in their areas of interest. Stockholm is an important center of research and development for some of the leading IT and communications companies in Europe and indeed, in the world. In tune with this environment, a major theme of CAiSE 2000 was'information systems and services in a digitized world'. This theme reflects the vast improvements in communication technology, including the increasing use of Internet and WWW, that has taken place over the last years, and that has led to better communication and easier information access in general. In addition, this development has initiated changes in the way organizations cooperate and trade.

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the ”International Conf- ence on Fault-Tolerant Computing Systems”, was organized during the period 1982–1991, bythe German Technical Interest Group ”Fault-Tolerant Computing Systems”. The other series, known as the ”International Conference on Fault- Tolerant Systems and Diagnostics”, was organized during the period 1975–1990 in the former Czechoslovakia, Poland, Bulgaria, and the former GDR. The c- position of the EDCC steering committee and the organizing committees of the successive issues of the conference have mirrored the East–West uni?cation ch- acter of the conference series. The EDCC conference is becoming a unique meeting point for researchers and practitioners from all over the world in the?eld of Dependable Systems. It is organized bythe SEE Working Group ”Dependable Computing” in France, the GI/ITG/GMA Technical Committee on Dependabilityand Fault Tolerance in Germany, and the AICA Working Group ”Dependability of Computer Systems” in Italy. Furthermore, committees of several global professional organizations, such as IEEE and IFIP, support the conference.

We welcomed participants to the 1st EurAsian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) held in Iran. The aim of the conference was to serve as a forum to bring together researchers from academia and commercial developers from industry to discuss the current state of the art in ICT, mainly in Europe and Asia. Inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social events. Keynote addresses, research presentation, and discussion during the conference helped to further develop the exchange of ideas among the researchers, developers, and practitioners who attended. The conference attracted more than 300 submissions and each paper was reviewed by at least three program committee members. The program committee selected 119 papers from authors of 30 different countries for presentation and publication, a task which was not easy due to the high quality of the submitted papers. Eleven workshops were organized in parallel with the EurAsia ICT conference. The proceedings of these workshops, with more than 100 papers, were published by the Austrian Computer Society. We would like to express our thanks to our colleagues who helped with putting together the technical program: the program committee members and external reviewers for their timely and rigorous reviews of the papers, and the organizing committee for their help in administrative work and support. We owe special thanks to Thomas Schierer for always being available when his helping hand was needed.

Every year we witness acceleration in the availability, deployment, and use of distributed applications. However building increasingly sophisticated applications for extant and emerging networked systems continues to be challenging for several reasons: – Abstract models of computation used in distributed systems research often do not fully capture the limitations and the unpredictable nature of realistic distributed computing platforms; – Fault-tolerance and ef?ciency of computation are dif?cult to combine when the c- puting medium is subject to changes, asynchrony, and failures; – Middleware used for constructing distributed software does not provide services most suitable for sophisticated distributed applications; – Middleware services are speci?ed informally and without precise guarantees of e- ciency, fault-tolerance, scalability, and compositionality; – Speci?cation of distributed deployment of software systems is often left out of the development process; – Finally, there persists an organizational and cultural gap between engineering groups developing systems in a commercial enterprise, and research groups advancing the scienti?c state-of-the-art in academic and industrial settings. The objectives of this book are: (1) to serve as a motivation for de?ning future research programs in distributed computing, (2) to help identify areas where practitioners and engineers on the one hand and scientists and researchers on the other can improve the state of distributed computing through synergistic efforts, and (3) to motivate graduate students interested in entering the exciting research?eld of distributed computing.

This book constitutes the refereed proceedings of the 9th International Conference on High-Performance Computing and Networking, HPCN Europe 2001, held in Amsterdam, The Netherlands in June 2001.The 67 revised papers and 15 posters presented were carefully reviewed and selected from a total of almost 200 submissions. Among the areas covered are Web/grid applications of HPCN, end user applications, computational science, computer science, and Java in HPCN.

The Twelfth International Conference on Inductive Logic Programming was held in Sydney, Australia, July 9–11, 2002. The conference was colocated with two other events, the Nineteenth International Conference on Machine Learning (ICML2002) and the Fifteenth Annual Conference on Computational Learning Theory (COLT2002). Startedin1991,InductiveLogicProgrammingistheleadingannualforumfor researchers working in Inductive Logic Programming and Relational Learning. Continuing a series of international conferences devoted to Inductive Logic Programming and Relational Learning, ILP 2002 was the central event in 2002 for researchers interested in learning relational knowledge from examples. The Program Committee, following a resolution of the Community Me- ing in Strasbourg in September 2001, took upon itself the issue of the possible change of the name of the conference. Following an extended e-mail discussion, a number of proposed names were subjected to a vote. In the?rst stage of the vote, two names were retained for the second vote. The two names were: Ind- tive Logic Programming, and Relational Learning. It had been decided that a 60% vote would be needed to change the name; the result of the vote was 57% in favor of the name Relational Learning. Consequently, the name Inductive Logic Programming was kept.

This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16–18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA. Over the past few years, agent technologyhas emerged as a powerful force in computing. Agent technology may well form the foundation for the next gen- ation of computing systems. New and innovative agent concepts and techniques may bring further developments to this exploding area of research. Such work is often strongly inspired by theoretical or empirical studies of human behavior, social intelligence, psychology, arts, biology, computer science and philosophy. Thisworkshopaimedatbringingtogether,inaninterdisciplinaryevent,or- inal thinkers, practitioners and academics with an interest in radical (very - novative) concepts for agent-based systems. The workshop provided a forum to present the latest research?ndings in many aspects of agent technology. The - ganizers welcomed participation by those working in agent architectures, agent communities, agent communications, agent modeling, agent applications and other agent-related areas. We were particularly seeking papers on novel and - novative ideas, pushing the envelope of current agent technology. Contributions without a prototype or working system, i.e., purely conceptual contributions, were welcomed, and ”out-of-the-box” thinkers were especially encouraged to participate. The workshop was structured so as to allow the participants adequate time for discussion and interaction, to exchange ideas and re?ect on the motivations, scienti?c grounds and practical consequences of the concepts presented.

Nowadays, the Internet is the most commonly used medium for the exchange of data in di?erent forms. Presently, over 60 million machines have access to the Internet and to its resources. However, the Internet is also the largest distributed system o?ering di?erent computational services and possibilities not only for cluster computing. If the needs of modern mobile computing and multimedia systems are taken into account, it becomes clear that modern methods must ensure an e?ective development and management of the Internet allowing each user fast access to this huge resource space. The Innovative Internet Computing Systems workshop is organized by the Gesellschaft fur ¨ Informatik(GI) in Germany. It intends to be an open me- ing point for scientists dealing with di?erent aspects of this complex topic. In contrast to the Distributed Communities on the Web workshops, which can be 2 considered as the roots of I CS, special attention is given to fundamental - search works and the application of theoretical and formal results in practical implementations.

Multimedia Interactive Protocols and Systems (MIPS) is the brand new name of a workshop that has been successfully held for the?rst time in 2002 in Coimbra, as the?rst joint edition of two well established series of workshops: Interactive Distributed Multimedia Systems (IDMS) and Protocols for Multimedia Systems (PROMS). The area covered by Multimedia Interactive Protocols and Systems is indeed broad, since it includes technical and practical issues related to d- tributed multimedia technologies, applications and services, with emphasis on their deployment over next generation networks. The topics set for MIPS 2003 were: mobile and wireless multimedia systems; multimedia middleware and communication protocols; Quality of Service issues; resource management for multimedia services; active and programmable netw- king for multimedia applications; mobile agents for multimedia; multimedia d- tribution and transport; tra?c engineering and service engineering; ubiquitous computing; networked audio-video devices; development tools for distributed multimedia applications; multimedia applications such as video-on-demand, - gital video libraries, video games, virtual community, teleworking, teleteaching, e-commerce, virtual reality simulations; performance of protocols and applica- ons;contentmanagement;serviceaccess;security,authentication,privacy,wat- marking; accounting and tari? policing for multimedia teleservices; multimedia encoding and compression. The Call for Papers attracted more than 130 submissions from Europe, Asia and the Americas, covering most of the proposed topics. With the help of a very dedicated Program Committee and of a number of associate reviewers, subm- sions were carefully evaluated, with an average of three reviewers for each paper.

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.

Welcome to the proceedings of the 6th IEEE International Conference on Mobile Agents. MA 2002 took place in Barcelona, Spain and was co-located with the 4th International Workshop on Mobile Agents for Telecommunications Applications. Both events were held at the Universitat Pompeu Fabra, October 22–25, 2002. Mobile agents may be de?ned as programs that, with varying degree of - tonomy, can move between hosts across a network. Mobile agents combine the notions of mobile code, mobile computation, and mobile state. Capabilities of mobile agents include: – Supporting unrealiable networks and disconnected operation – Counteracting low-bandwidth, high-latency communication links – Deploying newbehaviour (through mobile code) and recon?guring systems on-the-?y – Distributing processing load across systems – Improving survivability in the face of network and system failure. Given the above capabilities, mobile agents (while they may not be referred to as such) are nowbecoming accepted as a fundamental architectural construct for the design and development of complex adaptive systems that need to operate in highly dynamic environments. Mobile agents also support applications in several domains such as ubiquitous computing, grid computing, remote sensing, data mining, system management, and agile computing.

This book constitutes the refereed proceedings of the three confederated conferences CoopIS 2002, DOA 2002, and ODBASE 2002, held in Irvine, CA, USA, in October/November 2002. The 77 revised full papers and 10 posters presented were carefully reviewed and selected from a total of 291 submissions. The papers are organized in topical sections on interoperability, workflow, mobility, agents, peer-to-peer and ubiquitous, work process, business and transaction, infrastructure, query processing, quality issues, agents and middleware, cooperative systems, ORB enhancements, Web services, distributed object scalability and heterogeneity, dependability and security, reflection and reconfiguration, real-time scheduling, component-based applications, ontology languages, conceptual modeling, ontology management, ontology development and engineering, XML and data integration, and tools for the intelligent Web.

missions in fact also treat an envisaged mutual impact among them. As for the 2002 edition in Irvine, the organizers wanted to stimulate this cross-pollination with a program of shared famous keynote speakers (this year we got Sycara, - ble, Soley and Mylopoulos!), and encouraged multiple attendance by providing authors with free access to another conference or workshop of their choice. We received an even larger number of submissions than last year for the three conferences (360 in total) and the workshops (170 in total). Not only can we therefore again claim a measurable success in attracting a representative volume of scienti?c papers, but such a harvest allowed the program committees of course to compose a high-quality cross-section of worldwide research in the areas covered. In spite of the increased number of submissions, the Program Chairs of the three main conferences decided to accept only approximately the same number of papers for presentation and publication as in 2002 (i. e., around 1 paper out of every 4–5 submitted). For the workshops, the acceptance rate was about 1 in 2. Also for this reason, we decided to separate the proceedings into two volumes with their own titles, and we are grateful to Springer-Verlag for their collaboration in producing these two books. The reviewing process by the respective program committees was very professional and each paper in the main conferences was reviewed by at least three referees.

missions in fact also treat an envisaged mutual impact among them. As for the 2002 edition in Irvine, the organizers wanted to stimulate this cross-pollination with a program of shared famous keynote speakers (this year we got Sycara, - ble, Soley and Mylopoulos!), and encouraged multiple attendance by providing authors with free access to another conference or workshop of their choice. We received an even larger number of submissions than last year for the three conferences (360 in total) and the workshops (170 in total). Not only can we therefore again claim a measurable success in attracting a representative volume of scienti?c papers, but such a harvest allowed the program committees of course to compose a high-quality cross-section of worldwide research in the areas covered. In spite of the increased number of submissions, the Program Chairs of the three main conferences decided to accept only approximately the same number of papers for presentation and publication as in 2002 (i. e., around 1 paper out of every 4–5 submitted). For the workshops, the acceptance rate was about 1 in 2. Also for this reason, we decided to separate the proceedings into two volumes with their own titles, and we are grateful to Springer-Verlag for their collaboration in producing these two books. The reviewing process by the respective program committees was very professional and each paper in the main conferences was reviewed by at least three referees.

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.

On behalf of the PROFES organizing committee we would like to welcome you to the 4th International Conference on Product Focused Software Process Impro- ment (PROFES 2002) in Rovaniemi, Finland. The conference was held on the Arctic Circle in exotic Lapland under the Northern Lights just before Christmas time, when Kaamos (the polar night is known in Finnish as ”Kaamos”) shows its best characteristics. PROFES has established itself as one of the recognized international process improvement conferences. Despite the current economic downturn, PROFES has attracted a record number of submissions. A total of 70 full papers were subm- ted and the program committee had a di?cult task in selecting the best papers to be presented at the conference. The main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by so- ware process assessment, software measurement, process modeling, and techn- ogy transfer. It has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice and the relevant research results from academia.

The Internet has nearly a ten year history as a global, public communication infrastructure. The two applications that have created the demand from private and business users have been the World-Wide Web and electronic mail. We have inthelast?veyearsseentherapidlyemergingpopularityofpeer-to-peersharing of?les, mostly for music, and to a more limited extent also the introduction of Internet telephony, television, and radio. These services place demands on the infrastructure that are higher with respect to quality and connectivity than web sur?ng and e-mail. Mobile (cellular) telephony has rivaled the Internet with respect to growth during the last decade. The hitherto separate networks are now set to merge into a mobile Internet that will give wireless access to all Internet services. The ambition behind the Internet's continuing development is that it should serve as a general-purpose infrastructure and provide adequate support for all types of applications in terms of quality, connectivity, and cost. Thus the demands made on all Internet services must also be met by wireless access, and the circuit quality of a voice connection for mobile telephony must also be provided in the wiredIPnetworks.

IP is clearly emerging as the networking paradigm for the integration of the tr-?c?ows generated by a variety of new applications (IP telephony, multimedia multicasting, e-business,...), whose performance requirements may be extremely di?erent. This situation has generated a great interest in the development of te- niques for the provision of quality of service (QoS) guarantees in IP networks. Two proposals have already emerged from the IETF groups IntServ and Di?- Serv, but research and experiments are continuing, in order to identify the most e?ective architectures and protocols. The Italian Ministry for University and Scienti?c Research has been funding a research program on these topics, named “Techniques for quality of service guarantees in multiservice telecommunication networks” or MQOS for short, in the years 1999 and 2000. At the end of its activity, the MQOS program has organized in Rome (Italy) in January 2001 the International Workshop on QoS in Multiserevice IP N- works (QoS-IP 2001), for the presentation of high-quality recent research results on QoS in IP networks, and the dissemination of the most relevant research results obtained within the MQOS program.

The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.

This book constitutes the refereed proceedings of the two thematic workshops held jointly with Networking 2002: WEB Engineering and Peer-to-Peer C- puting. Networking 2002 was organized by the Italian National Research Council (CNR) and was sponsored by the IFIP working groups WG 6.2 (Network and Intern- work Architectures), WG 6.3 (Performance of Communication Systems), and WG 6.8 (Wireless Communications). The program of the conference covered?ve days and included the main conference (three days), two tutorial days, and one day of thematic workshops. TheInternationalWorkshoponWebEngineeringwasdedicatedtothedisc- sionoftheprincipalissuesthatemergeinthedesignandimplementationoflar- scale, complex, Web-based systems. Scalability issues pose a number of ch- lenging problems to solve for both applications and the underlying web/network infrastructure. On one hand, web services and internet applications must take into account network performance and transport protocol design, to achieve - ceptable performance and robustness. On the other hand, emerging network and Web technologies are determined by the requirements of these applications. Fifteen papers were presented that illustrated the current state of the art in this area. In addition to the authors of these papers, the Workshop on Web Engine- ing was attended by about thirty participants, who contributed to the workshop by stimulating fruitful discussions at the end of each presentation. Thus, this workshop provided a excellent opportunity for researchers, from both industry and academia, to gather, exchange ideas, and discuss recent results in the dev- opment of Web-based systems and emerging Internet applications.

After some time of early experience Web Services are moving themselves from a new highly fragmented technology to a piece of nowadays infrastructures which promise to address various current challenges. These include especially classical issues of integration and data in a heterogeneous environment. The Web Service technology provides an open and technology-agnostic interface, and furthermore propels new usage paradigms in distributed computing infrastructures like Grid Services. Successful adoption of Web Service technology relies on the de?nition of interoperable architectural building blocks which can be integrated in existing softwarearchitectures,likeJ2EEorCORBAheritage. Interoperabilitywillsurely proveitselfasthecriticalsuccessfactoroftheWebServiceproliferation. Inorder to accomplish these interoperability various standardization bodies such as the W3C, UN or OASIS founded activities to create speci?cations and products implementing these building blocks. As the sister event of the First International Conference on Web Services (ICWS 2003), which was held in Las Vegas, June 23 - 26, USA, has proven to be an excellent catalyst for research and collaboration, the 2003 International C- ference on Web Services - Europe (ICWS-Europe 2003) is expected to continue this trend. The topics of papers collected in this proceedings volume ranges from issues like modeling, development, deployment, publishing, as well as discovery, composition and collaboration, plus monitoring and analytical control. Addit- nal contributions summarize some research and development challenges of bu- ding Web Service solutions. Especially, some contributions present an emerging research direction, namely, Web Services collaboration. Moreover, some major research activities associated with facilitating extended business collaboration using Web services and semantic annotation are also covered.

This book constitutes the thoroughly refereed post-proceedings of the Web- and Database-Related Workshops held during the NetObjectDays international conference NODe 2002, in Erfurt, Germany, in October 2002. The 19 revised full papers presented together with 3 keynote papers were carefully selected during 2 rounds of reviewing and improvement. The papers are organized in topical sections on advanced Web-services, UDDI extensions, description and classification of Web services, applications based on Web-services, indexing and accessing, Web and XML databases, mobile devices and the Internet, and XML query languages.

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.

Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. According to recent evaluations, peer-to-peer traffic now exceeds Web traffic, once the dominant traffic on the Internet. While the most popular peer-to-peer applications remain file sharing and content distribution, new applications such as Internet telephony are emerging. Within just a few years, the huge popularity of peer-to-peer systems and the explosion of peer-to-peer research have created a large body of knowledge, but this book is the first textbook-like survey to provide an up-to-date and in-depth introduction to the field. This state-of-the-art survey systematically draws together prerequisites from various fields, presents techniques and methodologies in a principled and coherent way, and gives a comprehensive overview on the manifold applications of the peer-to-peer paradigm. Leading researchers contributed their expert knowledge to this book, each in his/her own specific area. Lecturers can choose from the wide range of 32 tightly integrated chapters on all current aspects of P2P systems and applications, and thus individually tailor their class syllabi. R&D professionals active in P2P will appreciate this book as a valuable source of reference and inspiration.

This book constitutes the refereed proceedings of the Third International Conference on Distributed Computing and Internet Technology, ICDCIT 2006, held in Bhubaneswar, India in December 2006. The 24 revised full papers and 10 revised short papers presented together with 1 keynote address and 1 invited talk cover the main areas distributed computing, internet technology, system security, data mining, and software engineering.

Conventional wisdom of the'software stack'approach to building applications may no longer be relevant. Enterprises are pursuing new ways of organizing systems and processes to become service oriented and event-driven. Leveraging existing infrastructural investments is a critical aspect to the success of companies both large and small. Enterprises have to adapt their systems to support frequent technological changes, mergers and acquisitions. Furthermore, in a growing global market, these systems are being called upon to be used by external business partners. Technology is often difficult, costly and complex and without modern approaches can prevent the enterprise from becoming agile. Enterprise Service Oriented Architectures helps readers solve this challenge in making different applications communicate in a loosely coupled manner. This classic handbook leverages the experiences of thought leaders functioning in multiple industry verticals and provides a wealth of knowledge for creating the agile enterprise. In this book, you will learn: • How to balance the delivery of immediate business value while creating long-term strategic capability • Fundamental principles of a service-oriented architecture (find, bind and execute) • The four aspects of SOA (Production, Consumption, Management and Provisioning) • How to recognize critical success factors to implementing enterprise SOAs • Architectural importance of service registries, interfaces and contracts • Why improper service decomposition can hurt you later rather than sooner • How application design and integration practices change as architects seek to implement the'agile'enterprise About the Authors James McGovern is an enterprise architect for The Hartford. He is an industry thought leader and co-author of the bestselling book: A Practical Guideto Enterprise Architecture. Oliver Sims is a recognized leader in the architecture, design and implementation of service-oriented and component-based enterprise systems. He was a founding member of the OMG Architecture Board. He was co-author of the groundbreaking book: Business Component Factory. Ashish Jain is a Principal Architect with Ping Identity Corporation, a leading provider of solutions for identity federation. Prior to joining Ping Identity, he worked with BEA Systems where his role was to assist BEA customers in designing and implementing their e-business strategies using solutions based on J2EE. He holds several industry certifications from SUN and BEA and is also a board member for the Denver BEA User group. Mark Little is Director of Standards and SOA Manager for JBoss Inc. Prior to this, he was Chief Architect for Arjuna Technologies Ltd and a Distinguished Engineer at Hewlett-Packard. As well as being an active member of the OMG, JCP, OASIS and W3C, he is an author on many SOA and Web Services standards. He also led the development of the world's first standards-compliant Web Services Transaction product.

There is a growing interest in the use of ontologies for multi-agent system app- cations. On the one hand, the agent paradigm is successfully employed in those applications where autonomous, loosely-coupled, heterogeneous, and distributed systems need to interoperate in order to achieve a common goal. On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number of applications have bene?ted from the use of ontologies as a means to achieve semantic interoperability among heterogeneous, distributed systems. In principle ontologies and agents are a match made in heaven, that has failed to happen. What makes a simple piece of software an agent is its ability to communicate in a ”social” environment, to make autonomous decisions, and to be proactive on behalf of its user. Communication ultimately depends on und- standing the goals, preferences, and constraints posed by the user. Autonomy is theabilitytoperformataskwithlittleornouserintervention,whileproactiveness involves acting autonomously with no need for user prompting. Communication, but also autonomy and proactiveness, depend on knowledge. The ability to c- municate depends on understanding the syntax (terms and structure) and the semantics of a language. Ontologies provide the terms used to describe a domain and the semantics associated with them. In addition, ontologies are often comp- mented by some logical rules that constrain the meaning assigned to the terms. These constraints are represented by inference rules that can be used by agents to perform the reasoning on which autonomy and proactiveness are based.

USM 2000 is the third event in a series of international IFIP/GI conferences on Trends in Distributed Systems. Following the venues in Aachen, Germany (1996) and Hamburg, Germany (1998), this event in Munich considers the trend towards a Universal Service Market – USM 2000. The trend towards a universal service market has many origins, e.g., the integration of telecom and data communications, the deregulation e?orts with respect to telco markets, the globalization of information, the virtualization of companies, the requirement of a short time-to-market, the advances in network technologies, the increasing acceptance of e-commerce, and the increase in - bility. This leads to new business-to-business (B2B) and business-to-customer (B2C) environments that o?er both challenges and opportunities to enterprises and end-users. There is the need for ubiquitous services, trading, brokering and information management, for service market and business models, and for?e- ble infrastructures for dynamic collaboration. Researchers, service vendors, and users must cooperate to set up the app- priate requirements for a universal service market and to?nd solutions with respect to supporting platforms, middleware, distributed applications, and m- agement. The basis for these solution is a common understanding of means for de?ning, creating, implementing, and deploying the service market. Then, s- vice market makers, service aggregators, service auctioneers, ISP, ASP, BPO, and customers can freely interact in a dynamic, open, and universal market place.

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level. This book is inspired by the ICSE 2002 Workshop on Architecting Dependable Systems; it is devoted to current topics relevant for improving the state of the art for architecting dependability. Some of the 13 peer-reviewed papers presented were initially presented at the workshop, others were invited in order to achieve competent and complete coverage of all relevant aspects. The papers are organized in topical sections on - architectures for dependability - fault tolerance in software architectures - dependability analysis in software architectures - industrial experience.

This book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007, held in Bangalore, India, in December 2007. The 13 revised full papers and 20 revised short papers presented together with three invited papers were carefully reviewed and selected from 170 submissions. The papers cover the main areas of distributed computing, internet technology, system security, data mining, and software engineering.

This book contains the proceedings of the Workshop on OpenMP Applications and Tools, WOMPAT 2003. WOMPAT 2003 was held on June 26and 27, 2003 in Toronto, Canada. The workshop brought together the users and developers of the OpenMP API to meet, share ideas and experiences, and to discuss the latest developments in OpenMP and its applications. The OpenMP API is now a widely accepted standard for high-level shar- memory parallel programming. Since its introduction in 1997, OpenMP has gained support from the majority of high-performance compiler and hardware vendors. WOMPAT 2003 was the latest in a series of OpenMP-related workshops, which have included the annual o?erings of the Workshop on OpenMP Appli- tions and Tools (WOMPAT), the European Workshop on OpenMP (EWOMP) and the Workshop on OpenMP: Experiences and Implementations (WOMPEI). The WOMPAT 2003 program committee formally solicited papers. Extended abstracts were submitted by authors and all abstracts were reviewed by three members of the program committee. Of the 17 submitted abstracts, 15 were selected for presentation at the workshop. This book was published in time to be available at WOMPAT 2003, and therefore we hope that the papers contained herein are timely and useful for current developers and researchers. This book also contains selected papers from WOMPAT 2002. No formal proceedings had been created for this previous o?ering of the workshop, and so presenters were invited to prepare their papers for inclusion in this volume.

Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is still required to interpret the results. The Semantic Web unleashes a revolution of new possibilities in which content is given formal, machine processable semantics. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web Services and software agents) to more formal aspects (logic and inference). It includes: real-world (and complete) examples of the application of Semantic Web concepts; how the technology presented and discussed throughout the book can be extended to other application areas, i.e. Geographic Information Sciences, Bioinformatics and Fine Arts.

Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management. This shows that the issues related to communications management, architectures, and service creation are still of great interest, while the virtual home environment is emerging as a new key topic in IS&N. In summary, this book reflects the state of the art in research on IS&N topics, with the focus mentioned above, not only from European Union co-funded projects (mainly in the ACTS programme), but also from research organisations around the globe. February 2000 Jaime Delgado George D. Stamoulis Alvin Mullery Didoe Prevedourou Keith Start Previous IS&N Conferences and Proceedings The first IS&N conference was organised in 1992 in Paris, France. Since then, the IS&N conferences have been held almost every year, with proceedings published as part of the Lecture Notes in Computer Science (LNCS) series of Springer-Verlag. These are as follows.'Towards a Pan-European Telecommunication Service Infrastructure - IS&N'94', Hans-Jiirgen Kugler, Al Mullery, Norbert Niebert (Eds.), Aachen, Germany, September 1994, LNCS 851, ISBN 3-540-58420-X.'Bringing Telecommunication Services to the People - IS&N'95', Anne Clarke, Mario Campolargo, Nikos Karatzas (Eds.), Heraklion, Greece, October 1995, LNCS 998, ISBN 3-540-60479-0.'Intelligence in Services and Networks: Technology for Cooperative Competition — IS&N'97\ Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed (Eds.), Cernobbio, Italy, May 1997, LNCS 1238, ISBN 3-540-63135-6.

This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), which was held in Como (Italy) in July 2007. The conference is the?agship event of the community, promoting research and scienti?c progress in the Web engineering?eld. The importance of the Web — and of its many related technologies— is widening the scope of the conference year after year, and is also leading to the cross-fertilization of several related disciplines (e.g., requirements engineering, testing and analysis, communication science, HCI, multimedia, and more).The conference brings together practiti- ers, scientists, and researchers committed to investigating and innovating the technologies, methodologies, tools, processes, and techniques used to construct, verify, and maintain Web-based applications and services. This year, the Call for Papers attracted a high number of submissions with a verygoodcoverageof allthe di?erentfacets of the Web engineeringdiscipline.A totalof172submissions(asforresearchpapers)allowedusto buildanattractive program of high technical and scienti?c quality. The 39 selected submissions comprise 26 full papers and 13 short papers (with an acceptance rate close to 23%); they cover the di?erent aspects highlighted in the Call for Papers and represent well the many Web engineering research groups active worldwide. The program spans from service-based systems to testing and analysis, from quality and metrics to models, and from semantic issues and Web 2.0 to application development techniques.

This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc. Formal methods have a fundamental role to play in shaping innovations in Web service technology. For instance, formal methods help to de?ne and to understand the semantics of languages and protocols that underpin existing infrastructures for Web services, and to formulate features that are found to be lacking. They also provide a basis for reasoning about Web service behaviour, for example to discover individual services that can ful?l a given goal, or even to compose multiple services that can collectively ful?l a goal. Finally, formal analysis of security properties and performance are relevant in many application areas of Web services such as e-commerce and e-business.

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.

Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems development. Key features include a resource for the fundamentals of embedded systems design and development with an emphasis on software, an exploration of the 8051 microcontroller as it pertains to embedded systems, comprehensive tutorial materials for instructors to provide students with labs of varying lengths and levels of difficulty, and supporting website including all sample codes, software tools and links to additional online references.