The separation of architecture definition language (ADL) and interface definition language(IDL) is widely accepted in the distributed system community. It separates issues of hierarchicalcomposition and configuration from those of services, communication and synchronisation and thuseases reconfiguration without changing the interfaces and implementation and allows the changeof services within well-defined configuration constraints. Our approach towards distributed systemdefinition draws on the Darwin project’s notion of distributed system architecture definition and on Eiffel’s notion of design-by-contract. We extend contracts to deal with synchronisation and coordination at a higher level, explicitly targeting both large-scale loosely-coupled distributed components and tightly coupled parallel or multithreaded objects. In this paper, we present a Java binding of the resulting contract extensions. We incorporateannotations into Java programs adding Eiffel-style assertions and other contractual constraints. Java component code and constraints are then associated to architectural diagrams in a visual programming environment. The paper illustrates the language features in a case study of a lift control system. Based on the case study, the component-based design approach is illustrated and the internal synchronisation of method execution is explained

FREE

Course Currilcum

Copyright © 2020. All rights reserved. Template by Discover Projects
Open chat
1
Hi, how can I help you?
X