Book Contributions (1)
- J. M. Küster
Konsistenzmanagement von objektorientierten Verhaltensmodellen
In D. Wagner et al. (Eds.) Ausgezeichnete Informatikdissertationen
2004. GI-Edition, Lecture Notes in Informatics D5, Gesellschaft
für Informatik 2005.
Journal Articles (6)
- K. Ehrig, J. M. Küster, G. Taentzer
Generating
Instance Models from Meta Models
Software and Systems Modeling (SoSyM), to appear.
- R. Hauser, M. Friess, J. M. Küster and J. Vanhatalo
An
Incremental Approach to the Analysis and Transformation of Workflows
Using Region Trees
IEEE Transactions on Systems, Man, and Cybernetics, Part C, Volume 38,
Issue 3, pages 347-359, May 2008.
- J. M. Küster
Definition
and Validation of Model Transformations
Software and Systems Modeling (SoSyM), Volume 5, Number 3, pages
233-259, September 2006.
- G. Engels, J. M. Küster, L. Groenewegen
Consistent
Interaction of Software Components
Transactions of the SDPS: Journal of Integrated Design & Process
Science, Vol. 6 No. 4, pp. 2-22, December 2002.
- R. Depke, R. Heckel, J. M. Küster
Formal
Agent-Oriented Modeling with Graph Transformation
Science of Computer Programming, 44:229-252, 2002.
- R. Depke, R. Heckel, J. M. Küster
Roles
in Agent-Oriented Modeling
Int. Journal of Software Engineering and Knowledge Engineering,
11(3):281-302, 2001.
Conference Papers (25)
- J. M. Küster, C. Gerth, A. Förster and G. Engels
Detecting
and Resolving Process Model Differences in the Absence of a Change Log
Proceedings 6th International Conference on Business Process
Management, LNCS 5240, pages 244-260, Springer-Verlag, September 2008
- K. Wahler and J. M. Küster
Predicting
Coupling of Object-Centric Business Process Implementations
Proceedings 6th International Conference on Business Process
Management, LNCS 5240, pages 148-163, Springer-Verlag, September 2008.
- J. Küster, C. Gerth, A. Förster, G. Engels
A Tool for Process
Merging in Business-Driven Development
Proceedings of the CAiSE'08 Forum at the 20th International Conference
on Advanced Information Systems Engineering (CAISE'08), pages 89-92,
Montpellier, France, June 2008.
- J. M. Küster and K. Ryndina
Improving
Inconsistency Resolution with Side-effect Evaluation and Costs
In G. Engels, B. Opdyke, D. C. Schmidt, F. Weil (Eds.): Proceedings
ACM/IEEE 10th International Conference on Model Driven Engineering
Languages and Systems, LNCS 4735, Springer, pages 136-150, October 2007.
- J. M. Küster and K. Ryndina and H. Gall
Generation
of Business Process Models for Object Life Cycle Compliance
G. Alonso, P. Dadam and M. Rosemann (Eds.), Proceedings 5th
International Conference on Business Process Management, LNCS 4714,
Springer, pages 165-181, October 2007.
- J. Koehler, T. Gschwind, J. Küster, C. Pautasso, K.
Ryndina, J. Vanhatalo, H. Völzer
Combining
Quality Assurance and Model Transformations in Business-Driven
Development
Proceedings Applications of Graph Transformations with Industrial
Relevance 2007 (AGTIVE 2007), pages 1-16, October 2007.
- O. Zimmermann, T. Gschwind, J. M. Küster, F. Leymann, N.
Schuster
Reusable
Architectural Decision Models for Enterprise Application Development
Proceedings Third International Conference on the Quality of
Software-Architectures, July 2007.
- R. Hauser, M. Friess, J. M. Küster, J. Vanhatalo
Combining
Analysis of Unstructured Workflows with Transformation to Structured
Workflows
Proc. 10th IEEE International EDOC Enterprose Computing Conference
(EDOC'06), Hong Kong, China, pages 129-140, October 2006.
- K. Ehrig, J. Küster, G. Taentzer, J. Winkelmann
Generating
Instance Models from Meta Models
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG
6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16,
2006, Proceedings, pages 156-170, June 2006.
- J. M. Küster, G. Engels
Consistency
Management within Model-Based Object-Oriented Development of Components
Formal Methods for Components and Objects: Second International
Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003.
Revised Lectures, LNCS 3188, pages 157-176, October 2004
- J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O.
Gurrieri, J.Küster, H. Lönn, J. Migge
An Architecture Description Language for Developing
Automotive ECU-Software
Proceedings 14th International Symposium 4th European Systems
Engineering Conference (INCOSE 2004), Toulouse, France
- J. Küster, R. Heckel, G. Engels
Defining
and and Validating Transformations of UML Models
Proceedings of the IEEE Symposium on Visual Languages and Formal
Methods, Auckland, New Zealand, October 28-31, 2003, IEEE Computer
Society, pp. 145-152
- G. Engels, R. Heckel, J. Küster
The
Consistency Workbench: A Tool for Consistency Management in UML-based
Development
In Proceedings UML 2003 - The Unified Modeling Language. Modeling
Languages and Applications. 6th International Conference, San
Francisco, October 20-24, USA, LNCS 2863, Springer, 2003, pp. 356-359
- R. Heckel, J. Küster, S. Thöne, H. Voigt
Towards
Consistency of Web Service Architectures
Proc. of the 7th World Multiconference on Systemics, Cybernetics, and
Informatics (SCI 2003), Orlando, Florida USA, July 2003
- G. Engels, R. Heckel, J. M. Küster, L. Groenewegen
Consistency-preserving
model evolution
In J.-M. Jézéquel, H. Hussmann, S. Cook: Proc. UML 2002,
The Unified Modeling Language, Dresden, Germany, LNCS 2460
Springer-Verlag, pp. 212 - 226, Oktober 2002.
- R. Heckel, J. Küster, G. Taentzer
Confluence
of Typed Attributed Graph Transformation Systems
In A. Corradini, H.-J. Kreowski (Editoren): Proc. 1st Int. Conference
on Graph Transformation (ICGT 02), Barcelona, Spain, Lecture Notes in
Comp. Science. Springer-Verlag, Oktober 2002.
- G. Engels, J. Küster, L. Groenewegen,
Consistent
Interaction of Software Components
In Proc (eds.), Proc. Sixth
International Conference on Integrated Design and Process Technology
(IDPT 2002) , June 23-28, 2002, Pasadena, CA, USA
- G. Engels, R. Heckel, J. M. Küster
Rule-Based
Specification of Behavioral Consistency based on the UML Meta-Model
In M. Gogolla, C. Kobryn, editors, Proceedings of the 4th International
Conference on the Unified Modeling Language (UML'2001), pages 272 -287,
LNCS 2185, Toronto, Canada, October 2001
- G. Engels, J. M. Küster, L. Groenewegen, R. Heckel,
A
Methodology for Specifying and Analyzing Consistency of Object-Oriented
Behavioral Models
In V. Gruhn (ed.): Proceedings of the 8th European Software Engineering
Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of
Software Engineering (FSE-9), ACM Press, Vienna, Austria, September
2001, pp.186-195.
- J. M. Küster
Towards Behavior Consistent Modeling in UML-RT
In Proceedings of the Forum on Design Languages (FDL'01), Lyon, France,
September 2001.
- R. Depke, R. Heckel, J. M. Küster
Improving
the Agent-Oriented Modeling Process with Roles.
In Proc. Fifth Int. Conference on Autonomous Agents (AGENTS-2001),
Seiten 640-647, Montreal, Canada, Juni 2001. ACM, 2001
- J. M. Küster, J. Stroop
Consistent
Design of Embedded Real-time Systems with UML-RT
Proceedings of 4th IEEE International Symposium on Object-Oriented
Real-Time Distributed Computing (ISORC'2001), Magdeburg, May 2001
- C. Geiger, S. Flake, J. M. Küster
Towards UML-based Analysis and Design of Multi-Agent Systems
Proceedings of ENAIS'2001, Dubai, March 2001.
- R. Depke, R. Heckel, J. M. Küster
Integrating
Visual Modeling of Agent-Based and Object-Oriented Systems
In Proc. Fourth Intern. Conference on Autonomous Agents (AGENTS-2000),
Seiten 82-83, Barcelona, Spain, Juni 2000. ACM, 2000.
- D. Deugo, J. M. Küster, F. Oppacher, I. von Otte.
Patterns As a Means for Intelligent Software Engineering
Proceedings International Conference of Artificial Intelligence
(IC-AI), 1999
Workshop Papers (25)
- K. Anastasakis, B. Bordbar and J. M. Küster
Analysis of Model Transformations via Alloy
Proceedings 4th Workshop on Model-Driven Engineering, Verification and
and Validation (MoDeVVA'07), pages 47-56, October 2007.
- K. Ryndina, J. Küster, H. Gall
A Tool
for Integrating Object Life Cycle and Business Process Modeling
In Proceedings of the BPM Demonstration Program at the 5th
International Conference on Business Process Management (BPM). CEUR-WS,
October 2007.
- J. M. Küster and M. Abd-El-Razik
Validation
of Model Transformations - First Experiences using a White Box Approach
Proc. of the 3rd Workshop on Model Design and Validation (MoDeV2a),
pages 62-77, October 2006.
- K. Ryndina and J. M. Küster and H. Gall
Consistency
of Business Process Models and Object Life Cycles
Proceedings 1st Workshop Quality in Modeling, October 2006
- J. M. Küster, J. Koehler, K. Ryndina
Improving
Business Process Models with Reference Models in Business-Driven
Development
2nd Workshop on Business Processes Design (BPD'06), LNCS,
Springer-Verlag, September 2006.
- J. Koehler, R. Hauser, J. Küster, K. Ryndina, J.
Vanhatalo, M. Wahler
The
Role of Visual Modeling and Model Transformations in Business-driven
Development
Proceedings of the 5th International Workshop on Graph Transformation
and Visual Modeling Techniques, 2006.
- J. M. Küster, S. Sendall, M. Wahler
Comparing Two Model Transformation Approaches
Proceedings UML 2004 Workshop OCL and Model Driven Engineering, Lisbon,
Portugal, October 12, 2004.
- J. M. Küster
Systematic Validation of Model Transformations
Proceedings 3rd UML Workshop in Software Model Engineering (WiSME
2004), Lisbon, Portugal, October 2004.
- S. Sendall, J. M. Küster
Taming Model Round-Trip Engineering
Proceedings of Workshop on Best Practices for Model-Driven Software
Development (part of 19th Annual ACM Conference on Object-Oriented
Programming, Systems, Languages, and Applications), Vancouver, Canada,
25th October 2004.
- S. Sendall, R. Hauser, J. Koehler, J. M. Küster, M. Wahler
Understanding Model Transformation by Classification and
Formalization
Proceedings of Workshop on Software Transformation Systems (part of 3rd
International Conference on Generative Programming and Component
Engineering), Vancouver, Canada, 24th October 2004.
- J. M. Küster
Towards Inconsistency Handling of Object-Oriented Behavioral
Models
International Workshop on Graph Transformation (GT-VMT'04), Barcelona,
Spain
- J. M. Küster, J. Stehr
Towards Explicit Behavioral Consistency Concepts in the UML
Proceedings of the 2nd International Workshop on Scenarios and State
Machines: Models, Algorithms, and Tools. Portland, USA.
- G. Engels, J. M. Küster, R. Heckel, M. Lohmann
Model
Based Verification and Validation of Properties
In R. Bardohl, H. Ehrig (Editors), UNIGRA'03,
Uniform Approaches to Graphical Process Specification Techniques
(Satellite Event for ETAPS 2003), Warsaw, Poland, 5-6 April 2003,
Volume 82, Issue 7 of Electronic Notes in Theoretical Computer Science,
pages 1-18, Elsevier B.V., June 2003
- G. Engels, J. M. Küster, R. Heckel
Towards
Consistency-Preserving Model Evolution
In Proceedings ICSE Workshop on Model Evolution, Florida, USA, May 2002
- R. Heckel, J.M. Küster, G. Taentzer
Towards Automatic Translation of UML Models into Semantic
Domains
In H.-J. Kreowski (Editor): Proc. ETAPS 2002 Workshop on Application of
Graph Transformation, Grenoble, France, April 2002.
- R. Depke, R. Heckel, J.M. Küster
Agent-Oriented Modeling with Graph Transformation
In P. Ciancarini, M.J. Wooldridge (Editoren): Proc. 1st Int. Workshop
on Agent-Oriented Software Engineering (AOSE 2000), Limerick, Ireland,
June 2000, Band 1957 der Reihe Lecture Notes in Comp. Science, Seiten
105-120. Springer-Verlag, Berlin, 2001.
- R. Heckel, J.M. Küster
Behavioral Constraints for Visual Models
In Proc. ICALP2001 Workshop on Graph Transformation and Visual
Modelling Techniques (GT-VMT 2001), Heraklion, Greece, Band 50.3 der
Reihe Electronic Notes in TCS. Elsevier Science, 2001
- J. H. Hausmann, J. M. Küster, S. Sauer
Identifiying
Semantic Dimensions of (UML) Sequence Diagrams
In A. Evans, R. France, A. Moreira, B. Rumpe (eds.), Practical
UML-Based Rigorous Development Methods - Countering or Integrating the
eXtremists, UML 2001 Workshop, pp. 142-157. Gesellschaft für
Informatik, 2001.
- G. Engels, J. M. Küster
Enhancing UML-RT Concepts for Behavioral Consistent
Architecture Models
In Proceedings of the 1st ICSE Workshop on Describing Software
Architecture with UML, Toronto, Canada, May 2001.
- R. Depke, R. Heckel, J. M. Küster
Rollenbasierte
Modellierung autonomer Agenten
In H. Giese, S. Philippi (Editoren): Visuelle Verhaltensmodellierung
verteilter und nebenläufiger Software-Systeme, Workshop des
Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objekt-orientierte
Software-Entwicklung. Universität Münster, November 2000
- G. Engels, J. M. Küster, L. Groenewegen
Modeling Concurrent Behavior through Consistent Statechart
Views
Proceedings of the Workshop Dynamic Behaviour in UML Models: Semantic
Questions, pages 44-49. G. Reggio and A. Knapp and B. Rumpe and B.
Selic and R. Wieringa (editors), Technical Report No 6, LMU
München, October 2000
- J. M. Küster, J. Stroop
Towards Consistency of Dynamic Models and Analysis of Timing
Constraints
1st Workshop on Formal Design Techniques for Real-time Systems at
UML'2000, York, UK, October 2000.
- R. Depke, R. Heckel,J. M. Küster
Requirement Specification and Design of Agent-Based Systems
with Graph Transformation,Roles and UML
In P. Ciancarini, M.J. Wooldridge (Editoren): Proc. 1st Int. Workshop
on Agent-Oriented Software Engineering (ICSE-2000 Workshop), Limerick,
Ireland, Juni 2000. University of Limerick,2000.
- R. Depke, R. Heckel, J. M. Küster
Deploying Agents in an Electronic Banking Environment
In Workshop on Agents in Industry during the 4th International
Conference on Autonomous Agents (Agents 2000), Barcelona, Spain, Juni
2000.
- R. Depke, R. Heckel, J. M. Küster
Modeling
Agent-Based Systems with Graph Transformation and UML: From Requirement
Specifcation to Object-Oriented Design
In H. Ehrig, G. Taentzer (Editoren): Joint APPLIGRAPH/GETGRATS Workshop
on Graph Transformation Systems (GraTra 2000), Berlin, Germany, March
2000.
Diploma Theses (1)
- J. M. Küster
Visual Modeling of Agent-Based Systems: A Role-Oriented
Approach Using the UML.
Diplomarbeit, University of Paderborn, Germany, January 2000.
PhD Theses (1)
- J. M. Küster
Consistency Management of Object-Oriented Behavioral Models
Dissertation, University of Paderborn, March 2004
Technical Reports (4)
- R. Heckel, J. M. Küster, N. Bandener, B. Güldali, I.
Jahnich, C. Köpke, M. Weking
Automatische
Qualitätssicherung von UML Modellen. Bericht der Projektgruppe
Technischer Bericht TR-RI-03-245, Universität Paderborn
- G. Engels, J. M. Küster, L. Groenewegen
On the Specification and Analysis of Protocols in UML-RT
Technical Report No. 01-221 , University of Paderborn, Dep. of Comp.
Sci., January 2001.
- R. Depke, R. Heckel, J. M. Küster
Modeling
agent-based systems with graph transformation
Technical Report tr-ri-00-213, University of Paderborn, Germany, August
2000
- R. Depke, G. Engels, J. M. Küster.
On
the integration of roles in the UML
Technical Report tr-ri-00-214, University of Paderborn, Germany, August
2000
Miscellaneous (1)
- R. Depke, R. Heckel, J. M. Küster, M. Langham
Agenten im Auftrag des Bankkunden
Geldinstitute, 31(1-2):32-33, Februar 2000