“Whoa! It's like Spotify but for academic articles.”

Instant Access to Thousands of Journals for just $40/month

Get 2 Weeks Free

Towards a formal foundation of behavioral types for UML state-machines

ACM SIGSOFT Software Engineering Notes July 2012 Volume 37 Number 4 Towards a Formal Foundation of Behavioral Types for UML State-Machines Jan Olaf Blech, Bernhard Sch¨tz a fortiss GmbH, Munich, Germany e-mail: {blech,schaetz}@fortiss.org Abstract Behavioral types for model-based development comprise abstract behavioral aspects of the models they are associated with. Behavioral types allow checking that a model ful lls these behavioral aspects. Furthermore, as types can be related with each other, they support more complex checks and guarantees like compatibility in composition and re nement of models in a model based development process. We propose a behavioral type system and explain its properties, speci cally targeting a subset of UML state-machines. We present an early implementation that generates behavioral type de nitions out of an Eclipse-based modeling environment. These type de nitions are generated for the higherorder proof assistant Coq as les. We present checking and comparison techniques based on these les for behavioral aspects that can be derived from the model de nition. .uml generator .v Coq additional .v files interactive modeling in the Eclipse environment automatic and interactive type checking in Coq Figure 1: Coq based behavioral types for UML Introduction The use of types as http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGSOFT Software Engineering Notes Association for Computing Machinery
Loading next page...

You're reading a free preview. Subscribe to read the entire article.

And millions more from thousands of peer-reviewed journals, for just $40/month

Get 2 Weeks Free

To be the best researcher, you need access to the best research

  • With DeepDyve, you can stop worrying about how much articles cost, or if it's too much hassle to order — it's all at your fingertips. Your research is important and deserves the top content.
  • Read from thousands of the leading scholarly journals from Springer, Elsevier, Nature, IEEE, Wiley-Blackwell and more.
  • All the latest content is available, no embargo periods.