Paige, R., Ostro#, J.: The Single Model Principle. In: Jounal of Object Technology, Vol. 1, No. 5, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Theorem Proving Support for View Consistency Checking - Paige, Ostroff, Brooke (2003) Self-citation (Paige Ostroff) (Correct)
No context found.
PAIGE R., OSTROFF J., "The Single Model Principle", Journal of Object Technology 1(5):63-81, November/December 2002.
Checking the Consistency of Collaboration and Class.. - Paige, Ostroff, Brooke (2002) (2 citations) Self-citation (Paige Ostroff) (Correct)
....may be clusters, objects, classes, and object clusters) and a set of relationships. To this class, we add, via inheritance, several private features that will be used to produce all abstractions and relationships that make up collaboration diagrams Aside. BON obeys the single model principle [12], in that a unique model of a system exists, from which different views can be generated. In this way, consistency of views is guaranteed. Thus, in the metamodel for BON, there is a unique class, defining the well formedness constraints on models. Features of this class can be used to ....
....checking can be carried out using automated theorem provers. The ADORA project [4] presents an alternative to UML for OO modelling, wherein all information related to a system is integrated into one coherent model. In this latter regard, it is similar to the single model principle described in [12]. The integrated model allows consistency constraints to be defined between views. A language and tool for supporting these constraints is discussed in [15] Some of the constraints that are checked by this tool are also captured in the UML metamodel, and as such are checked by UML compliant CASE ....
R.F. Paige and J.S. Ostroff. The Single Model Principle (Extended Abstract). In Proc. Requirements Engineering
Extending a Graphic Modeling Language to - Support Partial And (Correct)
No context found.
Paige, R., Ostro#, J.: The Single Model Principle. In: Jounal of Object Technology, Vol. 1, No. 5, 2002.
Consistency by Construction: the case of MERODE - Snoeck, Michiels, Dedene (Correct)
No context found.
Richard Paige, Jonathan Ostroff: "The Single Model Principle", in Journal of Object Technology, vol. 1, no. 5, November-December 2002.
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