الصفحة 1
الصفحة 1
Ontologies for Agents : Theory and Experiences
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.
Models in Software Engineering ; Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006, in Genoa, Italy, in October 2006 (see LNCS 4199). The 32 revised full papers were carefully selected for inclusion in the book.
Model-Driven Testing : Using the UML Testing Profile
Written by the original members of this standardization group, this book shows you how to use UML to test complex software systems. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification. You’ll learn how UTP concepts can be used for functional and non-functional testing, with example applications and best practices for user-interfaces and service oriented architectures. In addition, the authors demonstrate how to apply UTP using frameworks like TTCN-3 and the JUnit test framework for Java.
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.
Model-driven architecture in practice ; A Software Production Environment Based on Conceptual Modeling
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial practice. The book combines a sound theoretical approach based on more than 10 years' research.
Model-Driven Architecture - Foundations and Applications ; 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring together industry and academia to tackle the problems in model-driven development. This volume includes 18 foundation papers and 12 application papers, which is a fine balance between both worlds. ECMDA-FA 2006 also hosted six workshops on both theoretical and practical aspects of MDA. Furthermore, the keynote speakers, David Frankel and Bran Selic, from some of the world’s largest IT companies proved that industry is very much involved in MDA. This second ECMDA-FA conference is the result of the work of the authors who submitted a total of 78 papers, the Program Committee members who took the effort to review the papers, the people organizing the workshops, and of course the Steering Committee. All in all, several hundreds of people have worked hard to make this conference a success.
Model-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Model driven Engineering Languages and Systems; 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions.
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Model Driven Engineering Languages and Systems ; Vol. 3713 : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more.
Model driven architecture- foundations and applications ; 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007. The papers address all current issues of model-driven architecture, including foundational topics and application-oriented issues.
Model Driven Architecture ; European MDA Workshops : Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the specification of system functionality from the implementation on a specific platform. It is aimed at making software assets more resilient to changes caused by emerging technologies. While stressing the importance of modeling, the MDA initiative covers a wide spectrum of research areas. Further efforts are required to bring them into a coherent approach based on open standards and supported by matured tools and techniques. This volume contains the selected papers of two workshops on “Model-Driven Architecture – Foundations and Applications” (MDAFA): MDAFA 2003 held at the University of Twente, Twente, The Netherlands, June 26–27, 2003, and MDAFA 2004 held at Linko ¨ping University, Link¨ oping, Sweden, June 10–11, 2004. The goal of the workshops was to understand the foundations of MDA, to share experience in applying MDA techniques and tools, and to outline future research directions. The workshops organizers encouraged authors of accepted papers to re-submit their papers to a post-workshop reviewing process; 15 of these papers were accepted to appear in this volume on MDA.
Model Driven Architecture : Foundations and Applications ; 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2005, held in Nuremberg, Germany, in November, 2005. The papers are organized in topical sections on MDA development processes, MDA for embedded and real-time systems, and more.
Metainformatics ; International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
Constitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book reviews 17 papers that are devoted to finding useful abstractions, analytical frameworks, and systems that improve the understanding of the underlying structure of disciplines and families of systems within computer science.
Interactive systems : Design specification, and verification ; 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
Integrated formal methods ; 5th International conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Innovative techniques in instruction technology, e-learning, e-assessment, and education
Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics:E-Learning including development of courses and systems for technical and liberal studies programs; online laboratories; intelligent testing using fuzzy logic; evaluation of on line courses in comparison to traditional courses; mediation in virtual environments; and methods for speaker verification.
Information Retrieval Technology ; Vol. 4182 ; 3rd Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings
Asia Information Retrieval Symposium (AIRS) 2006 was the third AIRS conf- ence in the series established in 2004.The ?rst AIRS washeld in Beijing, China, and the 2nd AIRS was held in Cheju, Korea. The AIRS conference series traces its roots to the successful Information Retrieval with Asian Languages (IRAL) workshop series which started in 1996. The AIRS series aims to bring together international researchers and dev- opers to exchange new ideas and the latest results in information retrieval. The scope of the conference encompassed the theory and practice of all aspects of information retrieval in text, audio, image, video, and multimedia data. Wearehappyto reportthatAIRS2006received148submissions,thehighest number since the conference series started in 2004. Submissions came from Asia and Australasia, Europe, and North America. We accepted 34 submissions as regular papers (23%) and 24 as poster papers (16%). We would like to thank all the authors who submitted papers to the conf- ence, the seven area chairs, who worked tirelessly to recruit the program c- mittee members and oversaw the review process, and the program committee members and their secondary reviewers who reviewed all the submissions.
