Specifying component-based software architectures

P. Ciancarini, S. Cimato

Dept. of Computer Science, University of Bologna,
Via Mura Anteo Zamboni, 7 - 40127 Bologna, Italy
Tel: +39 51 354506
Fax: +39 51 354510
Email: {cianca, cimato}@cs.unibo.it

Abstract:

Large software systems offer to software designers complex problem to solve in an efficient and quick way. To manage such complexity several techniques have been developed to make this task easier and to allow the designer to reuse prior experience. However such techniques and frameworks often lack formal notations to support formal reasoning about the resulting products. We extend Larch family languages, by defining Larch interface language for Java modules and argue that such notation should help to design and implement software systems built of Java components.

Keywords: Components, Java, Larch, formal design.