[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-0-en-105":3,"doc-seo-665334-105":59,"doc-detail-665334-en":130},{"code":4,"msg":5,"data":6},0,"success",[7,13,18,23,28,33,38,43,48,51,55],{"id":8,"doc_module":4,"doc_module_name":9,"category_name":10,"show_sort_weight":11,"slug":12},1,"Document","Story & Novel",90,"story-novel",{"id":14,"doc_module":4,"doc_module_name":9,"category_name":15,"show_sort_weight":16,"slug":17},2,"Literature",80,"literature",{"id":19,"doc_module":4,"doc_module_name":9,"category_name":20,"show_sort_weight":21,"slug":22},4,"Exam",70,"exam",{"id":24,"doc_module":4,"doc_module_name":9,"category_name":25,"show_sort_weight":26,"slug":27},5,"Comic",60,"comic",{"id":29,"doc_module":4,"doc_module_name":9,"category_name":30,"show_sort_weight":31,"slug":32},6,"Technology",50,"technology",{"id":34,"doc_module":4,"doc_module_name":9,"category_name":35,"show_sort_weight":36,"slug":37},7,"Healthcare",40,"healthcare",{"id":39,"doc_module":4,"doc_module_name":9,"category_name":40,"show_sort_weight":41,"slug":42},8,"Research & Report",30,"research-report",{"id":44,"doc_module":4,"doc_module_name":9,"category_name":45,"show_sort_weight":46,"slug":47},9,"Religion & Spirituality",20,"religion-spirituality",{"id":46,"doc_module":4,"doc_module_name":9,"category_name":49,"show_sort_weight":46,"slug":50},"World Cup","world-cup",{"id":52,"doc_module":4,"doc_module_name":9,"category_name":53,"show_sort_weight":52,"slug":54},10,"Lifestyle","lifestyle",{"id":56,"doc_module":4,"doc_module_name":9,"category_name":57,"show_sort_weight":24,"slug":58},19,"General","general",{"code":4,"msg":60,"data":61},"ok",{"site_id":62,"language":63,"slug":64,"title":65,"keywords":66,"description":67,"schema_data":68,"social_meta":123,"head_meta":125,"extra_data":127,"updated_unix":129},105,"en","defining-atomic-composition-in-uml-behavioral-diagrams","Defining Atomic Composition in UML Behavioral Diagrams","","UML supports describing both structure and dynamic behavior of object-oriented systems via notations such as interaction, state, and activity diagrams. For dynamic behavior, composing computational processes may require atomic composites, but UML lacks suitable compositional constructs. The paper proposes extensions to define atomic composition for transactions, treating transactions as operations possibly built from many concurrent operations. Atomic compositions are formally defined using a morphism between automata in a Nonsequential Automata domain.",{"@graph":69,"@context":122},[70,84,105],{"@type":71,"itemListElement":72},"BreadcrumbList",[73,77,79,82],{"item":74,"name":75,"@type":76,"position":8},"https://docshare.wps.com","Home","ListItem",{"item":78,"name":9,"@type":76,"position":14},"https://docshare.wps.com/document/",{"item":80,"name":40,"@type":76,"position":81},"https://docshare.wps.com/document/research-report/",3,{"item":83,"name":65,"@type":76,"position":19},"https://docshare.wps.com/document/defining-atomic-composition-in-uml-behavioral-diagrams/665334/",{"url":83,"name":65,"@type":85,"image":86,"author":91,"headline":65,"publisher":94,"fileFormat":97,"inLanguage":63,"description":67,"dateModified":98,"datePublished":99,"encodingFormat":97,"isAccessibleForFree":100,"interactionStatistic":101},"DigitalDocument",{"url":87,"@type":88,"width":89,"height":90},"https://docshare.wps.com/thumbnails/defining-atomic-composition-in-uml-behavioral-diagrams/665334.png","ImageObject",300,407,{"name":92,"@type":93},"Well Done","Person",{"url":74,"name":95,"@type":96},"DocShare","Organization","application/pdf","2026-10-30","2026-10-29",true,{"@type":102,"interactionType":103,"userInteractionCount":19},"InteractionCounter",{"@type":104},"ViewAction",{"@type":106,"mainEntity":107},"FAQPage",[108,114,118],{"name":109,"@type":110,"acceptedAnswer":111},"What problem does the paper address regarding UML?","Question",{"text":112,"@type":113},"UML can model dynamic behavior but lacks compositional constructs for defining atomic composites. This is problematic when modeling transactional operations in UML diagrams.","Answer",{"name":115,"@type":110,"acceptedAnswer":116},"How does the paper define an atomic composite and transaction in its setting?",{"text":117,"@type":113},"A transaction denotes a certain operation that may be atomically composed by many, possibly concurrent, operations. Atomic compositions are then formally defined through a morphism between automata in a Nonsequential Automata domain.",{"name":119,"@type":110,"acceptedAnswer":120},"What is the key semantic foundation used to define atomic composition?",{"text":121,"@type":113},"The paper maps well-formed models to nonsequential automata, using Nonsequential Automata as a non-interleaving semantic domain for reactive, communicating, and concurrent systems.","https://schema.org",{"og:url":83,"og:type":124,"og:title":65,"og:site_name":95,"og:description":67},"article",{"robots":126,"canonical":83},"index,follow",{"doc_id":128,"site_id":62},665334,1793298356,{"code":4,"msg":5,"data":131},{"doc_id":128,"user_id":132,"nickname":92,"user_avatar":133,"doc_module":4,"category_id":39,"category_name":40,"doc_title":65,"doc_description":67,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":19,"is_deleted":4,"is_public":8,"is_downloadable":8,"audit_status":8,"page_count":139,"language":140,"language_code":63,"site_id":62,"html_lang":63,"table_of_contents":141,"faqs":142,"seo_title":143,"seo_description":67,"update_tm":129,"read_time":144},5909892210082,"https://ap-avatar.wpscdn.com/avatar/56001069da27c9f41e8?x-image-process=image/resize,m_fixed,w_180,h_180&k=1789614185077863061","Journal of Universal Computer Science, vol. 12, no. 7 (2006), 958-979  \nsubmitted: 28/1/06, accepted: 6/4/06, appeared: 28/7/06 ã J. UCS  \nDe􀀌ning Atomic Composition in UML Behavioral  \nDiagrams  \nJlio Pereira Machado  \n(Pontifcia Universidade Catlica do Rio Grande do Sul, Brazil, [juliopm@inf.pucrs.br](juliopm@inf.pucrs.br))  \nPaulo Blauth Menezes  \n(Universidade Federal do Rio Grande do Sul, Brazil, [blauth@inf.ufrgs.br](blauth@inf.ufrgs.br))  \nAbstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number of di􀀋erent models are o􀀋ered such as interaction, state and activity diagrams. Although compositional techniques for modeling computational processes demand means of composing elements both in non-atomic or atomic ways, UML seems to lack compositional constructs for de􀀌ning atomic composites. We discuss proper extensions for diagrams that are able to cope with the concept of atomic composition as the basic element for describing transactions (in our settings the term \\transaction\" denotes a certain operation of a system that might be atomically composed by many, possibly concurrent, operations) . Atomic compositions are then formally de-􀀌ned through a special morphism between automata in a domain called Nonsequential Automata.  \nKey Words: UML, semantics, nonsequential automata  \nCategory: F.3.2, F.1.1, D.2.0, D.1.5  \n1 Introduction  \nThe Uni􀀌ed Modeling Language (UML) [Rumbaugh et al. 2004] may be used to describe both the structure and behavior of object-oriented systems using a combination of notations. For the modeling of the dynamic behavior, a number of di􀀋erent models are o􀀋ered such as interaction, state and activity diagrams.  \nWhen modeling concurrent or parallel systems with such diagrams, we must be aware that basic activities of each system may be constituted by smaller activities, i.e. transitions may be conceptually re􀀌ned into transactions. This important notion is present in di􀀋erent 􀀌elds of computer science like operating system's primitives, implementation of synchronization methods for critical regions, database management systems and protocols for communications, just to name a few. In this sense, when modeling computational processes, we need means of composing subactivities both in a non-atomic or atomic way. Nevertheless UML seems to lack compositional constructs for de􀀌ning atomic actions/activities/operations and, nowadays, major information systems like webbased shopping, web-services, e-busines, etc, are transactional in its majority and are being modeled in UML (using activity and state machine diagrams) without a notation for concerning which behaviors are transactional.  \nPereira Machado J., Blauth Menezes P.: Defining Atomic Composition ... 959  \nIn this work, we concentrate on describing groups of sequential or concurrent activities that are responsible for performing a computation, and we address the issue of modeling atomic compositions for transactions. We remark that in our settings the term \\transaction\" denotes a certain atomic operation of a system that might be composed by many, possibly concurrent, operations. Although denoting atomic computations in a concurrent scenario by the term \\transaction\" is a slight abuse of terminology (specially in the 􀀌eld of databases), these abstract notion for transactions has also been employed by others e.g. [Bruni and Montanari 2004] . Also, even though most commercial applications are based on transactions for which ACID properties (atomicity, consistency, isolation and durability) must be guaranteed in some form, transactions primitives are all based on the same idea of grouping series of actions in atomic blocks. Algorithms for correctly implementing transactions may be found in specialized topics on database systems [Ullman and Widom 2002] or operating systems [Tanenbaum 2001] .  \nIn order to correctly introduce the notion o","cbCaieuR65Qj0HHR","https://ap.wps.com/l/cbCaieuR65Qj0HHR","pdf",341277,22,"English","# Introduction\n## Motivation for atomic composition in UML\n## UML semantics and metamodel extension\n## Mapping to nonsequential automata\n## Paper organization","[{\"question\":\"What problem does the paper address regarding UML?\",\"answer\":\"UML can model dynamic behavior but lacks compositional constructs for defining atomic composites. This is problematic when modeling transactional operations in UML diagrams.\"},{\"question\":\"How does the paper define an atomic composite and transaction in its setting?\",\"answer\":\"A transaction denotes a certain operation that may be atomically composed by many, possibly concurrent, operations. Atomic compositions are then formally defined through a morphism between automata in a Nonsequential Automata domain.\"},{\"question\":\"What is the key semantic foundation used to define atomic composition?\",\"answer\":\"The paper maps well-formed models to nonsequential automata, using Nonsequential Automata as a non-interleaving semantic domain for reactive, communicating, and concurrent systems.\"}]","Defining Atomic Composition in UML Behavioral Diagrams | PDF",55]