(30 points) For this problem, you need to choose a fairly common activity/machine/scenario to model in...

 

Transcribed Image Text:

(30 points) For this problem, you need to choose a fairly common activity/machine/scenario to model in CCS. You can choose pretty much anything you want (this is your chance to be creative, and possi- bly my chance to be entertained), as long as you can fit in the features mentioned below. [Obviously, I don't want to see an example I've already done in class or that comes from a textbook. ] (a) Specify the observable actions (i.e., labels) for your CCS process: you should include at least 5 distinct actions. (b) Write an English description of the activity/machine/scenario behing modeled. (What I'm look- ing for is something similar to the first two paragraphs of Question 4, which describe the con- traption's behavior.) The correspondence between this description and the observable actions you've chosen should be obvious. (c) Write a CCS process that captures your English description of the scenario. Be sure to include the following features: recursion, nondeterministic choice (i.e., summation), and meaningful process names. Your scenario doesn't have to be extremely complicated, but it should involve at least 5 distinct states and some interesting branching behavior. (d) Draw the transition graph for your CCS process. (30 points) For this problem, you need to choose a fairly common activity/machine/scenario to model in CCS. You can choose pretty much anything you want (this is your chance to be creative, and possi- bly my chance to be entertained), as long as you can fit in the features mentioned below. [Obviously, I don't want to see an example I've already done in class or that comes from a textbook. ] (a) Specify the observable actions (i.e., labels) for your CCS process: you should include at least 5 distinct actions. (b) Write an English description of the activity/machine/scenario behing modeled. (What I'm look- ing for is something similar to the first two paragraphs of Question 4, which describe the con- traption's behavior.) The correspondence between this description and the observable actions you've chosen should be obvious. (c) Write a CCS process that captures your English description of the scenario. Be sure to include the following features: recursion, nondeterministic choice (i.e., summation), and meaningful process names. Your scenario doesn't have to be extremely complicated, but it should involve at least 5 distinct states and some interesting branching behavior. (d) Draw the transition graph for your CCS process.