首页
网站开发
桌面应用
管理软件
微信开发
App开发
嵌入式软件
工具软件
数据采集与分析
其他
首页
>
> 详细
SWEN90004代写、代做Java编程设计
项目预算:
开发周期:
发布时间:
要求地区:
The University of Melbourne
School of Computing and Information Systems
SWEN90004 Modelling Complex Software Systems
Assignment 1b, 2024
Released: Thursday 21 March, 2024. Deadline: 23:59, Monday 15 April, 2024.
Objective
To use a higher-level modelling language to specify and reason about a concurrent system.
Background and context
Assignment 1 has two parts. The first part, 1a, was worth 12.5% of your final mark; this
part, 1b, is worth 12.5%. In the first part (which you should complete before attempting this
part) you designed and implemented (in Java) a concurrent simulation of a hospital emergency
department. Now your task is to model that system using FSP, to use LTSA to check your
model, and to identify and mitigate any problems that you discover through modelling.
The tasks
1. Model: The first task is to model your implementation from Assignment 1a in FSP. That
is, reverse engineer an FSP model from your Java implementation. Your model should
contain comments that explain the design and its components. NB: If your implementation
in Assignment 1a was incomplete, or too incorrect to form the basis of an FSP model, you
may wish to construct your model based on the system description in the Assignment 1a
specification.
2. Check: Specify what you believe are the relevant safety and liveness properties for your
FSP model. Note: for liveness, it may be the case that only a small number of properties
are required. Use LTSA to check these properties.
3. Modify: You will most likely have discovered, either while completing Assignment 1a, or
while completing Tasks 1 and 2 of this Assignment, that there is a potential issue with the
operation of the system.)
Propose at least one modification to the design of the system that mitigates this problem
and update your FSP model. If you wish, you may also implement this modification in
your original Java implementation of the system, and satisfy yourself that it now behaves
“correctly” (ie, does not violate safety or liveness properties). Note: You do not need to
re-submit your Java code!
Be sure to create a copy of the file containing your original FSP model. You are required
to submit both the original model from Task 1, and the modified model from Task 3 as
separate files.
4. Discuss: Discuss your original and modified models. Points you may wish to address
include:
• What (if any) problems did you find in your original model as a result of using LTSA?
• Had you identified these in your Java implementation?
• If not, why do you think you picked these up now and not before submitting Assignment 1a?
• What was the reasoning behind the changes you suggested in your modified model?
Are there any trade-offs in system performance associated with your suggestion?
• If you did not find problems with your original implementation, were you convinced
when you submitted Assignment 1a that no problems existed? Why did you believe
this? Do you still believe there are no problems?
Keep your discussion to no more than 500 words
Procedure and assessment
The assignment should be completed by students individually. A late submission will attract a
penalty of 1 mark for every calendar day it is late. If you have a reason that you require an
extension, email Nic well before the due date to discuss this.
To tackle the assignment, first work through (and understand) the examples from lectures,
and do the workshop exercises. FSP is not difficult—it is simpler than most programming
languages, and much simpler than languages like Java. However, as with other languages, the
way to master it is to use it, and to learn by doing. Trying to do the assignment straight up
means you may struggle. Work through some easier examples first.
Submit a single zip file via the LMS. The file should include
• A file called model.lts with your initial FSP model, including the safety and liveness
properties from Task 2.
• A file called model_modified.lts with your modified/corrected model, including the
safety and liveness properties from Task 2.
• A plain text file called discussion.txt, containing the discussion of issues. Please ensure
that this is a plain text file; ie, not a doc, docx, rtf, or other file type that requires specific
software to read.
All model files and your discussion file should contain, near the top of the file, your name
and student number.
We encourage the use of the subject discussion board for discussions about the project.
However, all submitted work is to be your own individual work.
This project counts for 15 of the 50 marks allocated to project work in this subject. Marks
will be awarded according to the following guidelines:
Criterion Description Marks
Clarity & Abstraction FSP models are at a suitable level of abstraction. All behaviours relevant to interaction are specified, and there is
sufficient detail to implement the system from the model.
3 marks
Completeness The model is complete. All components have been modelled
and all expected behaviour is present. Suitable safety and
liveness properties have been described.
3 marks
Correctness The original FSP model accurately reflects the original Java
implementation (or specification). The modified FSP model
behaves is free of any problems identified in the original
model, does not violate any safety properties, and demonstrates all liveness properties.
3 marks
Formatting The FSP source adheres to the code format rules from Assignment 1a where this makes sense, including the use of
comments to document model components and properties.
2 marks
Discussion The discussion shows understanding of the subject material. 1.5 marks
Total 15 marks
Nic Geard
19 March 2024
Why backwards?
A valid question: Why are we modelling the system after implementing it? Should it not be
done the other way? Well, yes and no. Many people use modelling to understand an existing
code base (just look at the number of tools for reverse engineering UML models from code
bases). Reverse engineering is a great way to understand problems with an existing system. It
is true, however, that in many cases, it would be cheaper and easier to do the modelling first.
The other reason why the assignment is “backwards” is that trying to model a new system
using a new type of notation, such as FSP, will often end in disaster. We hope that, having gone
through the Java programming stage, you feel familiar with the system to be modelled and thus
can concentrate on the use of FSP. The exercise should be one of applying abstraction—a skill
that is of utmost importance in any engineering discipline.
软件开发、广告设计客服
QQ:99515681
邮箱:99515681@qq.com
工作时间:8:00-23:00
微信:codinghelp
热点项目
更多
data程序代写、代做c/c++编程语...
2024-05-17
data程序代写、代做python编程...
2024-05-17
program代做、c/c++,python程...
2024-05-17
代写math 3333 3.0 - winter 2...
2024-05-17
代做seng6110 programming ass...
2024-05-17
代写seng6110 object oriented...
2024-05-17
代写comp828: statistical pro...
2024-05-17
代做culture and society调试数...
2024-05-17
代做comp 4911 winter 2024 as...
2024-05-17
代做lh physical iiib / 03 33...
2024-05-17
代做3032ict big data analyti...
2024-05-17
代写comp4702 report代写留学生...
2024-05-17
代写fin2020 hw6代写c/c++编程
2024-05-17
热点标签
fit2004
fit3152
mec208
econ20120
cpt304
econ2101
econ0051
engi4547
econ1048
eengm2510
fit1008
7033mkt
ec2066
cct380h5f
man00019m
mech265001
fin2020
fit9137
n1542
csc4140
math6119
comp1710
fina864
csys5020
busi4412
math5007
2702ict
dts204tc
comp2003j
cosc2673
ecmt2150
bff3121–
comu7000
stat6118
comp814
acc202
ematm0067
bit233
ecs776p
600543
bpln0025
comp3400
econ7030
159.342 ‐ operating
mang6134
math1005/math6005
geog5404m
comp1710/6780
infs 2042
inf6028
bman30702
math0002
msci242l
mgt11001
com00177m
bman71282
fit2001
cpt210
159.341
econ7310
comp3221
comp10002
cpt206
ecmt1010
finm081
econ2005
cpt202
fit3094
socs0030
data7201
data2x01
mn-3507
mat246h1
ib2d90
ib3j80
acc207
comp90007
compx518-24a
fit1050
info1111
acct2201
buad801
compsci369
cse 332s
info1110
math1033
scie1000
eeee2057
math4063
cmt219
econ5074
eng5009
csse2310/csse7231
ec333
econ0001
cpt204
elec4630
ma117
dts104tc
comp2017
640481
csit128
eco000109m
finc5090
ggr202h5f
nbs8295
4ssmn902
chc6171
dsa1002
ebu6304
comp1021
csci-ua.202
com6511
ma416
mec206
iom209
bism7202
idepg001
cpt106
comp1212
ecom209
math1062
mn-3526
fnce3000
fmhu5002
psyc10003
fina2222
be631-6-sp/1
finc2011
37989
5aaob204
citx1401
econ0028
bsan3204
comp9123
cmt218
itp122
qbus6820
ecmt1020
bus0117
soft3202/comp9202
basc0057
mecm30013
aem4060
acb1120
comp2123
econ2151
ecmt6006
inmr77
com 5140
ocmp5328
comp1039
had7002h
cmt309
asb-3715
elec373
cpt204-2324
be631-6-sp
econ3016
mast10007
buss6002
comp4403
comp30023
finm1416
csc-30002
6qqmn971
fin668
mnfg309
inft2031
cits1402
comp2011
eecs 3221
ebu4201
ct60a9600
com336
8pro102
econ7300
comp3425
comp8410
comp222
finm8007
comp2006
comp26020
comp1721
eeen3007j
cis432
csci251
comp5125m
com398sust
finm7405
econ7021
fin600
infs4205/7205
mktg2510-
32022
mth6158
comp328
finn41615
2024
mec302
联系我们
- QQ: 9951568
© 2021
www.rj363.com
软件定制开发网!