( en | de | ru )

 

Disambiguation of "Küster, Jochen Malte"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

A case study on consistency management of business and IT process models in banking., , , , and . Softw. Syst. Model., 13 (3): 913-940 (2014)Confluence of Typed Attributed Graph Transformation Systems, , and . 2505, page 161--176. (2002)Generating instance models from meta models., , and . Softw. Syst. Model., 8 (4): 479-500 (2009)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)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..Generating Instance Models from Meta Models, , and . Software and System Modeling, 8 (4): 479-500 (2009)Agent-Oriented Modeling with Graph Transformation., , and . AOSE, volume 1957 of Lecture Notes in Computer Science, page 105-120. Springer, (2000)The Role of Visual Modeling and Model Transformations in Business-driven Development., , , , , and . GT-VMT@ETAPS, volume 211 of Electronic Notes in Theoretical Computer Science, page 5-15. Elsevier, (2006)A Java-Based Framework for Case Management Applications., and . BPM Forum, volume 360 of Lecture Notes in Business Information Processing, page 107-124. Springer, (2019)