HW3 - CS 578 Software Architectures Spring 2010 Homework...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 578 – Software Architectures Spring 2010 Homework Assignment #3 Due: Thursday, April 1 st , 2010 In this assignment, we provide you with the domain model for the robotic scenario in assignment #2 as well as a simulation and graphical interface which simulates and presents the robots moving and following each other. You are expected to provide the C2SADEL specification for the robotic scenario and use a software architecture modeling and analysis tool, called DRADEL, to check the syntactic correctness as well as structural and behavioral soundness of your provided C2SADEL specification you developed. You are expected to provide a C2SADEL specification which enables 1. parsing (i.e., syntactic checking), 2. checking structural constraints, 3. type checking (i.e. behavioral checking), and 4. code generation in DRADEL. Your C2SADEL specification must be able to “pass” all four of these steps. For example, if you are not able to pass the structural constraint checking or type checking steps, you will not get credit for your implementation. The generated code skeletons are compilable on top of Prism-Lite, a simple architectural middleware platform written in Java, but they do not provide any application logic (also known as business logic), which in your C2SADEL specifications is reflected in the pre- and post- conditions. You are expected to implement the application-specific logic for the robotic scenario, by “filling in the blanks” of the automatically generated Prism-Lite code. The application must run with five
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 4

HW3 - CS 578 Software Architectures Spring 2010 Homework...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online