UML: История, спецификация, библиография

Citation preview

1

International Conference «Knowledge-Dialogue-Solutions» 2007

UML: И

И ,

ЦИФИ

ЦИ , И

И

Ш

,

ФИ

я

Резю е: С UML, -

,

К ючевые с ова: UML,

.

-

,

,

.

ACM Classification Keywords: E.4 Сoding and information theory – Formal models of communication

UML (Unified Modeling Language),

“

-

” ,

,

-

.

UML, .

я UML

-

, -

(

−

) [1]: (Grady Booch),

−

Booch (Booch’91, Booch Lite, Booch’93) – [1];

(James Rumbaugh), Object Modeling Technique (

,

-2) – [2];

−

(Ivar Jacobson), Object-Oriented Software Engineering (OOSE) – , [3].

И

UML

1994 ., (Unified Method)

.

/ 0.8

1995 .

UML (Object Management Group) [4].

OMG

OMG .

CORBA, UML 1997 . OMG

UML

.

UML RFP (Request For Proposals)

. .

RFP 2000 .

UML 2003 . UML 2.0,

2

International Conference «Knowledge-Dialogue-Solutions» 2007

UML [5], UML [7]

[8]. UML – –

(3)

CORBA

: (1)

(Object Constraint Language – OCL) [6], OMG ; (2) , UML; , ; (4)

– ; (5) XMI (Metadata Interchange)

UML; (7)

; (6) UML

[9]. UML (Digital Equipment Corp., HP, Intellicorp, IBM, ICON Computing, Microsoft, Oracle, Rational Software ), , , . Rational Software Corporation [10], Rational Rose 98 – CASE, UML [11, 12]. Microsoft , UML, (UML Information Model), . Rational Software Corporation IBM (http://www306.ibm.com/software/rational/). UML

[13]: (1) , ; (2) ; (3) ; (5)

; (6) ; (7) . UML

, (http://www-306.ibm.com/software/awdtools/rup/support/)

Rational Unified Process (RUP) – ,

web [14, 15]. Э

. UML

[16], .

UML UML [5-8] CASEUML

OMG (www.omg.org); www.celigent.com/uml.

Rational Rose

UML , . , .

(

web– ,

. , (Martin Fowler) [17], ,

UML UML – . ):

[13]

, И.

3

International Conference «Knowledge-Dialogue-Solutions» 2007

UML (

80% ;

)

[15]

-

;

UML [18] . ”; Rational Rose UML [23] (

“...

”

[19], [20]. [21, 22], Rational Rose [24] –

UML 2.0). : “ [14, 25, 26, 27, 28];

Addison Wesley

UML

[29, 30].

UML

“ ,

,

” UML

. (1)

[28, 31, 32], (2) (4) [26, 34, 35].

, (3) .

[33], UML

(

) ,

я

,

-

[36].

я UML

:

(

.

)

,

,

,

.

( ,

,

) )

(

,

[1]. UML , , (4)

, (3)

: (1) [5].

-

, (2)

.

UML

( .

) -

–

–

.

UML –

.

(

)

UML ,

(

)

, .

,

.

, . UML

(

):

,

[7].

-

4

International Conference «Knowledge-Dialogue-Solutions» 2007

я

я ,

[13, 17, 18]. UML

(

,

(

), –

.

UML −

−

)

[13]:

, (Collaboration), (Use case), (Node)), ( (Actor), (Process), (Thread, )) (Document), (File), (Library), ));

(Class), (Active class), (Signal), ( (Page), (

(Behavioral things) –

−

–

−

(Interaction)

(Note). UML

:

(Dependency), (Aggregation)), , ,

(Realization). ( : (1)

, , (2) (

,

,

), (3)

), (4) [13].

,

). UML

(

(State machine);

(Packages);

–

(Association) ( (Generalization) ,

(Interface), (Component), (Utility, ), (Application), (Table,

(

), (5)

Э , (Adornments), mechanisms) [13, 17, 18].

,

: (Common divisions)

(Specifications), (Extensibility

UML

– . “

“

”. Э

/

/

”

-

. UML

. UML

IDEF0, IDEF1X, IDEF3, DFD .

ERM [37], UML ( ); (2)

( (Constraint),

: (1)

(Stereotype), ,

-

(Tagged value), ); (3) (

5

International Conference «Knowledge-Dialogue-Solutions» 2007

, OCL). ,

UML [13, 17, 18].

я UML ,

[6]. ,

(

)

(

,

UML – ,

).

.

. (Use (Behavior diagrams), (Activity

UML case diagram); (2)

: (1) (Class diagram); (3) (Statechart diagram), diagram), (Interaction diagrams); (Sequence diagram) (Collaboration diagram); (4) (Implementation diagrams), (Component diagram) (Deployment diagram). ,

–

UML.

, ,

,

. UML. ,

,

,

. ,

. . И,

, .

,

,

UML

. ,

diagram), (“ .

(Object

”);

UML,

я UML

– . .

,

, ”.

“

, , [39]

,

[38], UML

: ,

, [40]

6

International Conference «Knowledge-Dialogue-Solutions» 2007

UML. [41] ODP (Reference Model Open Distributed Processing [42]) UML RM-ODP , ( “Preface: Relationships to Other Models” [7]). MOF (Meta-Object Facility) . [41] UML RM-ODP: −

–“ ”;

−

RM.

, RM-ODP

,

:

RM-ODP

.

;

,

(1)

, ;

−

,

:

(2) (Basic Modeling Concept); UML;

RM-ODP,

:

.

.

. , ,

UML, , BON (Business Object Notation,

.

[43] , PVS (Prototype Verification System,

UML [44])

,

, [45]). ,

BON .

.

UML

“

”

[46], Boom,

Odal – πMML (Metamodelling Language),

, [48] , ER-

UML

UML; [49] (Entity-Relationship diagrams),

.

[47] UML 2.0.

UML.

,

, .

,

,

.

Booch G. Object-oriented analysis and design with applications. Second edition. – The Benjamin/Cummings Publishing Company Inc., 1994. – 589 p. Rumbaugh J., Blacha M., Premerlani W., Eddy F., Lorensen W. Object-Oriented Modeling and Design. – Prentice-Hall Inc., 1991. – 432 .

7

International Conference «Knowledge-Dialogue-Solutions» 2007

Jacobson I. Object-Oriented Software Engineering. A Use Case Driven Approach. – Addison-Wesley Publishing Company, 1993. – 547 . Object Management Group, 2003. OMG Unified Modeling Language Specification / www. omg. org.

www.omg.org / 04-10-14pdf. www.omg.org / 05-06-06pdf. www.omg.org / 05-07-04pdf. www.omg.org / 05-06-04pdf. .

UML

/

http://www.interface.ru/fset.asp?Url=/rational/umltend.htm. http://www.rational.com/uml. / http://www.interface.ru/public/rose98/rose98.htm.

. Rational Rose 98 – CASE-

/ http://www.interface.ru/fset.asp?Url=/rational/xros.htm.

. Rational Rose

Booch G., Rumbaugh J., Jacobson I. The Unified Modeling Language User Guide. – MA.: Addison-Wesley Publishing Co., 1999. – 512 p. Kruchten P. The Rational Unified Process – An Introduction. – MA.: Addison-Wesley, 2000. – 234 p. Jacobson I., Booch G., Rumbaugh J. The Unified Software Development Process. – MA.: Addison-Wesley Publishing Co., 1999. – 512 p. Booch G., Jacobson I, Rumbaugh J. The UML specification documents. – Santa Clara, CA.: Rational Software Corp., 1997. ( www. rational.com.) Fowler M., Scott K. UML Distilled. – MA.: Addison-Wesley, 2000. – 472 . Rumbaugh J., Jacobson I., Booch G. Unified Modeling Language Reference Manual. – MA.: Addison-Wesley Publishing Co., 1999. – 576 p. Chonoles M. J., Schardt J.A. UML 2 for Dummies. – Hungry Minds, 2003. – 412 . Kendal S. Fast Track UML 2.0. – Apress, 2004., 416 . Ration Rose / http://ooad.asf.ru/Files.aspx

. . . ..

/ http://ooad.asf.ru/Files.aspx

UML

Rational Rose.

Boggs W., Boggs M. Mastering UML witch Rational Rose. – Sybex Inc., 1999. – 579 p. Boggs W., Boggs M. UML witch Rational Rose 2.0. – Sybex Inc., 2002. – 702 p. . “

Rational Rose

Э., “

. ”, 2002. – 288 .

. UML. .–

.

.–

:И

UML.:

.

.–

:И

, :

., .: . “

UML:

”, 2003. – 192 .

.:

.

, 2002. – 704 . . .

UML ”. 2004. – 604 .

.–

:

, 2002. – 160 . . 2-

UML .:

.

. –

:И

Gamma E., Helm R., Jonson R., Vissides J. Element of Reusable Object-Orient Software. – Addison Wesley Longman Inc., 1994. – 372 .

8

International Conference «Knowledge-Dialogue-Solutions» 2007

. 2002. – 262 . .:

., .

.:

.

.

.–

:

И,

.

.–

:“

”, 2002. – 448 .

Duffy Daniel J. Domain architectures: models and architectures for UML applications. – John Wiley & Sons Ltd, 2004. – 390 . .

UML.

.:

.

.–

:

И, 2002. – 420 .

Nock C. Data Access Patterns: Database Interactions in Object-Oriented Applications. – Addison Wesley, 2003. – 512 . Eriksson H.-Erik, Penker M. Business Modeling with UML: Business Patterns at Work. – Wiley Computer Publishing, 2000. – 274 p. . .

: И

AllFusion Modeling Suite. –

- И И, 2005. –

432 . Husman H. Loose Semantics for UML/OCL // Society for Design and Process Science, 2002. – P. 32-39. Genova G., Llorens J., Quintana V. Digging into Use Case Relationships // Lect. Notes Comput. Sci. – 2002. – V. 2460. – P. 115–127. Gogolla M., Henderson-Sellera B. Analysis of UML Stereotypes within the UML Metamodel // Lect. Notes Comput. Sci. – 2002. – V. 2460. – P. 84-99. Naumenko A., Wegmann A. A Metamodel for the Unified Modeling Language // Lect. Notes Comput. Sci. – 2002. – V. 2460. – P. 2-17. RM-ODP Open Distributed Processing – Reference Model - ISO, ITU.: ISO/IEC 10746-1, 2, 3, 4 | ITU-T Recommendation X.901, X.902, X.903, X.904, 1995-1998. Paige R., Ostroff J. Metamodelling and Conformance Checking with PVS // Lect. Notes Comput. Sci. – 2001. – V. 2029. – P. 2-16. Walden K., Nerson J.-M. Seamless Object-Oriented Software Development. – Prentice-Hall, 1995. Owre S., Shankar N., Rushby J., Stringer-Calvert D. The PVS Language Reverence Version 2.3 – September, 1999. – (Tech. Rep. / SRI International Technical Report). Overgaard G. Formal Specification of OO Modeling // Lect. Notes Comput. Sci. – 2000. – V. 1783. – P. 193-207. Clark T., Evans A., Kent S. The Metamodelling Language Calculus: Foundation Semantics for UML // Lect. Notes Comput. Sci. – 2001. – V. 2029. – P. 17-31. Cardeli L, Abadi M. A theory of Objects. – Springer-Verlag, 1996. Lellahi K. Conceptual Data Modeling: An Algebraic Viewpoint // Lect. Notes Comput. Sci. – 2001. – V. 2244. – P. 336-348.

И

я – .

2,

Ш

я

03680,

.

,

Ш .6; e-mail: [email protected] – 2,

,

:

,

, 03680,

-

Ш , .6; e-mail: [email protected]

:

,

, ,