:facetid:toc:\"db/journals/entcs/entcs101.bht\"OK:facetid:toc:db/journals/entcs/entcs101.bhtFrank S. de BoerMarcello M. BonsangueProceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003CVUMLElectronic Notes in Theoretical Computer Science101Elsevier2004Editorshipconf/uml/2003cvumlhttps://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/101/suppl/Chttps://dblp.org/rec/conf/uml/2003cvumlURL#6095964Frank S. de BoerMarcello M. BonsanguePreface.CVUML1-22003Conference and Workshop Papersopenjournals/entcs/BoerB0410.1016/J.ENTCS.2004.03.001https://doi.org/10.1016/j.entcs.2004.03.001https://dblp.org/rec/journals/entcs/BoerB04URL#6211069Günter GrawPeter HerrmannTransformation and Verification of Executable UML Models.CVUML3-242003Conference and Workshop Papersopenjournals/entcs/GrawH0410.1016/J.ENTCS.2004.09.006https://doi.org/10.1016/j.entcs.2004.09.006https://dblp.org/rec/journals/entcs/GrawH04URL#6211214Joost JacobThe OMEGA Component Model.CVUML25-492003Conference and Workshop Papersopenjournals/entcs/Jacob0410.1016/J.ENTCS.2004.02.016https://doi.org/10.1016/j.entcs.2004.02.016https://dblp.org/rec/journals/entcs/Jacob04URL#6211254Marcel KyasFrank S. de BoerOn Message Specifications in OCL.CVUML73-932003Conference and Workshop Papersopenjournals/entcs/KyasB0410.1016/J.ENTCS.2004.02.017https://doi.org/10.1016/j.entcs.2004.02.017https://dblp.org/rec/journals/entcs/KyasB04URL#6211292Zhiming Liu 0001Jifeng He 0001Jing LiuXiaoshan LiUnifying Views of UML.CVUML95-1272003Conference and Workshop Papersopenjournals/entcs/LiuHLL0410.1016/J.ENTCS.2004.02.018https://doi.org/10.1016/j.entcs.2004.02.018https://dblp.org/rec/journals/entcs/LiuHLL04URL#6211320Vladimir MenclSpecifying Component Behavior with Port State Machines.CVUML129-1532003Conference and Workshop Papersopenjournals/entcs/Mencl0410.1016/J.ENTCS.2004.02.019https://doi.org/10.1016/j.entcs.2004.02.019https://dblp.org/rec/journals/entcs/Mencl04URL#6211349Katerina Pokozy-KorenblatCorrado PriamiToward Extracting ?-calculus from UML Sequence and State Diagrams.CVUML51-722003Conference and Workshop Papersopenjournals/entcs/Pokozy-KorenblatP0410.1016/J.ENTCS.2004.09.007https://doi.org/10.1016/j.entcs.2004.09.007https://dblp.org/rec/journals/entcs/Pokozy-KorenblatP04URL#6211402Martijn J. WieringMarcello M. BonsangueRené van BuurenLuuk GroenewegenHenk JonkersMarc M. LankhorstInvestigating the mapping of an Enterprise Description Language into UML 2.0.CVUML155-1792003Conference and Workshop Papersopenjournals/entcs/WieringBBGJL0410.1016/J.ENTCS.2004.02.020https://doi.org/10.1016/j.entcs.2004.02.020https://dblp.org/rec/journals/entcs/WieringBBGJL04URL#6211482