( en | de | ru )

 

Disambiguation of "Küster, Jochen Malte"

Author of the publication

copydeleteadd this publication to your clipboard
A case study on consistency management of business and IT process models in banking.

, , , , and . Softw. Syst. Model., 13 (3): 913-940 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jochen Küster

Jürgen Malte Küster

Robert Küster

Michelle Küster

William Küster

 

Other publications of authors with the same name

Detection and resolution of conflicting change operations in version management of process models., , , and . Softw. Syst. Model., 12 (3): 517-535 (2013)A case study on consistency management of business and IT process models in banking., , , , and . Softw. Syst. Model., 13 (3): 913-940 (2014)Incorporating risk into business process models., , , , and . IBM J. Res. Dev., 54 (3): 4 (2010)Identifying refactoring opportunities in process model repositories., , , and . Inf. Softw. Technol., 53 (9): 937-948 (2011)Generating instance models from meta models., , and . Softw. Syst. Model., 8 (4): 479-500 (2009)Confluence of Typed Attributed Graph Transformation Systems, , and . 2505, page 161--176. (2002)Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model, , and . Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Toronto, Canada.(October 2001)Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars., , , and . GT-VMT@ETAPS, volume 211 of Electronic Notes in Theoretical Computer Science, page 159-170. Elsevier, (2006)Agent-Oriented Modeling with Graph Transformation., , and . AOSE, volume 1957 of Lecture Notes in Computer Science, page 105-120. Springer, (2000)Model-Based Verification and Validation of Properties, , , and . Electr. Notes Theor. Comput. Sci., (2003)MR: UML-Modell (On the high level, our system model is composed of use case diagrams and sequence diagrams describing the interaction of the system with users of the system. On the low level, it is composed of class diagrams, statecharts and activity diagrams.) wird durch Grapftransformationen in eine formale Sprache (CSP) überführt und mit einem Model-Checker validiert und in ein Testmodell überführt..