[erlang-questions] ExecutableUML and Erlang

[John Hughes]

I've also looked at this. My conclusion was that it provides a nice graphical syntax for a particular domain, but has weak abilities to define additional abstractions on top. For example, just as in Erlang messages are delivered asynchronously to recipients. But if you want to define *synchronous* communication with a server on top of that, by including the Pid of the sender in the message and sending a reply back to that Pid, then you have a problem--because Pids are not first class in xtUML and cannot be sent in messages, because message destinations must be statically known and so your server must know all of its possible clients in advance, and because you cannot define new graphical syntax so as to use synchronous message sending with the same convenience as the asynchronous kind.

Not impressed.

John
  ----- Original Message ----- 
  From: Olivier BOUDEVILLE 
  To: erlang-questions@REDACTED 
  Sent: Tuesday, February 14, 2012 4:31 PM
  Subject: [erlang-questions] ExecutableUML and Erlang



  Hi everyone, 

  In echo to the older thread "UML or other modeling tools" (http://erlang.2086793.n4.nabble.com/UML-or-other-modeling-tools-td3205732.html), we happened to find an Ericsson presentation about ExecutableUML (http://www.cse.chalmers.se/edu/year/2010/course/MDSD/Year2010/Lectures/ExecutableUML_for_MDA_EricssonAB.pdf), which apparently was already able to generate Erlang code. 

  This xtUML looks like a very interesting approach; in short we are contemplating to specify some domain-specific models that are involved in a discrete simulation, based on a proper high-level, formal, implementation-agnostic pivot format, targeting a few different simulation engines, one of which expecting models to be written in C++, another one expecting them in Erlang. So it looks like if our pivot format could be a flavour of xtUML (a special, constrained, case thereof). 

  Is there any material (documentation and/or tool) that is publicly available, so that we could test this ExecutableUML-based approach? Any opinion in terms of completeness, applicability or maturity? 

  Thanks in advance for any information! 

  Best regards,

  Olivier.
  ---------------------------
  Olivier Boudeville

  EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France
  Département SINETICS, groupe ASICS (I2A), bureau B-226
  Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1 47 65 27 13


  Ce message et toutes les pièces jointes (ci-après le 'Message') sont établis à l'intention exclusive des destinataires et les informations qui y figurent sont strictement confidentielles. Toute utilisation de ce Message non conforme à sa destination, toute diffusion ou toute publication totale ou partielle, est interdite sauf autorisation expresse.

  Si vous n'êtes pas le destinataire de ce Message, il vous est interdit de le copier, de le faire suivre, de le divulguer ou d'en utiliser tout ou partie. Si vous avez reçu ce Message par erreur, merci de le supprimer de votre système, ainsi que toutes ses copies, et de n'en garder aucune trace sur quelque support que ce soit. Nous vous remercions également d'en avertir immédiatement l'expéditeur par retour du message.

  Il est impossible de garantir que les communications par messagerie électronique arrivent en temps utile, sont sécurisées ou dénuées de toute erreur ou virus.
  ____________________________________________________

  This message and any attachments (the 'Message') are intended solely for the addressees. The information contained in this Message is confidential. Any use of information contained in this Message not in accord with its purpose, any dissemination or disclosure, either whole or partial, is prohibited except formal approval.

  If you are not the addressee, you may not copy, forward, disclose or use any part of it. If you have received this message in error, please delete it and all copies from your system and notify the sender immediately by return message.

  E-mail communication cannot be guaranteed to be timely secure, error or virus-free.


------------------------------------------------------------------------------


  _______________________________________________
  erlang-questions mailing list
  erlang-questions@REDACTED
  http://erlang.org/mailman/listinfo/erlang-questions
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120217/c73ac59e/attachment.htm>