fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Rausch / Plasil / Reussner

The Common Component Modeling Example

Comparing Software Component Models

Medium: Buch
ISBN: 978-3-540-85288-9
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 26.08.2008
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri?cation and quality prediction, such as FMCO, CBSE, FESCA,FACS andQoSA. There are a plethoraof componentmodels published, all with speci?c merits and bene?ts. However, most often these models are not used for comparison, as each research group concentrates on di?erent aspects of formal component modelling and quality prediction. Like the famous pro- 1 duction cell approach of the FZI, Karlsruhe, which has served since 1995 as a common example for di?erent embedded systems safety veri?cation, in this v- ume we de?ne a commonexample for modelling approachesof component-based systems. This Common Component Modelling Example enables the compa- bility of di?erent approaches, the validation of existing models, a better focus of research to tackle aspects less frequently dealt within the classi?cation of - isting models and approaches, an eased interchange of research ideas, as well as a simpli?ed and increased coordination and research collaborations to join complementary models and approaches. In this volume we de?ne the Common Component Modelling Example and present the models in current modelling and analysis approaches. The book concludes with comments on each modelling approach by an international jury. August 2007 Andreas Rausch Ralf Reussner Ra?aela Mirandola Franti? sek Pl´ a? sil 1 Springer LNCS vol. 891. Organization The Dagstuhl research seminar for CoCoME (Common Component Modelling Example)modellingcontestispartofaseriesofseminarsorganizedwithsupport by the German Computer Science Society (Gesellschaft fu ¨r Informatik,GI). It was held during August 1–3, 2007 at Schloss Dagstuhl, Germany, as event number 07312.

Produkteigenschaften

  • Artikelnummer: 9783540852889
  • Medium: Buch
  • ISBN: 978-3-540-85288-9
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 26.08.2008
  • Sprache(n): Englisch
  • Auflage: 2008
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 709 g
  • Seiten: 460
  • Format (B x H x T): 155 x 235 x 26 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

CoCoTA – Common Component Task.- CoCoME - The Common Component Modeling Example.- Modeling Components and Component-Based Systems in KobrA.- A Rich Services Approach to CoCoME.- Modelling with Relational Calculus of Object and Component Systems - rCOS.- Component-Interaction Automata Approach (CoIn).- Service-Oriented Modeling of CoCoME with Focus and AutoFocus.- Modelling the CoCoME with the Java/A Component Model.- Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.- Modelling the CoCoME with DisCComp.- Palladio – Prediction of Performance Properties.- KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability.- CoCoME in Fractal.- CoCoME in SOFA.- A Specification Language for Distributed Components Implemented in GCM/ProActive.- CoCoME Jury Evaluation and Conclusion.