Metamodellbasierte und hierarchieorientierte ... - RosDok

LITERATURVERZEICHNIS 151
[JABK08]
[Jac82]
[Jac03]
[JJ91]
[JKBL10]
[JTF09]
[KDF10]
[KHB00]
[KHGB]
JOUAULT, Frédéric ; ALLILAIRE, Freddy ; BÉZIVIN, Jean ; KURTEV, Ivan: ATL: A model
transformation tool. In: Sci. Comput. Program. 72 (2008), Nr. 1-2, S. 31–39
JACKSON, Michael: A System Development Method. In: NÉELE, D. (Hrsg.): Tools and
notions for program construction: An advanced course, Cambridge University Press, 1982, S.
1–25
JACKSON, Daniel: Alloy: A Logical Modelling Language. In: BERT, Didier (Hrsg.) ; BO-
WEN, Jonathan (Hrsg.) ; KING, Steve (Hrsg.) ; WALDÉN, Marina (Hrsg.): ZB 2003: Formal
Specification and Development in Z and B Bd. 2651. Springer Berlin / Heidelberg, 2003, S.
629–629
JOHNSON, Hilary ; JOHNSON, Peter: Task knowledge structures: Psychological basis and
integration into system design. In: Acta Psychologica 78 (1991), Nr. 1-3, 3 - 26. http://
dx.doi.org/DOI:10.1016/0001-6918(91)90003-I. – DOI DOI: 10.1016/0001–
6918(91)90003–I. – ISSN 0001–6918
JABRI, Sana ; KOURSI, ElMiloudi ; BOURDEAUD’HUY, Thomas ; LEMAIRE, Etienne: European
railway traffic management system validation using UML/Petri nets modelling strategy.
In: European Transport Research Review 2 (2010), 113-128. http://dx.doi.org/10.
1007/s12544-010-0030-5. – DOI 10.1007/s12544–010–0030–5. – ISSN 1867–0717
JØRGENSEN, Jens B. ; TJELL, Simon ; FERNANDES, João M.: Formal requirements modelling
with executable use cases and coloured Petri nets. In: Innovations Syst Softw Eng 5 (2009), S.
13–25
KÜHN, Robert ; DITTMAR, Anke ; FORBRIG, Peter: Alternative Representations of Workflow
Control-Flow Patterns Using HOPS. In: FORBRIG, Peter (Hrsg.) ; GÜNTHER, Horst (Hrsg.) ;
AALST, Wil (Hrsg.) ; MYLOPOULOS, John (Hrsg.) ; ROSEMANN, Michael (Hrsg.) ; SHAW,
Michael J. (Hrsg.) ; SZYPERSKI, Clemens (Hrsg.): Perspectives in Business Informatics
Research Bd. 64. Springer, 2010, S. 115–129
KIEPUSZEWSKI, Bartek ; HOFSTEDE, Arthur H. M. ; BUSSLER, Christoph: On Structured
Workflow Modelling. In: WANGLER, Benkt (Hrsg.) ; BERGMAN, Lars (Hrsg.): Advanced
Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm,
Sweden, June 5-9, 2000, Proceedings Bd. 1789, Springer, 2000 (Lecture Notes in Computer
Science), S. 431–445
KUHLMANN, Mirco ; HAMANN, Lars ; GOGOLLA, Martin ; BÜTTNER, Fabian: A benchmark
for OCL engine accuracy, determinateness, and efficiency. In: Software and Systems Modeling
http://dx.doi.org/10.1007/s10270-010-0174-8. – ISSN 1619–1366. –
10.1007/s10270-010-0174-8
[Kie03] KIERAS, David: GOMS Models for Task Analysis. In: [DS03] (2003), S. 83–116
[Kle08]
[KNS92]
KLEPPE, Anneke: Software Language Engineering: Creating Domain-Specific Languages
Using Metamodels. Addison-Wesley Longman, 2008
KELLER, Gerhard ; NÜTTGENS, Markus ; SCHEER, August-Wilhelm: Semantische Prozeßmodellierung
auf der Grundlage „Ereignisgesteuerter Prozeßketten (EPK)“. In: SCHEER,
August-Wilhelm (Hrsg.): Veröffentlichungen des Instituts für Wirtschaftsinformatik, Universität
des Saarlandes. Saarbrücken, 1992 (89)