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

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

Get 2 Weeks Free

Formalizing and verifying compatibility and consistency of SysML blocks

ACM SIGSOFT Software Engineering Notes July 2012 Volume 37 Number 4 Formalizing and Verifying Compatibility and Consistency of SysML Blocks Oscar Carrillo Femto-ST Institute University of Franche-Comt e Besan on, France c e-mail: oscar.carrillo@femto-st.fr Samir Chouali Femto-ST Institute University of Franche-Comt e Besan on, France c e-mail: samir.chouali@femto-st.fr Hassan Mountassir Femto-ST Institute University of Franche-Comt e Besan on, France c e-mail:hmountas@femto-st.fr May 16, 2012 Abstract The objective of this paper is to de ne an approach to formalize and verify the SysML blocks in a re nement process. We propose to specify system architecture with SysML Block De nition Diagram, this diagram is then analyzed and decomposed into several sub-blocks in order to verify their compatibility. The structural architecture of an abstract block is given by the Internal Block Diagram (IBD) which de nes the communication links between sub-blocks. The compatibility veri cation between sub-blocks is only made on linked sub-blocks. The behaviour of each sub-block is described by an interface automaton which speci es the invocations exchanged with its environment. The veri cation between blocks is translated into consistency veri cation between the blocks and compatibility veri cation between their interface automata. Incompatibilities can be inconsistent at 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.

Stop missing out on the latest updates in your field

  • We’ll send you automatic email updates on the keywords and journals you tell us are most important to you.
  • There is a lot of content out there, so we help you sift through it and stay organized.