Dedicated Laboratories - CORE: Component-Oriented Research Laboratory
Description
The research direction of the CORE Lab is the investigation of a
formal component-based paradigm for architecting complex systems that
achieves:
- Interoperability on syntactic and semantic levels that
supercedes the capabilities of extant architectural paradigms
(e.g., CORBA), and middleware systems (e.g., object broker
implementations)
- Adaptation and utilization of a formal methodology for
specifying services and their abstract implementations,
specifically the methodology based Input/Output automata (IOA)
- Validated evaluation of correctness of component-based designs
as an integral part of automating transition of abstract designs
to specific implementations.
- Support for reusable and multiple-use components that can be
deployed as building blocks for extant and future applications.
- Definition and realization of key system requirements, including
security, performance and fault tolerance. Performance
specifications make explicit statements about the behavior of
components and entire systems in terms of their critical
resources (e.g., time and space). Specifications of fault
tolerance make statements about the ability of components to
offer service in the presence of specific failure patterns, and
about the (graceful) degradation of the provided service.
- Full or partial automation of transition of abstract designs to implementations via code generation. The focus is on preserving the semantics of abstract specifications in implementations, i.e., ensuring that the generating code correctly implements abstract designs.
Steven A. Demurjian, (Co-Director) Computer Science and Engineering, University of Connecticut
Alex Shvartsman, (Co-Director) Computer Science and Engineering, University of Connecticut
Group Laboratory Website
N/A
[Back]
