This book contains the refereed proceedings of the 12th International Conference on Business Process Modeling, Development and Support (BPMDS 2011) and the 16th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2011), held together with the 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011) in London, UK, in June 2011. The 22 papers accepted for BPMDS were selected from 61 submissions and cover a wide spectrum of issues related to business processes development, modeling, and support. They are grouped into sections on BPMDS in practice, business process improvement, business process flexibility, declarative process models, variety of modeling paradigms, business process modeling and support systems development, and interoperability and mobility. The 16 papers accepted for EMMSAD were chosen from 31 submissions and focus on exploring, evaluating, and enhancing current information modeling methods and methodologies. They are grouped in sections on workflow and process modeling extensions, requirements analysis and information systems development, requirements evolution and information systems evolution, data modeling languages and business rules, conceptual modeling practice, and enterprise architecture.

Research of discrete event systems is strongly motivated by applications in flex ible manufacturing, in traffic control and in concurrent and real-time software verification and design, just to mention a few important areas. Discrete event system theory is a promising and dynamically developing area of both control theory and computer science. Discrete event systems are systems with non-numerically-valued states, inputs, and outputs. The approaches to the modelling and control of these systems can be roughly divided into two groups. The first group is concerned with the automatic design of controllers from formal specifications of logical requirements. This re search owes much to the pioneering work of P.J. Ramadge and W.M. Wonham at the beginning of the eighties. The second group deals with the analysis and op timization of system throughput, waiting time, and other performance measures for discrete event systems. The present book contains selected papers presented at the Joint Workshop on Discrete Event Systems (WODES'92) held in Prague, Czechoslovakia, on Au gust 26-28, 1992 and organized by the Institute of Information Theory and Au tomation of the Czechoslovak Academy of Sciences, Prague, Czechoslovakia, by the Automatic Control Laboratory of the Swiss Federal Institute of Technology (ETH) , Zurich, Switzerland, and by the Department of Computing Science of the University of Groningen, Groningen, the Netherlands.

Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications introduces you to a broad array of modeling and simulation issues related to computer networks and systems. It focuses on the theories, tools, applications and uses of modeling and simulation in order to effectively optimize networks. It describes methodologies for modeling and simulation of new generations of wireless and mobiles networks and cloud and grid computing systems. Drawing upon years of practical experience and using numerous examples and illustrative applications recognized experts in both academia and industry, discuss: - Important and emerging topics in computer networks and systems including but not limited to; modeling, simulation, analysis and security of wireless and mobiles networks especially as they relate to next generation wireless networks - Methodologies, strategies and tools, and strategies needed to build computer networks and systems modeling and simulation from the bottom up - Different network performance metrics including, mobility, congestion, quality of service, security and more... Modeling and Simulation of Computer Networks and Systems is a must have resource for network architects, engineers and researchers who want to gain insight into optimizing network performance through the use of modeling and simulation. - Discusses important and emerging topics in computer networks and Systems including but not limited to; modeling, simulation, analysis and security of wireless and mobiles networks especially as they relate to next generation wireless networks - Provides the necessary methodologies, strategies and tools needed to build computer networks and systems modeling and simulation from the bottom up - Includes comprehensive review and evaluation of simulation tools and methodologies and different network performance metrics including mobility, congestion, quality of service, security and more

This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. The book presents 22 revised full papers presented together with 3 invited talks. Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

Hierarchical Modeling of Energy Systems presents a detailed methodology for hierarchical modeling of large-scale complex systems with a focus on energy systems and their expansion planning and control. General methodological principles of hierarchical modeling are analyzed, and based on this analysis, a generalized technology for the hierarchical approach is presented. The mathematical foundations of decomposition and bi-level programming, as well as the possibility of using information technologies are also considered. The theoretical propositions are demonstrated by numerous hierarchical modeling examples aimed at planning the development of the energy sector and expansion of energy systems, analyzing, and optimizing these systems, and controlling their operation. In addition, codes and sample simulations are included throughout. This is an invaluable guide for researchers, engineers, and other specialists involved in the development, control and management of energy systems, while the summary of fundamental principles and concepts in energy modeling makes this an accessible learning tool for graduate students on any course involving energy systems or energy modeling. - Summarizes hierarchical modeling principles and methods - Critically evaluates all energy systems including electric power systems, heat supply systems, gas, and coal supply systems, integrated and cogeneration systems, its interrelations and more - Examines expansion planning, development and operation, control and management of energy systems - Provides a detailed mathematical descriptions of models, computation algorithms, and optimization problems

A unique selection of papers on the most recent progress in the modelling of biological molecules containing metal ions. New approaches and techniques in this field are allowing researchers to discuss structures, electronic properties and reaction mechanisms of metalloproteins on the basis of computational studies. The book discusses different approaches in the development of new force fields and their application to the computation of the structures, electronic properties and dynamics of bioinorganic compounds as well as quantum mechanical and integrated QM/MM methods for understanding the function of metalloenzymes and the calculation of electrostatic interactions.

This book introduces the state-of-the-art in research in parallel and distributed embedded systems, which have been enabled by developments in silicon technology, micro-electro-mechanical systems (MEMS), wireless communications, computer networking, and digital electronics. These systems have diverse applications in domains including military and defense, medical, automotive, and unmanned autonomous vehicles. The emphasis of the book is on the modeling and optimization of emerging parallel and distributed embedded systems in relation to the three key design metrics of performance, power and dependability. Key features: Includes an embedded wireless sensor networks case study to help illustrate the modeling and optimization of distributed embedded systems. Provides an analysis of multi-core/many-core based embedded systems to explain the modeling and optimization of parallel embedded systems. Features an application metrics estimation model; Markov modeling for fault tolerance and analysis; and queueing theoretic modeling for performance evaluation. Discusses optimization approaches for distributed wireless sensor networks; high-performance and energy-efficient techniques at the architecture, middleware and software levels for parallel multicore-based embedded systems; and dynamic optimization methodologies. Highlights research challenges and future research directions. The book is primarily aimed at researchers in embedded systems; however, it will also serve as an invaluable reference to senior undergraduate and graduate students with an interest in embedded systems research.

Model-based Systems Architecting is a key tool for designing complex industrial systems. It is dedicated to the working systems architects, engineers and modelers, in order to help them master the complex integrated systems that they are dealing with in their day-to-day professional lives. It presents the CESAMES Systems Architecting Method (CESAM), a systems architecting and modeling framework which has been developed since 2003 in close interaction with many leading industrial companies, providing rigorous and unambiguous semantics for all classical systems architecture concepts. This approach is practically robust and easy-to-use: during the last decade, it was deployed in more than 2,000 real system development projects within the industry, and distributed to around 10,000 engineers around the globe.

To describe the true behavior of most real-world systems with sufficient accuracy, engineers have to overcome difficulties arising from their lack of knowledge about certain parts of a process or from the impossibility of characterizing it with absolute certainty. Depending on the application at hand, uncertainties in modeling and measurements can be represented in different ways. For example, bounded uncertainties can be described by intervals, affine forms or general polynomial enclosures such as Taylor models, whereas stochastic uncertainties can be characterized in the form of a distribution described, for example, by the mean value, the standard deviation and higher-order moments. The goal of this Special Volume on Modeling, Design, and Simulation of Systems with Uncertainties is to cover modern methods for dealing with the challenges presented by imprecise or unavailable information. All contributions tackle the topic from the point of view of control, state and parameter estimation, optimization and simulation. Thematically, this volume can be divided into two parts. In the first we present works highlighting the theoretic background and current research on algorithmic approaches in the field of uncertainty handling, together with their reliable software implementation. The second part is concerned with real-life application scenarios from various areas including but not limited to mechatronics, robotics, and biomedical engineering.

While we need to work more with a systems approach, there are few books that provide systems engineering theory and applications. This book presents a comprehensive collection of systems engineering models. Each of the models is fully covered with guidelines of how and why to use them, along with case studies. Systems Engineering Using the DEJI Systems Model®: Evaluation, Justification, and Integration with Case Studies and Applications provides systems integration as a unifying platform for systems of systems and presents a structured model for systems applications and explicit treatment of human-in-the-loop systems. It discusses systems design in detail and covers the justification methodologies along with examples. Systems evaluation tools and techniques are also included with a discussion on how engineering education is playing a major role for systems advancement. Practicing professionals, as well as educational institutions, governments, businesses, and industries, will find this book of interest.