Structured programming using processes

Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design constructs. Techniques for enforcing strong encapsulation, partitioning for fault isolation and data flow instrumentation, reusing code, ing and adapting interfaces, simulating inputs, managing and distributing resources and creating complex application behavior are described. The concept of inductive decomposition is introduced as a method for modularizing code based on the dynamic behavior of the system over time, rather than the static structure of a program. This approach leads to code subsumption, abstraction, automated testing, dynamic data versioning and dynamic code revision all of which contribute to more reliable, fault-tolerant software. Categories and Subject Descriptors D.2.2. [Design Tools and Techniques]: Modules and interfaces. General Terms Design, Reliability, Languages, Theory. Keywords Inductive D...

• Type: Conference
• Year: 2004
• Where: ERLANG
• Authors: Jay Nelson
• Keywords: Dynamic Code Revision, ERLANG 2004, Inductive Decomposition, Keywords Inductive Decomposition