The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of this volume is its focus on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them. The volume contains eleven chapters by well-established researchers writing from different perspectives. Each chapter gives explicit definitions of components in terms of a set of key aspects and addresses some of the problems of integration and analysis of various views: component specification, component composition, component coordination, refinement and substitution, and techniques for solving problems. The concepts and techniques are motivated and explained with the help of examples and case studies.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
design behavior tree, component behavior projection, inheritance morphism, timed data stream, abstract behavior types, reconfigurable component based systems, component interaction network, prime algebraicity, exogenous coordination, behavioural presentations, constraint automata, component system diagram, coalgebraic semantics, stream calculus, contract refinement, constraint automaton, granularity refinement, prototypical language, primal vectors, behavior trees, given class diagram, individual functional requirements, connector composition, coalgebra theory, component calculus Key Phrases - Capitalized Phrases (CAPs): (learn more)
Microwave Oven, Notes Comp, Springer Lect, Prentice Hall, Addison Wesley, Cambridge University Press, International Conference, International Workshop, The Netherlands, Communicating Sequential Processes, New York, Kluwer Academic Publishers, Prentice-Hall International, Rational Unified Process, Science of Computer Programming, Computational Logic, Computer Society Press, Department of Computing, Electronic Notes, International Colloquium, Mathematical Structures, Minho University, Springer Verlag, Theoretical Aspects of Computing New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
design behavior tree, component behavior projection, inheritance morphism, timed data stream, abstract behavior types, reconfigurable component based systems, component interaction network, prime algebraicity, exogenous coordination, behavioural presentations, constraint automata, component system diagram, coalgebraic semantics, stream calculus, contract refinement, constraint automaton, granularity refinement, prototypical language, primal vectors, behavior trees, given class diagram, individual functional requirements, connector composition, coalgebra theory, component calculus Key Phrases - Capitalized Phrases (CAPs): (learn more)
Microwave Oven, Notes Comp, Springer Lect, Prentice Hall, Addison Wesley, Cambridge University Press, International Conference, International Workshop, The Netherlands, Communicating Sequential Processes, New York, Kluwer Academic Publishers, Prentice-Hall International, Rational Unified Process, Science of Computer Programming, Computational Logic, Computer Society Press, Department of Computing, Electronic Notes, International Colloquium, Mathematical Structures, Minho University, Springer Verlag, Theoretical Aspects of Computing New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
