5 Model Programs

Systems with Finite Models 119namespace ClientServer{...static class ClientServer{// State variables used by all featuresinternal static Socket serverSocket = Socket.None;...}}[Feature]static class Server{// Server action methods and enabling conditions...public static bool ServerSocketEnabled()...[Action]public static void ServerSocket()...}[Feature]class Client{// Client action methods and enabling conditions...}// Factory class, several factory methods select different featurespublic static class Factory{// No features argument in constructor, include all featurespublic static ModelProgram Create(){return new LibraryModelProgram(typeof(Factory).Assembly,"ClientServer");}}// Features argument in constructor, include just that featurepublic static ModelProgram CreateServerOnly(){return new LibraryModelProgram(typeof(Factory).Assembly,"ClientServer",new Set("Server")); //feature}Figure 7.3. Client/server: model program with features (excerpts).