Problem
1. In we described generic modules parameterized by type & Study the Java language specification. Does it support parameterized modules? Does C++?
2. We did not provide an enrichment of GDN to describe exceptions and exception handling. Propose a notation to describe the fact that an exception may be raised by a module when a request for a service is being served. Your notation should also provide a way to show that an exception is propagated after being signaled to a client.