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