Multiparadigm Formal Specification of Switching Software

A programming paradigm is a class of programming languages and a distinctive way of thinking about computation; languages for logic programming, object-oriented programming, and communicating finite-state machines are radically different from one another, for instance. Experience shows that no one programming paradigm is suitable for all aspects of a complex system. The purpose of multiparadigm programming is to allow a single system to be programmed using many languages, each language being used to describe the aspect of the system for which it is best suited. "View composition" is a new approach to multipardigm programming. In view composition, a multiparadigm program is a collection of "view" programs written in existing (or slightly modified) single-paradigm languages. Each view program is full executable and analyzable on its own, yet the views can also be excuted together to form a whole multiparadigm program.