Abstract | ||
---|---|---|
Message Sequence Charts are widely used for the specification of functional requirements, including timing requirements. These requirements can be validated and used as input for the design stage, and subsequent phases. Deployment constraints are generally taken into account at the implementation stage only. These constraints may conflict and invalidate some of the functional/behavioral requirements already validated at a high level of abstraction in the requirement phase. In this paper, we propose to take into account some deployment constraints at the very early stage of development and check if the system functional requirements will not be impossible to meet at later stages when constraints like communication channel delays, process assignment to CPUs, and scheduling policies are taken into account. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-31810-1_8 | SAM |
Keywords | Field | DocType |
communication channel delay,system functional requirement,behavioral requirement,functional requirement,scheduling constraint,design stage,msc specification,deployment constraint,implementation stage,early stage,later stage,message sequence charts,early validation,message sequence chart,communication channels | Functional requirement,Software deployment,Abstraction,Computer science,Scheduling (computing),Computer network,Communication channel,Real-time computing,Non-functional requirement,Stage only,Distributed computing | Conference |
Volume | ISSN | ISBN |
3319 | 0302-9743 | 3-540-24561-8 |
Citations | PageRank | References |
1 | 0.36 | 12 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ferhat Khendek | 1 | 467 | 64.17 |
Christophe Lohr | 2 | 35 | 7.00 |
Li Xin Wang | 3 | 1 | 0.36 |
Xiao Jun Zhang | 4 | 8 | 0.99 |
Tong Zheng | 5 | 25 | 3.07 |