MSC-News: Results of Workshop on Perf. & Time in Erlangen

Subject: MSC-News: Results of Workshop on Perf. & Time in Erlangen
From: Andreas Mitschele_Thiel (mitsch#immd7.informatik.uni-erlangen.de)
Date: Fri Mar 06 1998 - 15:07:33 GMT

The originator of this message is responsible for its content.
-----From Andreas Mitschele_Thiel <mitsch#immd7.informatik.uni-erlangen.de> to mscnews -----

Dear SDL and MSC folks,

enclosed is the report of the results of the discussion on the
integration on performance and time into SDL and MSC as reached
at the workshop in Erlangen.

The report is in postscript format. A more comprehensive version
of the report will be provided shortly. The long version will also
provide some more details on the different issues involved.

Best regards

        Andreas Mitschele 

-- 
Dr. Andreas Mitschele-Thiel          University of Erlangen-Nuremberg   
Phone: +49-9131-85-7932 or -7411                             IMMD VII 
Fax: +49-9131-85-7409                                   Martensstr. 3
Email: mitsch#informatik.uni-erlangen.de               91058 Erlangen

%!PS-Adobe-2.0
%%Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software
%%Title: WSresult.dvi
%%Pages: 5
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%DocumentFonts: Times-Roman Courier Times-Bold
%%EndComments
%DVIPSCommandLine: dvips -o WSresult.ps WSresult
%DVIPSParameters: dpi=300, comments removed
%DVIPSSource:  TeX output 1998.03.06:1556
%%BeginProcSet: tex.pro
/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
mul N /landplus90{false}def /#rigin{isls{[0 landplus90{1 -1}{-1 1}
ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
forall round exch round exch]setmatrix}N /#landscape{/isls true N}B
/#manualfeed{statusdict /manualfeed true put}B /#copies{/##copies X}B
/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{
/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N
string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N
end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{
/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]
N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup
length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{
128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub
get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data
dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N
/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup
/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx
0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff
setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff
.1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]}
if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup
length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{
cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N #rigin
0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict
/eop-hook known{eop-hook}if showpage}N /#start{userdict /start-hook
known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X
/IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for
65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0
0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V
{}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7
getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false}
ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail
{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}
B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{
4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{
p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p
a}B /bos{/SS save N}B /eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: texps.pro
TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2
index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics
exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub
dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}
ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict
end definefont 3 -1 roll makefont /setfont load]cvx def}def
/ObliqueSlant{dup sin S cos div neg}B /SlantFont{4 index mul add}def
/ExtendFont{3 -1 roll mul exch}def /ReEncodeFont{/Encoding exch def}def
end
%%EndProcSet
TeXDict begin 39158280 55380996 1000 300 300 (WSresult.dvi)
#start /Fa 81[28 55[25 28 17 19 22 1[28 25 28 41 14 28
1[14 28 25 17 22 28 22 28 25 11[36 1[28 36 1[30 39 36
47 33 7[36 36 33 13[25 25 25 25 1[14 12 46[{}38 50.000000
/Times-Bold rf /Fb 81[33 51[27 30 30 43 30 33 20 23 27
33 33 30 33 50 17 1[20 17 33 30 20 27 33 27 33 30 11[43
40 33 43 47 37 47 1[56 40 2[23 47 47 37 40 43 2[43 7[30
30 30 30 30 30 30 30 30 30 17 15 4[20 20 40[{}56 59.999973
/Times-Bold rf /Fc 55[17 24[28 28 51[22 25 25 36 25 25
14 19 17 25 25 25 25 39 14 25 14 14 25 25 17 22 25 22
25 22 10[36 36 30 28 33 36 28 36 36 44 30 1[19 17 36
36 28 30 36 33 33 36 6[14 3[25 25 25 25 25 25 25 14 12
17 12 2[17 17 6[17 33[{}65 50.000000 /Times-Roman rf
/Fd 170[52 48 40 52 56 44 56 52 68 3[28 56 56 44 48 52
52 1[52 13[36 36 36 49[{}20 72.000000 /Times-Bold rf
/Fe 138[36 36 36 36 2[36 36 36 36 36 1[36 36 36 36 36
36 36 1[36 32[36 17[36 36 45[{}20 59.999973 /Courier
rf /Ff 55[20 79[30 1[30 30 17 23 20 3[30 47 17 2[17 30
30 1[27 30 27 30 27 11[43 37 5[43 53 6[33 37 3[43 6[17
12[20 45[{}27 59.999973 /Times-Roman rf /Fg 135[43 62
2[24 1[29 1[43 43 43 67 2[24 24 43 43 1[38 1[38 11[81
1[62 53 48 57 62 48 62 62 77 53 62 1[29 62 1[48 53 62
57 1[62 10[43 4[43 43 24 22 4[29 29 40[{}40 86.416687
/Times-Roman rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 300dpi
TeXDict begin
%%PaperSize: a4

%%EndSetup
%%Page: 1 1
1 0 bop 46 371 a Fg(WORKSHOP)22 b(ON)g(PERFORMANCE)g(AND)g(TIME)e(IN)
678 475 y(SDL)h(AND)h(MSC)248 579 y(\(conjoint)f(with)h(the)f(Q.6/10)h
(expert)f(meeting\))358 682 y(RESUL)-8 b(TS)21 b(OF)g(THE)g(DISCUSSION)
667 832 y Ff(Andreas)14 b(Mitschele-Thie)o(l)340 907
y(Friedrich-Alexa)o(nder)n(-Unive)o(rsit)s(\310)-23 b(a)o(t)12
b(Erlangen-N)5 b(\310)-25 b(urnber)o(g)289 981 y(email:)17
b Fe(mitsch#informatik.uni-erla)o(ngen.de)20 1190 y Fd(1)72
b(INTRODUCTION)20 1301 y Fc(V)-6 b(arious)14 b(approaches)h(have)f
(been)g(presented)g(that)g(support)f(a)h(performance)f(evaluation)h
(\(see)g(the)g(work-)20 1361 y(shop)g(proceedings\).)k(Most)c(of)f(the)
g(approaches)g(to)g(performance)f(evaluation)h(use)h(some)f(kind)g(of)g
(work-)20 1421 y(around)f(to)g(associate)h(the)f(needed)h(performance)e
(information)f(into)i(the)g(SDL)h(speci\256cation)f(and)g(to)g(con-)20
1482 y(sider)e(performance)f(aspects)i(during)f(the)g(\(functional\))e
(simulation.)16 b(It)10 b(has)g(been)h(realized)e(that)h(the)h(dif)o
(fer)o(-)20 1542 y(ent)i(approaches)g(are)g(similar)f(in)h(the)g
(concepts)h(they)e(employ)h(to)g(associate)h(performance)d(to)i(SDL)g
(even-)20 1602 y(though)f(completely)g(dif)o(ferent)f(approaches)h
(have)h(been)f(selected)h(to)f(implement)g(the)g(concepts.)93
1662 y(In)d(the)f(joint)g(meeting)h(with)f(the)h(Q.6/10)f(experts,)i
(an)f(overview)f(on)h(the)f(dif)o(ferent)g(approaches)h(to)f(SDL-)20
1722 y(based)16 b(performance)e(evaluation)h(has)h(been)g(given)f(and)h
(the)f(QSDL)g(approach)h(\(machines,)g(service)g(re-)20
1783 y(quests)h(and)f(mapping\))g(has)g(been)h(presented)f(in)g(detail)
g(as)h(a)f(representative.)28 b(The)17 b(major)f(dif)o(ferent)e(of)20
1843 y(QSDL)e(from)f(the)h(other)f(approaches)h(is)g(its)g(use)g(of)f
(language)h(extensions)g(rather)f(than)h(language)g(annota-)20
1903 y(tions)g(or)g(a)h(separate)g(description)e(of)h(performance)g
(information.)93 1963 y(It)d(has)h(been)g(pointed)f(out)g(that)h(SDL-)f
(and)g(MSC-based)h(performance)e(evaluation)i(are)f(highly)g(related.)
20 2023 y(Also)i(performance)e(issues)j(are)f(related)f(to)g(other)h
(issues)g(of)g(SDL)f(and)h(MSC,)g(e.g.)17 b(the)11 b(de\256nition)f(of)
g(time,)20 2084 y(formal)h(semantics,)j(or)e(the)g(description)g(of)g
(the)g(implementation)f(platform.)93 2144 y(Due)h(to)f(the)g(mature)g
(state)h(of)f(SDL-based)g(performance)g(evaluation,)g(the)h(focus)f
(was)h(on)f(SDL)h(rather)20 2204 y(than)g(on)h(MSC.)20
2373 y Fd(2)72 b(OPEN)17 b(QUESTION)g(AND)g(COMMENTS)20
2485 y Fc(The)9 b(following)f(open)g(questions)h(and)g(issues)h(have)e
(been)h(identi\256ed)f(and)h(need)f(further)g(study)g(\(please)h(refer)
20 2545 y(to)16 b(the)f(workshop)g(proceedings)h(p.)g(10)f(for)g(a)h
(de\256nition)e(of)h(the)h(terminology)e(used)i(in)g(the)f
(following\).)20 2605 y(The)e(following)e(is)h(based)h(on)f(a)g
(\256rst)g(list)g(compiled)f(and)h(presented)g(at)g(the)g(workshop)g
(by)g(Bruno)g(M)t(\310)-21 b(uller)o(-)20 2665 y(Clostermann:)953
2959 y(1)p eop
%%Page: 2 2
2 1 bop 20 168 a Fb(2.1)60 b(Resour)o(ce/Platfor)o(m)12
b(Description)20 261 y Fa(2.1.1)51 b(Level)12 b(of)g(Detail)g(of)g(the)
g(Resour)o(ce/Platform)g(Description)20 355 y Fc(The)k(level)g(of)g
(detail)f(of)g(the)h(resource)g(description)f(is)h(an)g(important)f
(issue.)28 b(For)15 b(an)h(early)f(evaluation,)20 415
y(a)e(course)g(model)f(may)h(be)f(suf)o(\256cient.)18
b(The)13 b(approaches)g(range)f(from)g(the)h(speci\256cation)f(of)h
(delays,)g(from)20 475 y(which)c(the)h(response)f(times)h(are)f
(derived)g(considering)g(concurrency)g(within)f(a)i(set)g(of)f
(processes)h(\(SPECS,)20 536 y(ObjectGEODE\),)f(to)f(queueing)g(models)
g(with)g(various)g(service)h(strategies)f(and)g(priorities)f(\(QSDL,)i
(EaSySim)20 596 y(II\))i(to)i(the)f(detailed)g(emulation)g(of)g(the)g
(underlying)f(processor)i(hardware)e(\(SPEET\).)20 728
y Fa(2.1.2)51 b(Multiple)11 b(Use)i(of)f(the)f(Resour)o(ce/Platform)i
(Description)20 822 y Fc(The)i(description)f(of)g(the)h(resoures)f(or)h
(implementation)e(platform)g(may)h(serve)h(two)g(very)f(dif)o(ferent)f
(pur)o(-)20 882 y(poses.)23 b(It)14 b(is)h(needed)f(for)f(a)i
(performance)e(evaluation)g(as)i(well)f(as)h(to)f(specify)g(the)g
(platform)f(for)h(the)g(im-)20 943 y(plementation)i(of)g(the)g(SDL)g
(speci\256cation.)29 b(However)n(,)18 b(these)f(two)f(purposes)g
(require)g(rather)f(dif)o(ferent)20 1003 y(information)10
b(of)h(the)h(machines)g(which)f(may)h(be)g(the)f(motivation)g(to)h
(keep)f(two)h(descriptions.)17 b(It)11 b(has)h(been)20
1063 y(pointed)d(out)f(that)h(France)f(T)m(elecom)h(is)g(working)f(on)h
(a)g(proposal)f(to)h(specify)g(the)g(implementation)e(platform)20
1123 y(\(Oystein)12 b(Haugen\).)20 1256 y Fa(2.1.3)51
b(Speci\256cation)10 b(of)i(Resour)o(ces)i(in)e(Standard)e(SDL)20
1349 y Fc(It)e(has)h(been)f(proposed)g(to)g(describe)g(resources)h
(directly)e(in)h(SDL)h(using)f(special)h(data)f(types)g(\(Joseph)h
(Sifakis\).)20 1410 y(This)k(has)g(the)f(advantage)g(that)g(no)g
(changes)h(to)f(SDL,)h(especially)f(to)g(its)g(semantics)h(are)f
(needed.)17 b(Follow-)20 1470 y(ing)11 b(this)g(idea,)g(the)g
(semantics)g(of)g(an)f(extended)h(SDL)g(\(like)f(QSDL\))h(could)f(be)h
(de\256ned)g(within)f(pure)g(SDL,)20 1530 y(i.e.)j(by)g(a)f(set)h(of)f
(macros)g(\(Joseph)h(Sifakis)f(and)g(Jean-Luc)h(Roux\).)20
1677 y Fb(2.2)60 b(Resour)o(ce)13 b(Demands)20 1771 y
Fa(2.2.1)51 b(Level)12 b(of)g(Detail)g(of)g(the)g(Resour)o(ce)h
(Demands)20 1865 y Fc(The)g(level)f(of)g(detail)g(of)f(the)i(resource)f
(requests)g(is)h(an)f(issue.)17 b(Alternatives)12 b(are)g(the)g
(association)h(of)f(a)g(ser)o(-)20 1925 y(vice)f(request)g(to)g
(actions)g(or)g(complete)g(transitions)g(in)g(SDL,)g(or)g(to)g(add)g
(special)g(service)h(requests)f(to)g(arbi-)20 1985 y(trary)h(points)g
(in)h(the)f(SDL)h(speci\256cation.)k(It)12 b(has)h(been)g(ar)o(gued)f
(that)g(service)h(requests)g(should)f(be)h(associ-)20
2045 y(ated)e(to)f(SDL)g(constructs,)i(rather)d(than)i(introducing)e(a)
i(separate)f(new)h(construct.)16 b(In)10 b(this)g(context)g(also)h(the)
20 2105 y(question)h(of)g(\257exibility)g(versus)g(practicability)g(of)
g(the)g(approach)g(has)h(been)f(raised)h(\(Oystein)f(Haugen\).)20
2238 y Fa(2.2.2)51 b(Blocking)11 b(versus)i(Nonblocking)e(Resour)o(ce)i
(Demands)20 2332 y Fc(T)m(ypical)j(approaches)h(support)e(blocking)h
(resource)g(requests,)i(i.e.)30 b(the)16 b(executing)g(process)h(is)f
(blocked)20 2392 y(until)10 b(the)g(given)g(resource)h(is)f(acquired)g
(and)h(the)f(required)g(service)g(time)g(has)h(passed.)17
b(In)10 b(EaSySim)g(II)g(also)20 2452 y(nonblocking)k(requests)i(can)f
(be)g(issued.)26 b(This)15 b(is)h(helpful)e(to)h(model)f(nonblocking)h
(resource)f(demands,)20 2512 y(e.g.)g(signal)e(outputs.)20
2645 y Fa(2.2.3)51 b(Speci\256cation)10 b(of)i(Resour)o(ce)h(Demands)g
(of)f(Communication)20 2739 y Fc(It)h(has)g(been)h(noted)f(that)f(the)i
(speci\256cation)f(of)f(resource)h(demands)g(for)g(communication)f
(\(delay\))g(should)20 2799 y(be)h(described)f(in)g(a)h
(straight-forward)d(manner)i(\(Anders)g(Ek\).)953 2959
y(2)p eop
%%Page: 3 3
3 2 bop 20 168 a Fa(2.2.4)51 b(Modeling)11 b(Overhead)20
261 y Fc(It)g(has)g(been)g(pointed)g(out)g(that)f(the)h(overhead)g(in)g
(executing)g(an)g(SDL)g(speci\256cation)g(\(i.e.)16 b(the)11
b(SDL)h(transi-)20 322 y(tions\))g(may)h(be)f(much)h(lar)o(ger)e(than)i
(the)f(cost)h(of)f(the)h(SDL)f(transition)g(itself)h(\(Andreas)f
(Mitschele-Thiel\).)20 382 y(Thus,)k(the)e(overhead)f(of)h(the)g
(runtime)f(system)h(is)h(an)f(important)f(issue)h(and)g(should)g(be)g
(modeled)g(appro-)20 442 y(priately)m(.)i(In)c(performance)f
(evaluation,)i(there)f(are)g(two)g(basic)h(approaches)g(to)f(include)g
(overhead.)17 b(Over)o(-)20 502 y(head)d(is)g(directly)g(added)g(to)f
(the)h(resource)g(demands)g(of)g(the)f(actions)i(itself)e(or)h
(overhead)f(is)i(modeled)e(by)20 562 y(an)j(abstract)f(overhead)g
(factor)f(that)h(reduces)h(the)f(capacity)g(of)g(the)g(resource)g
(which)g(is)h(available)f(to)g(the)20 622 y(application)d(\(Bruno)g(M)t
(\310)-21 b(uller)o(-Clostermann\).)20 770 y Fb(2.3)60
b(Speci\256cation)13 b(of)i(Performance)d(Requir)o(ements)20
863 y Fc(This)f(is)f(an)g(important)f(issue)i(for)e(the)h(automatic)f
(veri\256cation)g(of)h(performance)f(requirements.)15
b(However)n(,)20 924 y(it)d(is)g(not)g(central)f(for)h(a)g(typical)f
(performance)g(evaluation.)17 b(Thus,)c(it)f(has)g(not)g(been)g(a)g
(major)f(topic)h(for)f(the)20 984 y(joint)i(meeting)g(with)g(Q.6.)20
b(T)m(wo)14 b(basic)f(approaches)h(have)f(been)h(presented)f(at)h(the)f
(workshop)g(to)g(specify)20 1044 y(performance)e(requirements,)h
(namely)g(extended)h(MSCs)g(\(Lennard)f(Lambert)g(and)h(Ina)f
(Schieferdecker\))20 1104 y(and)e(an)g(approach)f(based)i(on)f(a)g
(temporal)f(logic)g(\(Marc)h(Diefenbruch\).)15 b(It)9
b(has)h(been)g(noted)g(that)g(MSCs)g(are)20 1164 y(less)k(expressive)g
(than)f(a)g(temporal)f(logic)h(and)g(that)g(temporal)f(logics)h(are)g
(not)g(acceptable)h(for)e(end)h(users.)20 1225 y(An)e(idea)f(is)h(to)f
(enhance)h(the)f(expressiveness)h(of)f(MSCs)h(to)g(solve)f(the)h
(problem,)f(i.e.)h(to)g(map)f(the)g(extended)20 1285
y(MSCs)j(internally)f(to)g(temporal)f(logic)h(expressions)h(\(Marc)f
(Diefenbruch\).)20 1432 y Fb(2.4)60 b(Speci\256cation)13
b(of)i(System)f(Stimuli)20 1526 y Fc(This)f(is)g(important,)e(but)h
(has)h(not)f(been)g(discussed)i(in)e(detail.)k(V)-6 b(arious)13
b(proposals)f(exist,)h(e.g.)k(see)c(QSDL,)20 1586 y(SPEET)l(,)j(GEODE,)
g(EaSySim)f(II.)f(An)h(approach)f(is)h(to)g(add)f(SDL)h(processes)h
(that)e(generate)h(stimuli)f(ac-)20 1646 y(cording)e(to)g(a)h(random)e
(or)h(trace-driven)f(pattern.)20 1793 y Fb(2.5)60 b(Relation)13
b(of)i(Performance)c(Evaluation)j(to)g(Object)f(Orientation)g(in)h(SDL)
h(92)20 1887 y Fc(All)9 b(approaches)g(to)g(performance)f(evaluation)g
(so)h(far)g(do)g(not)f(deal)h(with)g(object)g(orientation)f(in)g(SDL)i
(\(Oys-)20 1947 y(tein)i(Haugen\).)17 b(This)c(is)g(an)f(important)f
(issue)i(and)g(needs)g(study)m(.)20 2094 y Fb(2.6)60
b(Flexibility)12 b(of)i(Mapping)i(and)f(A)l(vailable)e(Resour)o(ces)20
2188 y Fc(It)d(has)g(been)g(pointed)f(out)h(that)f(a)i(single)e(SDL)i
(speci\256cation)e(may)h(be)g(mapped/implemented)f(on)g(dif)o(ferent)20
2248 y(hardware)h(and)g(that)g(a)h(chosen)g(hardware)e(con\256guration)
h(may)g(serve)g(for)g(the)g(implementation)f(of)h(various)20
2308 y(SDL)h(speci\256cations)f(\(Eckardt)g(Holz,)i(Rainer)e
(Gerlich\).)15 b(Thus,)d(it)e(seems)i(advisable)e(to)g(keep)h(the)f
(speci\256-)20 2369 y(cation)h(of)f(the)h(application)f(and)h(the)g
(available)f(resources)h(as)h(separate)f(as)g(possible)g(to)g(support)f
(\257exibility)20 2429 y(and)j(reuse.)20 2576 y Fb(2.7)60
b(Development)13 b(Phases)i(to)f(be)h(Supported)20 2670
y Fc(The)h(question)g(of)f(which)h(development)f(phases)h(should)g(be)g
(supported)f(has)h(been)g(raised.)27 b(It)15 b(has)h(been)20
2730 y(ar)o(gued)9 b(that)f(early)h(as)g(well)g(as)h(later)e
(performance)g(evaluation)g(is)h(important)f(\(Andreas)h
(Mitschele-Thiel\).)953 2959 y(3)p eop
%%Page: 4 4
4 3 bop 20 168 a Fb(2.8)60 b(Limited)13 b(Input)j(Queues)20
261 y Fc(All)8 b(physical)g(systems)i(are)e(limited.)15
b(This)8 b(includes)h(input)e(queues)i(of)f(SDL)g(processes.)17
b(Unlimited)7 b(queues)20 322 y(ease)k(formal)f(validation.)15
b(The)c(question)f(has)h(been)g(raises)f(whether)g(the)h(validation)e
(of)h(a)h(system)g(which)f(is)20 382 y(dif)o(ferent)h(from)h(the)g
(implementation)g(is)h(useful)f(\(Andreas)g(Mitschele-Thiel\).)17
b(The)d(implications)d(of)i(in-)20 442 y(troducing)e(limited)g(queues)i
(in)e(SDL)i(have)f(been)g(discussed.)18 b(The)12 b(implications)f(are)h
(far)o(-reaching.)k(Most)20 502 y(important)7 b(seems)j(the)e(question)
g(of)g(how)h(to)f(deal)h(with)f(buf)o(fer)f(over\257ow)h(and)g(the)h
(implication)e(the)h(selected)20 562 y(solution)h(has)h(on)f(the)g
(formal)f(semantics.)17 b(Alternatives)9 b(for)f(dealing)h(with)g(full)
f(queues)i(are)f(discarding)g(the)20 622 y(signal,)k(throwing)d(an)i
(exception,)h(or)e(restarting)g(the)h(system.)17 b(It)12
b(has)g(been)g(pointed)f(out)h(that)g(the)f(selected)20
683 y(action)i(depends)g(on)f(the)h(application.)k(It)c(has)g(been)g
(noted)f(that)h(some)g(evaluation)f(tools)h(support)f(limited)20
743 y(buf)o(fers,)g(e.g.)18 b(GEODE)13 b(and)f(QSDL.)20
890 y Fb(2.9)60 b(Semantics)14 b(of)g(T)o(ime)20 984
y Fc(The)d(time)e(semantics)i(of)f(SDL)g(is)g(very)g(vague,)h(which)f
(is)g(due)g(to)g(missing)g(agreement)g(on)g(the)g(issue)h(within)20
1044 y(Q.6.)17 b(Currently)m(,)10 b(the)g(time)g(may)g(or)g(may)g(not)g
(be)g(advanced)g(by)g(an)h(action.)16 b(An)10 b(interpretation)f(of)g
(this)i(is)f(to)20 1104 y(advance)g(the)g(time)f(only)g(when)h(all)f
(queues)h(of)f(the)h(system)g(are)f(empty)g(\(Joseph)h(Sifakis\).)15
b(This)10 b(interpreta-)20 1164 y(tion)i(has)g(the)g(advantage)f(of)h
(reducing)f(the)h(complexity)f(for)g(functional)g(simulation)g(and)h
(validation.)k(For)20 1225 y(a)f(performance)e(simulation,)i(this)f
(interpretation)f(seems)i(not)f(to)g(be)h(appropriate)e(\(Andreas)h
(Mitschele-)20 1285 y(Thiel\).)93 1345 y(T)m(ools)h(supporting)e
(performance)g(simulation)h(usually)g(implement)f(a)i(time)f(semantics)
g(that)g(follows)20 1405 y(the)h(principles)f(of)g(discrete)g(event)g
(simulation.)23 b(This)15 b(is)g(also)g(in)f(conformance)g(to)g(the)g
(current)g(\(vague\))20 1465 y(time)e(semantics)h(of)f(SDL.)20
1613 y Fb(2.10)60 b(Hierar)o(chy)12 b(of)i(T)l(ypes)h(and)g(Defaults)20
1706 y Fc(The)c(possibility)f(to)g(use)g(defaults)g(for)f(resource)h
(demands)h(to)f(release)g(the)g(user)g(from)f(the)h(task)h(of)f
(associat-)20 1766 y(ing)i(a)g(resource)f(demand)h(to)g(every)f(action)
h(has)g(been)g(identi\256ed)f(\(Oystein)h(Haugen,)g(Lennard)g
(Lambert\).)20 1827 y(This)h(represents)g(an)f(extension)g(of)g(the)h
(approaches)f(followed)g(by)g(SPECS)g(and)h(ObjectGEODE.)20
1974 y Fb(2.1)m(1)59 b(T)-5 b(ool)14 b(Support)h(versus)g(Language)f
(Extensions)h(and)g(Standardization)20 2068 y Fc(The)d(question)f(to)f
(what)h(extent)g(the)g(performance)f(evaluation)g(is)i(a)f(tool)g
(issue)g(rather)f(than)h(a)g(standardiza-)20 2128 y(tion)h(issue)h(has)
g(been)g(raised.)20 2297 y Fd(3)72 b(FUR)m(THER)17 b(PROCEEDING)20
2423 y Fb(3.1)60 b(ITU)15 b(Meeting)f(in)h(Geneva)e(\(End)j(of)e(Mar)o
(ch)h(1998\))20 2517 y Fc(It)h(is)g(planned)g(to)f(present)h(the)g
(motivation)f(for)g(the)h(study)g(and)g(integration)f(of)h(performance)
e(and)i(time)20 2577 y(issues)c(to)e(the)g(SG)g(10)h(plenary)m(.)k(The)
c(list)g(of)e(open)i(issues)g(will)f(be)h(presented)f(at)h(the)f(Q.6)h
(meeting)f(together)20 2637 y(with)i(a)h(discussion)g(of)f(proposals)g
(related)g(to)g(the)h(issue.)953 2959 y(4)p eop
%%Page: 5 5
5 4 bop 20 168 a Fb(3.2)60 b(Afterwards)20 261 y Fc(Progress)12
b(depends)h(on)f(participation)f(of)h(the)h(performance)e(community!)20
322 y(PLEASE)i(GET)h(INVOL)-5 b(VED)953 2959 y(5)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF

-----End text from Andreas Mitschele_Thiel <mitsch#immd7.informatik.uni-erlangen.de> to mscnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
    help
or (iff this does not answer your question) email: owner-mscnews#sdl-forum.org

This archive was generated by hypermail 2a23 : Wed Jun 19 2013 - 13:16:37 GMT