Next: 2 Position Up: Specifying component-based software architectures Previous: Specifying component-based software architectures
Next: 2 Position
Up: Specifying component-based software architectures
Previous: Specifying component-based software architectures
The design and the implementation of large software systems is an ever lasting challenge for software developers. Currently, the development of the World Wide Web and internet, and the diffusion of personal computers and local area networks complicates more and more the scenario in which software engineers have to develop new applications. From monolithic applications running on a isolated computer, the dominant computing paradigm is fastly shifting towards distributed systems running on platforms heterogeneous both for hardware and software used [BW96,MM97].
We are engaged in a research project concerning distributed software architectures including components written in Java [CKTV96]. One of the research themes we are mostly interested in consists of studying formal methods supporting the design process of these architectures. In the last three years we have used Larch as formal notation for design, in the context of a development method called Clepsydra [CCP97]. We are exploring the suitability of Larch for supporting Java-based applications.