Over a period of more than 40 years, Computer Scientists have been proposing mathematical approaches to software development. We have seen countless papers about: • Description and analysis of networks of hardware elements (logic design) • Specification and verification of sequential programs. • Specification and verification of concurrently executing programs • Specification and description of...

This paper presents two different paradigms of description of communication behaviour, one focussing on global message flows and another on endpoint behaviours, as formal calculi based on session types. The global calculus originates from Choreography Description Language, a web service description language developed by W3C WS-CDL working group. The end-point calculus is a typed π-calculus. The...

This article describes the translation from Message Sequence Charts (a graphical language deening the behaviour of distributed systems) to Behaviour Description Language, a declarative object oriented reactive synchronous language.

In this paper an alternative model allowing the extension of the Debye-Hückel Theory (DHT) considering time dependence explicitly is presented. From the Electro-Quasistatic approach (EQS) introduced in earlier studies time dependent potentials are suitable to describe several phenomena especially conducting media as well as the behaviour of charged particles (ions) in electrolytes. This leads t...

Those aspects of the timing of behaviour are emphasized which derive from the need for the organism to coordinate its actions with objects in the environment. Such coordination may require the serial performance of certain actions, yet permit elements of concurrency as well. Perceptual and motor schemas are introduced as units for the functional description of behaviour intermediate between a p...

Several object-oriented modeling approaches propose to describe the dynamic behaviour of objects by state transition diagrams. None of them provides precise rules or conditions for the interrelation between the behaviour description of classes and those of their sub-classes. In this paper, we discuss this interrelation in detail. It turns out that one has to distinguish between the observable a...

Several object-oriented modeling approaches propose to describe the dynamic behaviour of objects by state transition diagrams. None of them provide precise rules or conditions for the interrelation between the behaviour description of classes and those of their sub-classes. In this paper, we discuss this interrelation in detail. It turns out that one has to distinguish between the observable an...