Gregor Engels, Reiko Heckel, Jochen Malte Küster  Home/Search
Context Related
| unipaderborn.de/c...gelsKuesterUML.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: agengels.upb.de/ad...pub_list.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models intoasemantic domain. Then, consistency constraints can by speci ed and validated using the language and the tools of the semantic domain. This general methodology is exempli ed by the problem of protocol statechart inheritance (Update)
Context of citations to this paper: More
...nets, dataflow networks, transition systems, process algebras, etc. to (i) define formal semantics for UML in a denotational way [2, 7, 8, 16], and or (ii) carry out formal analysis of UML designs [4, 13] In the current paper, we investigate the model transformation...
...the UML. It may be used for parsing visual languages [1] and for automated translation of visual models into code or semantic domains [6, 19], or as a semantic domain itself [13, 9] Often, it is important to know whether the graph transformation system shows a functional...
Cited by: More
Model-Based Verification and Validation of Properties - Engels, Küster, Heckel.. (2003) (Correct)
Consistent Interaction of Software Components - Engels, Küster, Groenewegen (2002) (Correct)
Checking Behavioural Subtypes - Heike (Correct)
Active bibliography (related documents): More All
1.0: Towards Automatic Translation of UML Models into Semantic.. - Heckel, Küster, Taentzer (2002) (Correct)
0.5: Testing the Consistency of Dynamic UML Diagrams - Engels, al. (2002) (Correct)
0.5: How to Specify a Graph Transformation Approach: A Meta Model.. - Heckel, Zündorf (2001) (Correct)
Similar documents based on text: More All
0.6: Agent-Oriented Modeling with Graph Transformation - Depke, Heckel, Küster (2000) (Correct)
0.4: UML - A Universal Modeling Language? - Engels, Heckel, Sauer (2000) (Correct)
0.4: On the Integration of Roles in the UML - Depke, Engels, Küster (2000) (Correct)
Related documents from co-citation: More All
9: Handbook of Graph Grammars and Computing by Graph Transformation (context) - Rozenberg - 1997
8: Automatic verification of UML statechart diagrams using the SPIN modelchecker (context) - Latella, Majzik et al. - 1999
8: Designing the automatic transformation of visual languages (context) - Varro, Varro et al. - 2000
BibTeX entry: (Update)
G. Engels, R. Heckel, and J. M. Kuster. Rule-based specification of behavioral consistency based on the UML meta-model. In M. Gogolla and C. Kobryn (eds.), UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, vol. 2185 of LNCS, pp. 272--286. Springer, 2001. http://citeseer.ist.psu.edu/engels01rulebased.html More
@article{ engels01rulebased,
author = "Gregor Engels and Reiko Heckel and Jochen Malte K{\"u}ster",
title = "Rule-Based Specification of Behavioral Consistency Based on the {UML} Meta-model",
journal = "Lecture Notes in Computer Science",
volume = "2185",
pages = "272--??",
year = "2001",
url = "citeseer.ist.psu.edu/engels01rulebased.html" }
Citations (may not include all citations):20 graph languages and string-to-graph translations (context) - Pratt - 1971
16 The Uni ed Software Development Process (context) - Jacobson, Booch et al. - 1999
13 A methodology for specifying and analyzing consistency of ob.. (context) - Engels, uster et al. - 2001
12 and LOTOS: A case study (context) - Boiten, Bowman et al. - 1997
10 UML collaboration diagrams and their transformation to Java (context) - Engels, ucking et al. - 1999
8 Communcating Sequential Processes (context) - Hoare - 1985
8 Consistency checking for multiple view software architecture.. - Fradet, Le and et al. - 1999
7 Behavior consistent inheritance in UML (context) - Stumptner, Schre - 2000
6 Object-oriented modeling: A roadmap - Engels, Groenewegen - 2000
6 Failures-Divergence-Re nement: FDR2 User Manual (context) - Europe - 1997
5 Timing analysis of UML sequence diagrams - Li, Lilius - 1999
4 the Inheritance of State-Based Object Behavior (context) - Harel, Kupferman - 1999
3 Enabling automated analysis through the formalization of obj.. - Cheng, Campbell et al. - 2000
3 Special Issue on Managing Inconsistency in Software Developm.. (context) - Ghezzi, Nuseibeh - 1998
3 Special Issue on Managing Inconsistency in Software Developm.. (context) - Ghezzi, Nuseibeh - 1999
3 Consistent design of embedded real-time systems with UML-RT (context) - uster, Stroop - 2001
2 Analysis and design platform task force { white paper on the.. (context) - Group - 1999
2 UML speci cation version (context) - Group - 2001
2 Structural and behavioral views of OMT-classes (context) - Ebert, Engels - 1994
2 Improving UML with Petri nets (context) - Baresi, Pezz - 2001
2 Combining object-oriented modeling and formal description te.. (context) - Moreira, Clark - 1994
1 UML behavior: Inheritance and implementation in current obje.. (context) - Sourrouille - 1999
1 Algebra transformation systems and their compositions (context) - Gro - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://agengels.upb.de/admin/pubs/pub_list.php): More
Dynamic Meta Modeling with Time: Specifying the Semantics of .. - Hausmann, Heckel (2002) (Correct)
Classification And Comparison Of Module Concepts For Graph.. - Heckel, Engels (1999) (Correct)
Formal Semantics for a UML Fragment Using UML/OCL Metamodeling - Tchertchago (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC