This book discusses enterprise hierarchies, which view a target system with varying degrees of abstraction. These requirement refinement hierarchies can be represented by goal models. It is important to verify that such hierarchies capture the same set of rationales and intentions and are in mutual agreement with the requirements of the system being designed. The book also explores how hierarchies manifest themselves in the real world by undertaking a data mining exercise and observing the interactions within an enterprise. The inherent sequence-agnostic property of goal models prevents requirement analysts from performing compliance checks in this phase as compliance rules are generally embedded with temporal information. The studies discussed here seek to extract finite state models corresponding to goal models with the help of model transformation. The i*ToNuSMV tool implements one such algorithm to perform model checking on i* models. In turn, the AFSR framework provides a new goal model nomenclature that associates semantics with individual goals. It also provides a reconciliation machinery that detects entailment or consistency conflicts within goal models and suggests corrective measures to resolve such conflicts. The authors also discuss how the goal maintenance problem can be mapped to the state-space search problem, and how A* search can be used to identify an optimal goal model configuration that is free from all conflicts. In conclusion, the authors discuss how the proposed research frameworks can be extended and applied in new research directions. The GRL2APK framework presents an initiative to develop mobile applications from goal models using reusable code component repositories.

A systematic Building Information Modeling (BIM) framework features cutting-edge use cases and competencies for students and professionals pursuing BIM careers. Developing BIM Talent: A Guide to the BIM Body of Knowledge with Metrics, KSAs, and Learning Outcomes leads readers through the process of implementing a state-of-the-art BIM training and education program. Authored by a team of celebrated and highly qualified scholars and practitioners, this exciting new BIM education and workforce development guide offers a roadmap that navigates readers through the comprehensive BIM metrics and KSAs detailed in the BIM Body of Knowledge sponsored by the Academic Interoperability Coalition (AiC). Developing BIM Talent offers: A solid foundation and guidelines for educators and practitioners for starting or enhancing a BIM curriculum or training program Templates, expert interviews, and case studies that provide in-depth knowledge and lessons learned that can facilitate process changes and strategic action plans Strategies for standardizing emerging BIM job tasks, descriptions, and methods for benchmarking performance This guide to contemporary and comprehensive metrics of BIM competency is an essential resource for corporate trainers and instructors teaching BIM, human resources professionals charged with recruiting BIM talent, as well as leadership interested in credentialing and BIM certification programs.

This book contains the refereed proceedings of the 14th International Conference on Business Process Modeling, Development and Support (BPMDS 2013) and the 18th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2013), held together with the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013) in Valencia, Spain, in June 2013. The 15 full papers, two experience reports, and three idea papers accepted for BPMDS were selected from 54 submissions and cover a wide spectrum of issues related to business process development, modeling, and support. They are grouped into sections on innovative representations for knowledge-intensive processes; business process management in practice; analysis of business process models; model-based business process analysis; flexible business process management; improvement and change patterns; and process model repositories . The 10 full and 2 short papers accepted for EMMSAD were chosen from 27 submissions and focus on exploring, evaluating, and enhancing current information modeling methods and methodologies. They are grouped in sections on advanced modelling; capturing design knowledge; method engineering; modelling process; specialized modelling; and modelling experiences.

This volume constitutes the proceedings of the 7th IFIP WG 8.1 Conference on the Practice of Enterprise Modeling held in November 2014 in Manchester, UK. The focus of the PoEM conference series is on advances in the practice of enterprise modeling through a forum for sharing knowledge and experiences between the academic community and practitioners from industry and the public sector. The 16 full and four short papers accepted were carefully reviewed and selected from 39 submissions. They reflect different topics of enterprise modeling including business process modeling, enterprise architecture, investigation of enterprise modeling methods, requirements engineering, and specific aspects of enterprise modeling.

The Standard for Business Analysis – First Edition is a new PMI foundational standard, developed as a basis for business analysis for portfolio, program, and project management. This standard illustrates how project management processes and business analysis processes are complementary activities, where the primary focus of project management processes is the project and the primary focus of business analysis processes is the product. This is a process-based standard, aligned with A Guide to the Project Management Body of Knowledge (PMBOK® Guide) – Sixth Edition, and to be used as a standard framework contributing to the business analysis body of knowledge.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 35th issue of the Transactions on Computational Science, focusses on signal processing and security in distributed systems. The topics covered include classification of visual attention levels using microsaccades; analysis of textual content using Eyegaze; automatic car-accident detection and passenger counting; face recognition; secure data fusion in IoT; business compliance using goal models; and microfluidic executions.

This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13–15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In p- ticular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.