Filters








8,925 Hits in 5.6 sec

Full Satisfiability of UML Class Diagrams [chapter]

Alessandro Artale, Diego Calvanese, Angélica Ibáñez-García
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we establish tight complexity results for full satisfiability for various fragments of UML class diagrams.  ...  Among the reasoning tasks of interest, the basic one is detecting full satisfiability of a diagram, i.e., whether there exists an instantiation of the diagram where all classes and associations of the  ...  Conclusions This paper investigates the problem of full satisfiability in the context of UML class diagrams, i.e., whether there is at least one model of the diagram where each class and association is  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16373-9_23">doi:10.1007/978-3-642-16373-9_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jyysbiyym5hi3ngiz4rxu2n2py">fatcat:jyysbiyym5hi3ngiz4rxu2n2py</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922012827/http://www.inf.unibz.it/%7Ecalvanese/papers/arta-calv-iban-ER-2010.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/fa/2cfa92ca3a98471d4f18024b44d8d2543d1fcf1b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16373-9_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

UMLtoCSP (UOST)

Asadullah Shaikh, Uffe Kock Wiil
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE &#39;12</a> </i> &nbsp;
In this research, we present a tool named UMLtoCSP (UOST) that uses a UML/OCL Slicing Technique (UOST) to verify complex UML/OCL class diagram.  ...  The tool accepts UML class diagrams annotated with OCL constraints as input, breaks the original model m into m1, m2, m3,...,mn submodels while abstracting unnecessary model elements.  ...  Similarly, the entire class diagram will be satisfiable if all its submodels are satisfiable. The generation of objects proves the satisfiability.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2393596.2393639">doi:10.1145/2393596.2393639</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/ShaikhW12.html">dblp:conf/sigsoft/ShaikhW12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qsdupgwtvfhfvbsxyeecpibgxy">fatcat:qsdupgwtvfhfvbsxyeecpibgxy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161226022048/http://asadshaikh.com/papers/a37-shaikh.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f6/41/f641119616c48e153f70e371992d12dc92a6211c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2393596.2393639"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Consistency of UML class, object and statechart diagrams using ontology reasoners

Ali Hanzala Khan, Ivan Porres
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dveb4iy2tfbixkquxueywoto7y" style="color: black;">Journal of Visual Languages and Computing</a> </i> &nbsp;
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for  ...  We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool.  ...  [15] , the full satisfiability of UML class diagrams [16] , and the inconsistency management in model driven engineering [17] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jvlc.2014.11.006">doi:10.1016/j.jvlc.2014.11.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2jgeqtvmnvabfbbmzshk24tnuy">fatcat:2jgeqtvmnvabfbbmzshk24tnuy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190325231659/https://core.ac.uk/download/pdf/82175398.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7d/6f/7d6f1b06c1264c40509747db4e05631a45e60b98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jvlc.2014.11.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A Comparative Evaluation of Tests Generated from Different UML Diagrams

Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/z5doux3go5eytny32r6tuwvnrm" style="color: black;">2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing</a> </i> &nbsp;
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagrams.  ...  The statecharts also resulted in more test cases than the sequence diagrams.  ...  This includes class diagrams of six classes, five statechart diagrams, and six sequence diagrams with 37 alternatives. 2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/snpd.2008.48">doi:10.1109/snpd.2008.48</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/snpd/KansomkeatOAB08.html">dblp:conf/snpd/KansomkeatOAB08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gxd6mbtq6rgatkqijcttgxlh5a">fatcat:gxd6mbtq6rgatkqijcttgxlh5a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171025192915/https://core.ac.uk/download/pdf/21750280.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/31/76/3176645fe6cf963865be323f25a74966cc7d95a1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/snpd.2008.48"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Reasoning on UML class diagrams

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
With regard to this issue, we consider UML class diagrams, which are one of the most important components of UML, and we address the problem of reasoning on such diagrams.  ...  The second contribution consists in establishing EXPTIME-membership of reasoning on UML class diagrams, provided that the use of arbitrary OCL (first-order) constraints is disallowed.  ...  We conclude the section with an example of a full UML class diagram. Example 2.5.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2005.05.003">doi:10.1016/j.artint.2005.05.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d4xs7ivjmjbqlkcmi56fish2qa">fatcat:d4xs7ivjmjbqlkcmi56fish2qa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809193910/http://www.dis.uniroma1.it/~degiacom/didattica/semingsoft/SIS05-06/materiale/4-ontologie/articoli/AIJ05uml.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/30/7f/307fdb157bf9d96e289ca168eeaa9c03df4f9812.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2005.05.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

Asadullah Shaikh, Uffe Kock Wiil
<span title="">2018</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
The UML class diagrams do not contain all of the necessary aspects of the system; therefore, OCL is widely used to put the rules on UML class diagram.  ...  Each submodel of a UML/OCL class diagram is a subset of an original model and is verified independently. It is important that all submodels should be satisfiable in the case of strong satisfiability.  ...  His current research topics are UML model verification, UML class diagrams verification with OCL constraints for complex models, formal verification, and feedback technique for unsatisfiable UML/OCL class  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2018.2797695">doi:10.1109/access.2018.2797695</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ysfymg2q7ja6nanwxlg4gndmam">fatcat:ysfymg2q7ja6nanwxlg4gndmam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429235835/https://findresearcher.sdu.dk:8443/ws/files/145033809/08268094.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2f/bc/2fbcd5dfe4b66b20472db0d80f068f64a7b5d1f6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2018.2797695"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

A subset of precise UML for model-based testing

F. Bouquet, C. Grandpierre, B. Legeard, F. Peureux, N. Vacelet, M. Utting
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pvwsfpcffzc43evnoins3m5lm4" style="color: black;">Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST &#39;07</a> </i> &nbsp;
This paper defines the subset of UML used for model-based testing and illustrates it using a small example.  ...  This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model  ...  This section defines the subsets of these UML diagrams that are used to design UML-MBT models for automated test generation. Class diagrams The UML class diagram is the static view of the model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1291535.1291545">doi:10.1145/1291535.1291545</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/amost/BouquetGLPVU07.html">dblp:conf/amost/BouquetGLPVU07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iywuqonkmjfproikxu2akriz2a">fatcat:iywuqonkmjfproikxu2akriz2a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809144236/http://researchcommons.waikato.ac.nz/bitstream/handle/10289/1830/uttingpreciseuml.pdf?sequence=2" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d5/34/d5347d7650f765504dbb775520acfdb7089d92db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1291535.1291545"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An approach to evaluating structural pattern conformance of UML models

Dae-Kyoo Kim, Wuwei Shen
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uo6yx5jpgnf2zl7mkrumytd4ti" style="color: black;">Proceedings of the 2007 ACM symposium on Applied computing - SAC &#39;07</a> </i> &nbsp;
This paper describes an approach to evaluating the structural conformance of a UML class diagram to a design pattern.  ...  A design pattern is specified in an extension of the UML that defines the pattern as a family of models.  ...  Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1244002.1244305">doi:10.1145/1244002.1244305</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sac/KimS07.html">dblp:conf/sac/KimS07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wqtzuii76be5fisffuwsgkxn7y">fatcat:wqtzuii76be5fisffuwsgkxn7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100623035427/http://www.secs.oakland.edu/~kim2/papers/acmsac2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/58/f75812372aebd747a5f6c08731f4606b71381bda.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1244002.1244305"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Applying a MDE approach to a healthcare environment: A case study of an AE dept

Hussein Gannud, Hao Wu, Joseph Timoney
<span title="">2017</span> <i title="IEEE"> 2017 28th Irish Signals and Systems Conference (ISSC) </i> &nbsp;
This approach works by designing a UML class diagram annotated with a set of OCL constraints. These constraints formally express restrictions on interactions between various elements of the system.  ...  One of the main challenges of Healthcare services is to find a suitable way of managing limited resources within a highly demanding environment.  ...  The full UML class diagram is shown in Figure 1 . Definition 1. A UML class diagram can be defined as a tuple C, A, T , where 1. C is a set of classes. 2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/issc.2017.7983632">doi:10.1109/issc.2017.7983632</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nc5pf43zwbarzlwhl2tyw4x7oy">fatcat:nc5pf43zwbarzlwhl2tyw4x7oy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200506145702/http://mural.maynoothuniversity.ie/11975/1/WU_Applying_ISSC_2017.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/36/cc/36cce130cf8de65cc5d96c58f7747874ccc8b103.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/issc.2017.7983632"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ueo4clepdnbdzhqnuojj57edri" style="color: black;">Data &amp; Knowledge Engineering</a> </i> &nbsp;
The high expressivity of UML schemas annotated with textual OCL constraints enforces the need for automated reasoning techniques.  ...  As a consequence, we also have that Description Logics can be appropriately used to reason on UML conceptual schemas with arbitrary OCL constraints.  ...  Fig. 1 . 1 UML class diagram. Fig. 2 . 2 OCL constraints for the class diagram inFig. 1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.datak.2011.09.004">doi:10.1016/j.datak.2011.09.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vfhgbc6sfng2xdprdyeeiei2fi">fatcat:vfhgbc6sfng2xdprdyeeiei2fi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121114214957/http://www.inf.unibz.it/~calvanese/papers/quer-arta-calv-teni-DKE-2012.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/42/7b/427b10dfc353dc0dc8790a162ce366accdc7099d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.datak.2011.09.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Formal Foundation for Pattern-Based Modelling [chapter]

Paolo Bottoni, Esther Guerra, Juan de Lara
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Novel in our proposal is the possibility of describing (nested) variable submodels, as well as inter-pattern synchronization across several diagrams (e.g. class and sequence diagrams for UML design patterns  ...  We illustrate the approach on UML design patterns, and discuss its generality and applicability on different types of patterns, e.g. workflow patterns using Coloured Petri nets.  ...  Work supported by the Spanish Ministry of Science and Innovation, projects METEORIC (TIN 2008-02081) and MODUWEB (TIN 2006-09678) . We thank the referees for their insightful and detailed comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00593-0_19">doi:10.1007/978-3-642-00593-0_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/34bdl3vf35bhdg225py4qar4vu">fatcat:34bdl3vf35bhdg225py4qar4vu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503154440/https://link.springer.com/content/pdf/10.1007%2F978-3-642-00593-0_19.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/70/11/7011d47456a3ff12bb11eb44981bb6c6c84bea05.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00593-0_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A UML 2 Profile for Business Process Modelling [chapter]

Beate List, Birgit Korherr
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Current UML Profiles for Business Process Modelling realise a narrow focus of the process, and capture the process flow on a low level of detail.  ...  They do not provide a comprehensive coverage of theoretical aspects.  ...  Modelling Notation [2] , the Event-driven Process Chain [13] , the UML 2 Activity Diagram [9], the Role Activity Diagram [12] etc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11568346_10">doi:10.1007/11568346_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gfg2t7ct6vhynkdaobdqgpuj6i">fatcat:gfg2t7ct6vhynkdaobdqgpuj6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705132119/http://www.wit.at/people/korherr/publications/er2005.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f6/8f/f68f2319c39930a8f06913aaa65a66ca26c8da74.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11568346_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Representing Agent Interaction Protocols with Agent UML [chapter]

Marc-Philippe Huget, James Odell
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper, we present the second version of the Agent UML interaction diagrams dedicated to interaction protocols and based on UML 2.0.  ...  Agent UML 2 sequence diagram specification The Agent UML 2 Sequence diagrams metamodel specifies classes that represent the different elements present on diagrams.  ...  UML 2 considers more classes that we did in Agent UML 2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30578-1_2">doi:10.1007/978-3-540-30578-1_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fu2qkhpgizdpflfiix2rnx3ndq">fatcat:fu2qkhpgizdpflfiix2rnx3ndq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818215128/https://www.computer.org/web/csdl/index/-/csdl/proceedings/aamas/2004/2092/03/20921244.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c3/1f/c31f41b746973964b47ba9bb8cbd74348885a74f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30578-1_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

AGENT UML: A FORMALISM FOR SPECIFYING MULTIAGENT SOFTWARE SYSTEMS

BERNHARD BAUER, JÖRG P. MÜLLER, JAMES ODELL
<span title="">2001</span> <i title="World Scientific Pub Co Pte Lt"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mt7t4wpu5bgjzljfenxec5gcmq" style="color: black;">International journal of software engineering and knowledge engineering</a> </i> &nbsp;
Particular UML extensions described in this paper include protocol diagrams, agent roles, multithreaded lifelines, extended UML message semantics, nested and interleaved protocols, and protocol templates  ...  As a first result of this cooperation, we proposed AGENT UML [Bauer, 1999; Odell 2000] , an extension of the Unified Modeling language (UML), a de facto standard for object-oriented analysis and design  ...  This is achieved by introducing a new class of diagrams into UML: protocol diagrams. Protocol diagrams extend UML state and sequence diagrams in various ways.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s0218194001000517">doi:10.1142/s0218194001000517</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fo2ijwdcrzg7fhh6qrw7fcmxhe">fatcat:fo2ijwdcrzg7fhh6qrw7fcmxhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809112005/http://winf.in.tu-clausthal.de/winf/publications/2000/Bauer%2B2000ijseke.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/21/44/2144f6a3d13a1811a5d94753f95b7b8c104bf52c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s0218194001000517"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> worldscientific.com </button> </a>

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zr4y7xru35cctowb2yokdd6uuy" style="color: black;">Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications - BM-FA &#39;14</a> </i> &nbsp;
USE [5; 6] originally started as a kind of OCL interpreter with class, object and sequence diagrams available in the tool from the beginning.  ...  This contribution focuses on UML interaction diagrams in form of sequence and communication diagrams.  ...  Consequently, to get full access to the elements in the communication diagram, the semantics of OCL has to be extended.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2630768.2630772">doi:10.1145/2630768.2630772</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/bmfa/GogollaHHSN14.html">dblp:conf/bmfa/GogollaHHSN14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uerza5zilbcntnofueky6rajfa">fatcat:uerza5zilbcntnofueky6rajfa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809105433/http://www.db.informatik.uni-bremen.de/publications/Gogolla_2014_BMFA.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/63/3b/633b247219a74bdcc4f19cfd8fc95d5b9fcf7d34.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2630768.2630772"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 8,925 results