Precise Modeling of Design Patterns in UML
Prior research attempts to formalize the structure ofobject-oriented design patterns for a more precisespecification of design patterns. It also allows automationsupport to be developed for user-defined design patternsin the future CASE tools. Targeting to a particular type ofautomation (e.g. verifi...
Uloženo v:
| Vydáno v: | International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 s. 252 - 261 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
Washington, DC, USA
IEEE Computer Society
23.05.2004
|
| Edice: | ACM Conferences |
| Témata: |
Software and its engineering
> Software creation and management
> Software development techniques
> Object oriented development
Software and its engineering
> Software notations and tools
> Development frameworks and environments
> Object oriented frameworks
Software and its engineering
> Software notations and tools
> General programming languages
> Language features
> Patterns
Software and its engineering
> Software notations and tools
> General programming languages
> Language types
|
| ISBN: | 9780769521633, 0769521630 |
| ISSN: | 0270-5257 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Prior research attempts to formalize the structure ofobject-oriented design patterns for a more precisespecification of design patterns. It also allows automationsupport to be developed for user-defined design patternsin the future CASE tools. Targeting to a particular type ofautomation (e.g. verification of pattern instances),previous specification approaches over-specify patternstructures to a certain extend. Over-specification makespattern specification ambiguous and disallows thespecification language to be used for specifyingcompound patterns. In this paper, we present thestructural properties of design patterns which reveal thetrue abstract nature of pattern structures. To supportthese properties so as to solve the over-specificationproblem, we propose an extension to UML 1.5 (basicallyUML 1.4 with Action semantics). The specialization andrefining mechanism of UML provides also a smoothsupport for the instantiation, refinement and integrationof pattern structures specified in UML. Our work makesno significant extension to the UML 1.5 meta-model butmore in a UML Profile approach to ease the migration ofour work to UML 2.0, which has not yet officiallyreleased by OMG during this work. |
|---|---|
| AbstractList | Prior research attempts to formalize the structure ofobject-oriented design patterns for a more precisespecification of design patterns. It also allows automationsupport to be developed for user-defined design patternsin the future CASE tools. Targeting to a particular type ofautomation (e.g. verification of pattern instances),previous specification approaches over-specify patternstructures to a certain extend. Over-specification makespattern specification ambiguous and disallows thespecification language to be used for specifyingcompound patterns. In this paper, we present thestructural properties of design patterns which reveal thetrue abstract nature of pattern structures. To supportthese properties so as to solve the over-specificationproblem, we propose an extension to UML 1.5 (basicallyUML 1.4 with Action semantics). The specialization andrefining mechanism of UML provides also a smoothsupport for the instantiation, refinement and integrationof pattern structures specified in UML. Our work makesno significant extension to the UML 1.5 meta-model butmore in a UML Profile approach to ease the migration ofour work to UML 2.0, which has not yet officiallyreleased by OMG during this work. |
| Author | Choy, Clifford S. T. Mak, Jeffrey K. H. Lun, Daniel P. K. |
| Author_xml | – sequence: 1 givenname: Jeffrey K. H. surname: Mak fullname: Mak, Jeffrey K. H. organization: Hong Kong Polytechnic University – sequence: 2 givenname: Clifford S. T. surname: Choy fullname: Choy, Clifford S. T. organization: Hong Kong Polytechnic University – sequence: 3 givenname: Daniel P. K. surname: Lun fullname: Lun, Daniel P. K. organization: Hong Kong Polytechnic University |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17809612$$DView record in Pascal Francis |
| BookMark | eNqFkDtPwzAUhS1RJErpyJ4FBkSKH7Udj6g8pVZ0oLN149xUgdQpdjrw7zFKJUbOcpZP9-p852TkO4-EXDI6kyl3xhRKy5kxZi7oCZkaXVCtjORMCTEiY8o1zSWX-oxMY_ygKZJqWrAxuVkHdE3EbNVV2DZ-m3V19oCx2fpsDX2Pwces8dlmtbwgpzW0EafHnpDN0-P74iVfvj2_Lu6XOTCj-1yLipWgkCGvWVUjclWoEgWVTjkw4MAJnRBROihKw3ipBUKNCmVRMVOJCbke7u5D93XA2NtdEx22LXjsDtEKNhdaK53AqyMI0UFbB_Bpit2HZgfh27JkwSjGE3c7cOB2tuy6z2gZtb_m7GDODuZsGRqs__7_g4sfp7Js6Q |
| ContentType | Conference Proceeding |
| Copyright | 2006 INIST-CNRS |
| Copyright_xml | – notice: 2006 INIST-CNRS |
| DBID | IQODW 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.5555/998675.999430 |
| DatabaseName | Pascal-Francis Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Applied Sciences Computer Science |
| EndPage | 261 |
| ExternalDocumentID | 17809612 |
| Genre | Conference Paper |
| GroupedDBID | 6IE 6IH 6IK 6IL AAJGR AAVQY ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI LHSKQ OCL RIB RIC RIE RIL RIO AAWTH IQODW -~X 123 23M 29O 5VS 6IM 6IN 7SC 8FD 8US ADZIZ AFFNX AVWKF CHZPO FEDTE I07 IPLJI JQ2 L7M L~C L~D M43 RNS |
| ID | FETCH-LOGICAL-a197t-73d1ba6e1e2f1dfee2686be305c6ca9acac37d1b3bca8b912b73eafe6e58d19d3 |
| ISBN | 9780769521633 0769521630 |
| ISSN | 0270-5257 |
| IngestDate | Fri Sep 05 06:50:40 EDT 2025 Thu Dec 26 02:24:22 EST 2024 Sun Dec 01 06:31:06 EST 2024 Wed Jan 31 06:48:48 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Keywords | Specification language Automation Software development Refinement method Design pattern Reuse Modeling Program specification Semantics Object oriented Unified modelling language Metamodel User behavior Structural analysis |
| Language | English |
| License | CC BY 4.0 |
| LinkModel | OpenURL |
| MeetingName | ICSE04: 26th International Conference on Software Engineering |
| MergedId | FETCHMERGED-LOGICAL-a197t-73d1ba6e1e2f1dfee2686be305c6ca9acac37d1b3bca8b912b73eafe6e58d19d3 |
| Notes | SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25 |
| PQID | 31437767 |
| PQPubID | 23500 |
| PageCount | 10 |
| ParticipantIDs | acm_books_10_5555_998675_999430_brief pascalfrancis_primary_17809612 acm_books_10_5555_998675_999430 proquest_miscellaneous_31437767 |
| PublicationCentury | 2000 |
| PublicationDate | 20040523 2004 |
| PublicationDateYYYYMMDD | 2004-05-23 2004-01-01 |
| PublicationDate_xml | – month: 05 year: 2004 text: 20040523 day: 23 |
| PublicationDecade | 2000 |
| PublicationPlace | Washington, DC, USA |
| PublicationPlace_xml | – name: Washington, DC, USA – name: Los Alamitos CA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 |
| PublicationYear | 2004 |
| Publisher | IEEE Computer Society |
| Publisher_xml | – name: IEEE Computer Society |
| SSID | ssj0000507081 ssj0006499 |
| Score | 1.8233505 |
| Snippet | Prior research attempts to formalize the structure ofobject-oriented design patterns for a more precisespecification of design patterns. It also allows... |
| SourceID | proquest pascalfrancis acm |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 252 |
| SubjectTerms | Applied sciences Computer science; control theory; systems Computing methodologies -- Modeling and simulation -- Model development and analysis Exact sciences and technology Software Software and its engineering -- Software creation and management -- Software development techniques -- Object oriented development Software and its engineering -- Software notations and tools -- Development frameworks and environments -- Object oriented frameworks Software and its engineering -- Software notations and tools -- General programming languages -- Language features -- Patterns Software and its engineering -- Software notations and tools -- General programming languages -- Language types Software and its engineering -- Software notations and tools -- System description languages -- Specification languages Software engineering Theory of computation -- Logic -- Programming logic Theory of computation -- Semantics and reasoning -- Program reasoning Theory of computation -- Semantics and reasoning -- Program reasoning -- Program specifications |
| Title | Precise Modeling of Design Patterns in UML |
| URI | https://www.proquest.com/docview/31437767 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLbKxANP3IYol5EHeKFKSeLEl0dUDU3aVip1lcZTZDu2qDTSqcnG_g1_lWM7lzYgTTzQh6iKnNg6n-Nz8TmfEXpv0iTKBKehFJKAg4LjkEmpQwWWXJIxmRnqCoXP6HzOLi_5YjT61dbC3F7RsmR3d_z6v0IN9wBsWzr7D3B3L4Ub8B9AhyvADteBRfxX5bOEdfWnTefaYRp0ZuRseez4A8H3t2GARfewQzIh9fdBeLAvBnQLJjTttmSWalO3KZFOKjsTb2H5Mirtz9hpcqoLlydiSVxtBy4Fd3XehZ3PP5_uFJVNTqd9xcTs5Os3F8u9WhtX2bic9mndZ6t5XyU_WUybkG0bw0gHMQzr107aUyzadNU9RzeihIOhQTDeXWw9922jtxNP6j5UCRn8bBYIZ-AaTcEcTpt9oD3q7YFK7BIVY-iaE3uK9QNKI18e2IXwIrClwaLywSA_vIZFrB-up3W1g_i0NwRrDKkfNhNXVPAxGn-Kyh8GgbNyLp6gwx7yoJ8fT9FIl8_Q48ZhCRp1UD1HHxusgxbrYGMCj3XQYh2sywCwPkSrL8cXs5OwOXwjFDGndUhxEUtBdKwTExdG64QwIjWoB0WU4EIJhSk0wVIJJnmcSIq1MJrojBUxL_ALdFBuSv0SBdpoLOyQccLTTDARpXEBbgml8BpV6DF6B7LI7TdU5eCUWmnlXlq5l9YYfbinRS63a23G6GhPnvm1p2zJWxyhq1bAOayjdnNMlHpzU-UYHAfLbPXqvle8Ro_6KfwGHdTbG_0WPVS39braHrkZ8huEzoZE |
| linkProvider | IEEE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Software+Engineering+%28ICSE+2004%29%3A+Proceedings%2C+26th+International+Conference%2C+Edinburgh%2C+Scotland%2C+2004&rft.atitle=Precise+modeling+of+design+patterns+in+UML&rft.au=MAK%2C+Jeffrey+K.+H&rft.au=CHOY%2C+Clifford+S.+T&rft.au=LUN%2C+Daniel+P.+K&rft.date=2004-01-01&rft.pub=IEEE+Computer+Society&rft.isbn=9780769521633&rft.spage=252&rft.epage=261&rft_id=info:doi/10.5555%2F998675.999430&rft.externalDBID=n%2Fa&rft.externalDocID=17809612 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0270-5257&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0270-5257&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0270-5257&client=summon |