Create more powerful, flexible applications using a new extension of the XML standard Programmers are finding that the XMI extension of the XML standard provides a lot more flexibility in writing software for sharing data. Written by one of the principal authors of XMI, this book provides programmers with everything they need to know to best utilize this extension. The authors cover the basics first, detailing the essential concepts and explaining how XMI relates to XML and UML. Readers will then learn how to program with XMI, including how to express data in XMI, create XMI documents with Java, and merge documents. Samples of real-world XMI applications are also included throughout the book that show how IBM is using XMI with data warehousing and how to convert simple relational databases into XMI. CD-ROM includes sample XMI source code and software tools for developing XMI and XML applications.

The emerging Second-Generation Web is based entirely on XML and related technologies. It is intended to result in the creation of the Semantic Web, on which computers will be able to deal with the meaning ("semantics") of Web data and hence to process them in a more effective and autono mous way. This new version of the Web introduces a multitude of novel concepts, terms, and acronyms. Purpose, Scope and Methods This dictionary is an effort to specify the terminological basis of emerging XML and Semantic Web technologies. The ultimate goal of this dictionary is even broader than just to define the meaning of newwords - itaims to develop aproper understandingofthese leading-edge technologies. To achieve this, comprehensible definitions of technical terms are supported by numerous diagrams and code snippets, clearly annotated and explained. The main areas covered in this dictionary are: (1) XML syntax and core technologies, such as Namespaces, Infoset and XML Schema; (2) all the major membersofthe XML family oftechnologies, such as XSLT, XPath and XLink; (3) numerous XML-based domain-specific languages, such as NewsML (News Markup Language); (4) the concept and architecture of the Semantic Web; (5) key Semantic Web technologies,such as RDF (Resource Description Framework), RDF Schema and OWL (Web Ontology Language); and (6) Web services, including WSDL (Web Services Description Lan guage) and SOAP (Simple Object Access Protocol).

This book is the proceedings of the 2011 International Conference on Frontiers in Computer Education (ICFCE 2011) in Sanya, China, December 1-2, 2011. The contributions can be useful for researchers, software engineers, and programmers, all interested in promoting the computer and education development. Topics covered are computing and communication technology, network management, wireless networks, telecommunication, Signal and Image Processing, Machine Learning, educational management, educational psychology, educational system, education engineering, education technology and training. The emphasis is on methods and calculi for computer science and education technology development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems.

Reviews planning and designing architecture and implementing the data warehouse. Includes discussions on how and why to apply IBM tools. Offers tips, tricks, and workarounds to ensure maximum performance. Companion Web site includes technical notes, product updates, corrections, and links to relevant material and training.

We can now say that it is really a big pleasure for us to welcome all of you to the proceedings of CAiSE 2005 which was held in Porto.

This book is the outcome of an international research seminar on objects, agents, and features held at Dagstuhl Castle, Germany in February 2003. In recent years, concepts in object-oriented modeling and programming have been extended in variuos directions, giving rise to new paradigms such as agent-orientation and feature orientation. This book explores the relationship between the original paradigm and the two new ones. The 12 revised full papers presented together with an introductery overview by the volume editors were carefully reviewed and improved for publication. Among the topics addressed are agent coordination in object-orientation, feature orientation, components and feature interaction, software evolution, agent modeling and analysis, agent interaction, component-based systems, formal specification of agents, and feature engineering.

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool. Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods. This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains.