![](bg8.png)
In contrast to the three underlying catalogs that apply
derivatives of property specification languages (Baier
and Katoen, 2008) that are difficult to apply correctly
(Autili et al., 2007) and require a state-based design
model, our pattern catalog bases on the visual notion
of MSDs that can be directly simulated and formally
checked for consistency already at requirements level.
In future work we plan to evaluate our formal,
model- and scenario-based requirement pattern cat-
alog by applying it in further industry case studies.
Furthermore, we want to extend the catalog by fur-
ther types of patterns like security requirement pat-
terns (Spanoudakis et al., 2007).
REFERENCES
Alexander, C., Ishikawa, S., and Silverstein, M. (1977). A
Pattern Language, volume 2 of Center for Environ-
mental Structures Series. Oxford University Press.
Alur, R., Courcoubetis, C., and Dill, D. (1993). Model-
checking in dense real-time. Information and Compu-
tation, 104(1):2 – 34.
Arora, C., Sabetzadeh, M., Briand, L. C., and Zimmer, F.
(2014). Requirement boilerplates: Transition from
manually-enforced to automatically-verifiable natural
language patterns. In 4
th
Int. Workshop on Require-
ments Patterns (RePa 2014).
Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., and
Tang, A. (2015). Aligning qualitative, real-time, and
probabilistic property specification patterns using a
structured english grammar. IEEE Transactions on
Software Engineering, 41(7):620–638.
Autili, M., Inverardi, P., and Pelliccione, P. (2007). Graph-
ical scenarios for specifying temporal properties: an
automated approach. Automated Software Engineer-
ing, 14(3):293–340.
Baier, C. and Katoen, J.-P. (2008). Principles of Model
Checking. MIT Press.
Büchi, J. R. (1966). Symposium on decision problems:
On a decision method in restricted second order arith-
metic. Studies in Logic and the Foundations of Math-
ematics, 44:1–11.
Bitsch, F. (2001). Safety patterns – the key to formal specifi-
cation of safety requirements. In 20
th
Int. Conference
on Computer Safety, Reliability and Security (SAFE-
COMP 2001), pages 176–189.
Brenner, C., Greenyer, J., Holtmann, J., Liebel, G.,
Stieglbauer, G., and Tichy, M. (2014). Scenari-
oTools real-time play-out for test sequence validation
in an automotive case study. In 13
th
Int. Workshop
on Graph Transformation and Visual Modeling Tech-
niques (GT-VMT 2014).
Brenner, C., Greenyer, J., and Panzica La Manna, V. (2013).
The ScenarioTools play-out of modal sequence dia-
gram specifications with environment assumptions. In
12
th
Int. Workshop on Graph Transformation and Vi-
sual Modeling Techniques (GT-VMT 2013).
Chung, L., Kopczy
´
nska, S., Leite, J. C. S. d. P., Supakkul,
S., and Zhao, L. (2016). Welcome to the 6
th
int. work-
shop on requirements patterns (RePa). In 2016 IEEE
24
th
Int. Requirements Engineering Conf. Workshops
(REW), pages 276–277.
Damm, W. and Harel, D. (2001). LSCs: Breathing life into
message sequence charts. Formal Methods in System
Design, 19:45–80.
Dwyer, M. B., Avrunin, G. S., and Corbett, J. C. (1999).
Patterns in property specifications for finite-state ver-
ification. In 1999 Int. Conference on Software Engi-
neering (ICSE 99), pages 411–420.
Emerson, E. A. and Clarke, E. M. (1982). Using branch-
ing time temporal logic to synthesize synchroniza-
tion skeletons. Science of Computer Programming,
2(3):241–266.
Fockel, M., Holtmann, J., Koch, T., and Schmelter,
D. (2017). Model-based requirement pattern cata-
log. Technical Report tr-ri-17-354, Fraunhofer IEM
/ Heinz Nixdorf Institute.
Greenyer, J., Brenner, C., Cordy, M., Heymans, P., and
Gressi, E. (2013). Incrementally synthesizing con-
trollers from scenario-based product line specifica-
tions. In ESEC/FSE, pages 433–443. ACM.
Harel, D. and Maoz, S. (2008). Assert and negate revis-
ited: Modal semantics for UML sequence diagrams.
Software & Systems Modeling, 7(2):237–252.
Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Bren-
ner, C., Bernijazov, R., and Sander, M. (2016).
The MechatronicUML Requirements Engineering
Method: Process and Language. Technical Report tr-
ri-16-351, Fraunhofer IEM / Heinz Nixdorf Institute.
ISO (2011). ISO 29148:2011: Systems and software en-
gineering – life cycle processes – requirements engi-
neering.
Konrad, S. and Cheng, B. H. C. (2002). Requirements pat-
terns for embedded systems. In IEEE Joint Int. Con-
ference on Requirements Engineering.
Konrad, S. and Cheng, B. H. C. (2005). Real-time speci-
fication patterns. In 27
th
Int. Conference on Software
Engineering (ICSE 2005), page 372.
Konrad, S., Cheng, B. H. C., and Campbell, L. A. (2004).
Object analysis patterns for embedded systems. IEEE
Transactions on Software Engineering, 30(12):970–
992.
Mavin, A., Wilkinson, P., Harwood, A., and Novak,
M. (2009). Easy approach to requirements syntax
(EARS). In 17
th
IEEE Int. Requirements Engineering
Conference (RE 2009), pages 317–322.
Object Management Group (2015). OMG Unified Model-
ing Language (OMG UML), version 2.5.
Pohl, K. and Rupp, C. (2015). Requirements Engineering
Fundamentals. Rocky Nook, Inc.
Spanoudakis, G., Kloukinas, C., and Androutsopoulos, K.
(2007). Towards security monitoring patterns. In
2007 ACM Symposium on Applied Computing (SAC
07), pages 1518–1525. ACM.
Zhang, P., Li, B., and Grunske, L. (2010). Timed prop-
erty sequence chart. Journal of Systems and Software,
83(3):371–390.
MODELSWARD 2018 - 6th International Conference on Model-Driven Engineering and Software Development
318