Object-Oriented Technology. ECOOP 2003 Workshop Reader

Object-Oriented Technology. ECOOP 2003 Workshop Reader
Author: Frank Buschmann
Publisher: Springer Science & Business Media
Total Pages: 216
Release: 2004-06-29
Genre: Computers
ISBN: 354022405X

This volume represents the seventh edition of the ECOOP Workshop Reader, a compendiumofworkshopreportsfromthe17thEuropeanConferenceonObject- Oriented Programming (ECOOP 2003), held in Darmstadt, Germany, during July 21–25, 2003. The workshops were held during the ?rst two days of the conference. They cover a wide range of interesting and innovative topics in object-oriented te- nology and o?ered the participants an opportunity for interaction and lively discussion. Twenty-one workshops were selected from a total of 24 submissions based on their scienti?c merit, the actuality of the topic, and their potential for a lively interaction. Unfortunately, one workshop had to be cancelled. Special thanks are due to the workshop organizers who recorded and s- marized the discussions. We would also like to thank all the participants for their presentations and lively contributions to the discussion: they made this volume possible. Last, but not least, we wish to express our appreciation to the members of the organizing committee who put in countless hours setting up and coordinating the workshops. We hope that this snapshot of current object-oriented technology will prove stimulating to you. October 2003 Frank Buschmann Alejandro Buchmann Mariano Cilia Organization ECOOP 2003 was organized by the Software Technology Group, Department of Computer Science, Darmstadt University of Technology under the auspices of AITO (Association Internationale pour les Technologies Objets) in cooperation with ACM SIGPLAN. The proceedings of the main conference were published as LNCS 2743.

Designing Software Product Lines with UML

Designing Software Product Lines with UML
Author: Hassan Gomaa
Publisher: Addison-Wesley Professional
Total Pages: 760
Release: 2005
Genre: Computers
ISBN:

"Designing Software Product Lines with UML is well-written, informative, and addresses a very important topic. It is a valuable contribution to the literature in this area, and offers practical guidance for software architects and engineers." --Alan Brown Distinguished Engineer, Rational Software, IBM Software Group "Gomaa''s process and UML extensions allow development teams to focus on feature-oriented development and provide a basis for improving the level of reuse across multiple software development efforts. This book will be valuable to any software development professional who needs to manage across projects and wants to focus on creating software that is consistent, reusable, and modular in nature." --Jeffrey S Hammond Group Marketing Manager, Rational Software, IBM Software Group "This book brings together a good range of concepts for understanding software product lines and provides an organized method for developing product lines using object-oriented techniques with the UML. Once again, Hassan has done an excellent job in balancing the needs of both experienced and novice software engineers." --Robert G. Pettit IV, Ph.D. Adjunct Professor of Software Engineering, George Mason University "This breakthrough book provides a comprehensive step-by-step approach on how to develop software product lines, which is of great strategic benefit to industry. The development of software product lines enables significant reuse of software architectures. Practitioners will benefit from the well-defined PLUS process and rich case studies." --Hurley V. Blankenship II Program Manager, Justice and Public Safety, Science Applications International Corporation "The Product Line UML based Software engineering (PLUS) is leading edge. With the author''s wide experience and deep knowledge, PLUS is well harmonized with architectural and design pattern technologies." --Michael Shin Assistant Professor, Texas Tech University Long a standard practice in traditional manufacturing, the concept of product lines is quickly earning recognition in the software industry. A software product line is a family of systems that shares a common set of core technical assets with preplanned extensions and variations to address the needs of specific customers or market segments. When skillfully implemented, a product line strategy can yield enormous gains in productivity, quality, and time-to-market. Studies indicate that if three or more systems with a degree of common functionality are to be developed, a product-line approach is significantly more cost-effective. To model and design families of systems, the analysis and design concepts for single product systems need to be extended to support product lines. Designing Software Product Lines with UML shows how to employ the latest version of the industry-standard Unified Modeling Language (UML 2.0) to reuse software requirements and architectures rather than starting the development of each new system from scratch. Through real-world case studies, the book illustrates the fundamental concepts and technologies used in the design and implementation of software product lines. This book describes a new UML-based software design method for product lines called PLUS (Product Line UML-based Software engineering). PLUS provides a set of concepts and techniques to extend UML-based design methods and processes for single systems in a new dimension to address software product lines. Using PLUS, the objective is to explicitly model the commonality and variability in a software product line. Hassan Gomaa explores how each of the UML modeling views--use case, static, state machine, and interaction modeling--can be extended to address software product families. He also discusses how software architectural patterns can be used to develop a reusable component-based architecture for a product line and how to express this architecture as a UML platform-independent model that can then be mapped to a platform-specific model. Key topics include: Software product line engineering process, which extends the Unified Development Software Process to address software product lines Use case modeling, including modeling the common and variable functionality of a product line Incorporating feature modeling into UML for modeling common, optional, and alternative product line features Static modeling, including modeling the boundary of the product line and information-intensive entity classes Dynamic modeling, including using interaction modeling to address use-case variability State machines for modeling state-dependent variability Modeling class variability using inheritance and parameterization Software architectural patterns for product lines Component-based distributed design using the new UML 2.0 capability for modeling components, connectors, ports, and provided and required interfaces Detailed case studies giving a step-by-step solution to real-world product line problems Designing Software Product Lines with UML is an invaluable resource for all designers and developers in this growing field. The information, technology, and case studies presented here show how to harness the promise of software product lines and the practicality of the UML to take software design, quality, and efficiency to the next level. An enhanced online index allows readers to quickly and easily search the entire text for specific topics.

Object-Oriented and Internet-Based Technologies

Object-Oriented and Internet-Based Technologies
Author: Mathias Weske
Publisher: Springer
Total Pages: 248
Release: 2004-12-07
Genre: Computers
ISBN: 3540301968

Based on the Net. ObjectDays tradition of bringing together researchers from academia and industry on the one hand and system architects, developers, and users fromindustry andadministrationon the other hand, this year'sconference took an international research perspective, so that we see the?rst volume of Net. ObjectDays main conference proceedings published in the Springer Lecture Notes in Computer Science series. This volume consists of 16 papers carefully selected in a rigorous reviewing process by an international program committee; to provide a concise overview, these papers are brie?y described. In the Languages and Models session, Beate Ritterbach proposes a new l- guage element for object-oriented programming languages that supports ar- trary value types. In her contribution Support for Value Types in an Object- OrientedProgramming Language shedescribesthecorrespondingkeywords, s- tax, and consistency checks, thereby giving an impression of the look and feel of value types from an application programmer's perspective. Walter Binder and Jarle Hulaas look at portable CPU accounting and control in Java, which is based on program transformation techniques. In their paper Self-accounting as Principle for Portable CPU Control in Java periodically the threads of an application component aggregate the information of their respective CPU c- sumption within a shared account; scheduling functions make sure applications do not exceed their allowed CPU share.

Automotive Systems and Software Engineering

Automotive Systems and Software Engineering
Author: Yanja Dajsuren
Publisher: Springer
Total Pages: 364
Release: 2019-07-17
Genre: Computers
ISBN: 3030121577

This book presents the state of the art, challenges and future trends in automotive software engineering. The amount of automotive software has grown from just a few lines of code in the 1970s to millions of lines in today’s cars. And this trend seems destined to continue in the years to come, considering all the innovations in electric/hybrid, autonomous, and connected cars. Yet there are also concerns related to onboard software, such as security, robustness, and trust. This book covers all essential aspects of the field. After a general introduction to the topic, it addresses automotive software development, automotive software reuse, E/E architectures and safety, C-ITS and security, and future trends. The specific topics discussed include requirements engineering for embedded software systems, tools and methods used in the automotive industry, software product lines, architectural frameworks, various related ISO standards, functional safety and safety cases, cooperative intelligent transportation systems, autonomous vehicles, and security and privacy issues. The intended audience includes researchers from academia who want to learn what the fundamental challenges are and how they are being tackled in the industry, and practitioners looking for cutting-edge academic findings. Although the book is not written as lecture notes, it can also be used in advanced master’s-level courses on software and system engineering. The book also includes a number of case studies that can be used for student projects.

Formal Methods for Components and Objects

Formal Methods for Components and Objects
Author: Bernhard K. Aichernig
Publisher: Springer Science & Business Media
Total Pages: 402
Release: 2011-12-12
Genre: Computers
ISBN: 3642252702

The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for quite a long time. However, their application to the development of large systems requires more emphasis on specification, modeling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the ESF-COST Action IC0701 on formal verification of object-oriented software; the FP7-IST project HATS on highly adaptable and trustworthy software using formal models; the FP7-SST project INESS on an integrated European railway signalling system; the FP7-IST project MADES on a model-driven approach to improve the current practice in the development of embedded systems; the FP7-IST project MOGENTES on model-based generation of tests for dependable embedded systems; as well as the FP7-IST project MULTIFORM on integrated multi-formalism tool support for the design of networked embedded control systems.

Model-Driven Engineering Languages and Systems

Model-Driven Engineering Languages and Systems
Author: Juergen Dingel
Publisher: Springer
Total Pages: 712
Release: 2014-09-19
Genre: Computers
ISBN: 3319116533

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

The Practice of Enterprise Modeling

The Practice of Enterprise Modeling
Author: Patrick van Bommel
Publisher: Springer Science & Business Media
Total Pages: 256
Release: 2010-10-29
Genre: Business & Economics
ISBN: 3642167810

This volume constitutes the proceedings of the Third IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, held in Delft, The Netherlands, during November 9-10, 2010. The goal of the conference is both to foster a better understanding of the practice of enterprise modeling and to improve its theoretical foundations. The 17 papers presented were carefully reviewed and selected from 44 submissions. They reflect the trend for both practitioners and academics to look into domains and conceptualizations addressing dedicated business-oriented topics like business intelligence or domain-driven process families, and thus reach beyond traditional information systems engineering.

Complex Systems in Knowledge-based Environments: Theory, Models and Applications

Complex Systems in Knowledge-based Environments: Theory, Models and Applications
Author: Andreas Tolk
Publisher: Springer
Total Pages: 272
Release: 2008-12-11
Genre: Technology & Engineering
ISBN: 3540880755

The tremendous growth in the availability of inexpensive computing power and easy availability of computers have generated tremendous interest in the design and imp- mentation of Complex Systems. Computer-based solutions offer great support in the design of Complex Systems. Furthermore, Complex Systems are becoming incre- ingly complex themselves. This research book comprises a selection of state-of-the-art contributions to topics dealing with Complex Systems in a Knowledge-based En- ronment. Complex systems are ubiquitous. Examples comprise, but are not limited to System of Systems, Service-oriented Approaches, Agent-based Systems, and Complex Distributed Virtual Systems. These are application domains that require knowledge of engineering and management methods and are beyond the scope of traditional systems. The chapters in this book deal with a selection of topics which range from unc- tainty representation, management and the use of ontological means which support and are large-scale business integration. All contributions were invited and are based on the recognition of the expertise of the contributing authors in the field. By colle- ing these sources together in one volume, the intention was to present a variety of tools to the reader to assist in both study and work. The second intention was to show how the different facets presented in the chapters are complementary and contribute towards this emerging discipline designed to aid in the analysis of complex systems.

Aspect-Oriented, Model-Driven Software Product Lines

Aspect-Oriented, Model-Driven Software Product Lines
Author: Awais Rashid
Publisher: Cambridge University Press
Total Pages: 471
Release: 2011-09-08
Genre: Computers
ISBN: 1139500503

Software product lines provide a systematic means of managing variability in a suite of products. They have many benefits but there are three major barriers that can prevent them from reaching their full potential. First, there is the challenge of scale: a large number of variants may exist in a product line context and the number of interrelationships and dependencies can rise exponentially. Second, variations tend to be systemic by nature in that they affect the whole architecture of the software product line. Third, software product lines often serve different business contexts, each with its own intricacies and complexities. The AMPLE (http://www.ample-project.net/) approach tackles these three challenges by combining advances in aspect-oriented software development and model-driven engineering. The full suite of methods and tools that constitute this approach are discussed in detail in this edited volume and illustrated using three real-world industrial case studies.