( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model

, , и . Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Toronto, Canada.(октября 2001)

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.

Jochen Küster

Jürgen Malte Küster

Hermann Küster

Paul Küster

Ulrich Küster

 

Другие публикации лиц с тем же именем

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model, , и . Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Toronto, Canada.(октября 2001)Confluence of Typed Attributed Graph Transformation Systems, , и . 2505, стр. 161--176. (2002)Generating instance models from meta models., , и . Softw. Syst. Model., 8 (4): 479-500 (2009)A case study on consistency management of business and IT process models in banking., , , , и . Softw. Syst. Model., 13 (3): 913-940 (2014)Agent-Oriented Modeling with Graph Transformation., , и . AOSE, том 1957 из Lecture Notes in Computer Science, стр. 105-120. Springer, (2000)Model-Based Verification and Validation of Properties, , , и . 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..The Role of Visual Modeling and Model Transformations in Business-driven Development., , , , , и . GT-VMT@ETAPS, том 211 из Electronic Notes in Theoretical Computer Science, стр. 5-15. Elsevier, (2006)Generating Instance Models from Meta Models, , и . Software and System Modeling, 8 (4): 479-500 (2009)Identifying Semantic Dimensions of (UML) Sequence Diagrams., , и . pUML, том P-7 из LNI, стр. 142-157. GI, (2001)A Java-Based Framework for Case Management Applications., и . BPM Forum, том 360 из Lecture Notes in Business Information Processing, стр. 107-124. Springer, (2019)