Modelling the CoCoME with the Java/A Component Model

Authors:
Alexander Knapp;Stephan Janisch;Rolf Hennicker;Allan Clark;Stephen Gilmore;Florian Hacklinger;Hubert Baumeister;Martin Wirsing
Affiliations:
Institut für Informatik, Ludwig-Maximilians-Universität München,;Institut für Informatik, Ludwig-Maximilians-Universität München,;Institut für Informatik, Ludwig-Maximilians-Universität München,;Laboratory for Foundations of Computer Science, University of Edinburgh,;Laboratory for Foundations of Computer Science, University of Edinburgh,;Institut für Informatik, Ludwig-Maximilians-Universität München,;Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, Lyngby,;Institut für Informatik, Ludwig-Maximilians-Universität München,
Venue:
The Common Component Modeling Example
Year:
2007

Citing 6
Cited 4

Foundations for the study of software architecture

ACM SIGSOFT Software Engineering Notes
Real-time object-oriented modeling

Real-time object-oriented modeling
A compositional approach to performance modelling

A compositional approach to performance modelling
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Architecting families of software systems with process algebras

ACM Transactions on Software Engineering and Methodology (TOSEM)
End-to-end integrated security and performance analysis on the DEGAS choreographer platform

FM'05 Proceedings of the 2005 international conference on Formal Methods

CoCoTA --- Common Component Task

The Common Component Modeling Example
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives

Electronic Notes in Theoretical Computer Science (ENTCS)
A Strict-Observational Interface Theory for Analysing Service Orchestrations

Electronic Notes in Theoretical Computer Science (ENTCS)
H: A component-based specification language for heterogeneous applications

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Java/A approach aims at semantically well-founded and coherent modelling and programming concepts for components: based on sound theoretical foundations it enhances the widely used UML 2.0 component model by modular analysis and verification techniques and a Java-based architectural programming language.