Formalising dynamic composition and evolution in Java systems
Pahl, ClausORCID: 0000-0002-9049-212X
(2001)
Formalising dynamic composition and evolution in Java systems.
In: ECOOP European Connference on Object-Oriented Programming – Workshop on Formal Techniques for Java Programming FTfJP’2001, 18-22 Jun 2001, Budapest, Hungary..
A variety of Java constructs involve an idea of time dynamic establishment and closure of connections or the composition and customisation of components in order to guarantee reliability and maintainability in dynamic evolving systems we will take a process oriented view on composition and interaction. This will be supported by a contract concept to formalise matching of suitable service provider and requestor.