Jos Warmer and Annek Kleppe, "The Object Constraint Language", Addison Wesley edition, October 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Strongly Complex Typed, Dialogue-Oriented Server Pages - Draheim, Weber (2002) (Correct)
....links and forms. A further very useful information generated in Gently is the list of callers for each method. The generated Gently document is the suitable place for comments, which are passed through from the NSP les, and therefore is amenable to proposed speci cation techniques like [14] or [28], too. The standard reverse engineering tool of java, namely javadoc, is not suitable for documenting servlets. Applying javadoc to the customized server script classes 16 leads only to the documentation of the technical parameters HTTPRequest and HTTPResponse. The interesting parameters, which ....
Warmer, J.; and Kleppe, A.G. The Object Constraint Language. Addison-Wesley, 1999.
Generating Test Data from OCL Specification - Benattou, Bruel, Hameurlain (Correct)
....or components via UML Statechart, specify the interaction among them and nally annotate them with test requirements. None of the proposed methods have used explicitly a formal method for objectoriented approach to extract test data from a given speci cation. The Object Constraint Language (OCL) [14], is an expression language that enables constraints to be described on object oriented models. A constraint is a restriction on one or more values within an object oriented model. OCL is considered as part of the UML, and is the standard for specifying invariants, precondition, postcondition, and ....
J. Warmer, A. Kleppe,"The Object Constraint Language", Addison-Wesley, 1999. 8
Semantics of Form-Oriented Analysis - Weber (2002) (Correct)
....constraint determines which information is presented on the client page that follows in the sequel. The client input constraint is a constraint on the information on the client page, which is independent from the server page. The constraints in the form chart are written in a variant of OCL [32]. For this purpose OCL is enriched by new contexts and key labels with appropriate semantics due to the needs of dialogue constraint writing. OCL has been chosen as a basis for the resulting dialogue constraint language despite of its lack of formal semantics [64] Main arguments are the rich ....
....of server actions and client pages, together with their parts. 5.3.1 Semantic Data Model The semantic data model represents the system state between user interactions. Remember, that OCL itself has no fixed rule, when OCL invariants given for a class in the semantic data model have to hold [32]. For Form Oriented Analysis therefore we fix this ambiguity and prescribe, that these class invariants have to hold every time a server action is left. In defining the semantic data model we are not concerned with technical transactionality. Instead access to the semantic data model is governed ....
[Article contains additional citation context not shown here]
Warmer, J.; and Kleppe, A.G. The Object Constraint Language. AddisonWesley, 1999.
XGuide - Concurrent Web Development with Contracts - Kerer (2003) (4 citations) (Correct)
....and links with specified attributes. Such a DTD can be seen as page description language that arranges a given number of objects and links on a page. It does not support other structures or the introduction of new elements. Transformation rules in an OCL like syntax (object constraint language, [121, 149]) can be used to transform artifacts, e.g. a template in the APD into an HTML page. OO H builds on existing standards (XML, DTD, OCL, etc. defines a sequential development process similar to other object oriented approaches, clearly separates concerns and provides high transformability. Among ....
J. Warmer and A. Kleppe. The Object Constraint Language. Precise Modeling with UML. Addison-Wesley, Reading, Mass., 1998.
Generating Test Data from OCL Specification - Benattou, Bruel, Hameurlain (2002) (Correct)
....object oriented approach to extract test data from a given speci cation. The work presented in this paper is an attempt to adapt the data generation from VDM used in [5] using the concept of partition analysis for Object Constraint Language (OCL) speci cation of components or objects. The OCL [13], is an expression language that enables constraints to be described on object oriented models. A constraint is a restriction on one or more values within an object oriented model. OCL is considered as part of the UML, and is the standard for specifying invariants, precondition, postcondition, and ....
J. Warmer, A. Kleppe,"The Object Constraint Language", Addison-Wesley, 1999. 5
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (7 citations) Self-citation (Warmer Kleppe) (Correct)
No context found.
Warmer J. and Kleppe A. The object constraint language. Precise modelling with UML. Addison Wesley Longman, 1999
Validating OCL Specifications with the USE Tool-An Example.. - Ziemann, Gogolla (2003) Self-citation (Gogolla) (Correct)
....feedback to developers in early development stages. Other tools for OCL include the commercial tool from Boldsoft [2] an OCL compiler [5] and the KeY tool [1] The USE tool (excluding the generator extension) is developed as part of the PhD thesis of Mark Richters [8] The OCL 2. 0 submission [13] that is developed as an answer to the UML 2.0 Request for Proposals for OCL includes a part regarding the formal semantics of UML OCL which is based on the mentioned PhD thesis. Therefore, the upcoming version of UML OCL does not implicate complex updates of the USE tool the new version of ....
J. Warmer, A. Kleppe, T. Clark, A. Ivner, J. Hogstrom, M. Gogolla, M. Richters, H. Hussmann, S. Zschaler, S. Johnston, D. S. Frankel, and C. Bock. Object Constraint Language 2.0. Technical report, Submission to the OMG, 2001.
Using B Method to Formalize the Java Card - Runtime Security Policy (Correct)
No context found.
Jos Warmer and Annek Kleppe, "The Object Constraint Language", Addison Wesley edition, October 1998.
Using B Method to Formalize the Java Card - Runtime Security Policy (Correct)
No context found.
Jos Warmer and Annek Kleppe, "The Object Constraint Language", Addison Wesley edition, October 1998.
The Authoring Process of the UML-based Web Engineering.. - Koch, Kraus, Hennicker (2001) (17 citations) (Correct)
No context found.
Warmer J. & Kleppe A. (1999). The Object Constraint Language. Addison Wesley.
Using B Method to Formalize the Java Card Runtime Security.. - Motre, Téri (2000) (Correct)
No context found.
Jos Warmer and Annek Kleppe, "The Object Constraint Language", Addison Wesley edition, October 1998.
A Contract-oriented Approach to CBP - Jifeng, Zhiming, Xiaoshan (2003) (1 citation) (Correct)
No context found.
J. Warmer and A. Kleppe, \The Object Constraint Language," Reading, MA: AddisonWesley, 1999.
Glass-Box and Black-Box Views on Object-Oriented.. - Bidoit, Hennicker.. (2004) (Correct)
No context found.
J. Warmer and A. Kleppe. The Object Constraint Language. Addison--Wesley, Reading, Mass., &c., 1999.
Model-based Testing of Object-Oriented Systems - Rumpe (Correct)
No context found.
Warmer J., Kleppe A. The Object Constraint Language. Addison-Wesley. 1998.
Interactive Process Models - Jørgensen (2004) (Correct)
No context found.
Warmer, J. and Kleppe, A. The Object Constraint Language. Addison-Wesley, 1999.
Using B Method to Formalize the Java Card Runtime Security.. - Motre, Teri (2000) (Correct)
No context found.
Jos Warmer and Annek Kleppe, "The Object Constraint Language", Addison Wesley edition, October 1998.
Towards a UML Extension for Hypermedia Design - Baumeister, Koch, Mandel (1999) (11 citations) (Correct)
No context found.
J. Warmer and A. Kleppe. The Object Constraint Language. Addison Wesley, 1999. 16
Component Calculus - Jifeng, Zhiming, Xiaoshan (2003) (Correct)
No context found.
J. Warmer and A. Kleppe, "The Object Constraint Language," Reading, MA: AddisonWesley, 1999.
An OCL Extension for Low-coupling Preserving - Contracts Nunes Lisbon (2003) (Correct)
No context found.
J.Warmer, A.Kleppe, T.Clark, A.Ivner, J.Hgstrm, M.Gogolla, M.Richters, H.Hussmann, S.Zschaler, S.Johnston, D.Frankel, and C.Bock. Object Constraint Language
Using B Method to Formalize the Java Card Runtime Security.. - Motre, Téri (2000) (Correct)
No context found.
Jos Warmer and Annek Kleppe, "The Object Constraint Language", Addison Wesley edition, October 1998.
Using B Method to Formalize the Java Card Runtime Security.. - Motre, Teri (2000) (Correct)
No context found.
Jos Warmer and Annek Kleppe, "The Object Constraint Language", Addison Wesley edition, October 1998
Formal Semantics for a UML Fragment Using UML/OCL Metamodeling - Tchertchago (2002) (Correct)
No context found.
J. Warmer, A. Kleppe, The Object Constraint Language, (Addison-Wesley 1998).
BON-CASE: An Extensible CASE Tool for Formal.. - Paige, Kaminskaya, al. (2002) (Correct)
No context found.
J. Warmer and A. Kleppe. The Object Constraint Language, Addison-Wesley, 1999.
Strongly Complex Typed, Dialogue-Oriented Server Pages - Dirk Draheim And (2002) (Correct)
No context found.
Warmer, J.; and Kleppe, A.G. The Object Constraint Language. Addison-Wesley, 1999.
Form Charts and Dialogue Constraints - Draheim, Weber (2002) (Correct)
No context found.
J. Warmer, A. Kleppe, "The Object Constraint Language", Addison Wesley, 1999
First 50 documents Next 50
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