Skip to main content
SpringerLink
Log in

Automatic Generation of Compatible Interfaces from Partitioned UML Activities

  • Conference paper
SDL 2009: Design for Motes and Mobiles (SDL 2009)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 5719))

Included in the following conference series:

  • 342 Accesses

Abstract

Behavioral interfaces describing the sequences of buffered signal transmissions between components are useful to ensure that components can interact consistently. Previous work has shown that compatible interfaces at each side of a channel are in general asymmetric: In cases where both communicating sides can take initiative and send, they have to be prepared for conflicts that need resolution. Such conflicts are often difficult to handle properly at the interaction level, where the intent of the actual application may be obscured by technical details. For this reason, we developed an automated method that starts with a holistic and collaborative view on distributed behavior provided by UML activities, in which components are represented by separate partitions. Once the activity is well-formed, pairs of interfaces for each channel are derived by cutting the activity along its partitions and exploring the visible behavior between them. The resulting interfaces are compatible by construction and allow other entities to interact consistently across them. The proposed method is implemented as part of our tool support.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., Lamport, L.: The Existence of Refinement Mappings. Theoretical Computer Science 82(2), 253–284 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  2. Arctis Website, http://arctis.item.ntnu.no

  3. Back, R.J.R., Kurki-Suonio, F.: Distributed Cooperation With Action Systems. ACM Transactions on Programming Languages and Systems 10(4), 513–554 (1988)

    Article  MATH  Google Scholar 

  4. Ben-Abdallah, H., Leue, S.: Syntactic Detection of Process Divergence and Non-Local Choice in Message Sequence Charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 259–274. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  5. Bræk, R., Haugen, Ø.: Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. The BCS Practitioner Series. Prentice-Hall, Englewood Cliffs (1993)

    MATH  Google Scholar 

  6. Broy, M., Krüger, I.: Interaction Interfaces - Towards a Scientific Foundation of a Methodological usage of Message Sequence Charts. In: ICFEM 1998: Proceedings of the Second IEEE International Conference on Formal Engineering Methods, p. 2. IEEE Computer Society, Washington (1998)

    Google Scholar 

  7. Carrez, C., Fantechi, A., Najm, E.: Behavioural Contracts for a Sound Assembly of Components. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 111–126. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. de Alfaro, L., Henzinger, T.A.: Interface Automata. SIGSOFT Softw. Eng. Notes 26(5), 109–120 (2001)

    Article  Google Scholar 

  9. Eclipse Modeling Project, http://www.eclipse.org/modeling

  10. Engelhardtsen, F., Prinz, A.: Application of Stuck-free Conformance to Service-Role Composition. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 115–132. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, Norwegian University of Science and Technology, Trondheim (2003)

    Google Scholar 

  12. Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks 34(2), 317–337 (2000)

    Article  Google Scholar 

  13. Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall Software Series. Prentice-Hall, Englewood Cliffs (1991)

    Google Scholar 

  14. Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology, Trondheim (2008)

    Google Scholar 

  15. Kraemer, F.A., Bræk, R., Herrmann, P.: Compositional Service Engineering with Arctis. Telektronikk, vol. 1.2009 (2009)

    Google Scholar 

  16. Kraemer, F.A., Herrmann, P.: Service Specification by Composition of Collaborations — An Example. In: WI-IATW 2006, pp. 129–133. IEEE Computer Society, Washington (2006)

    Google Scholar 

  17. Kraemer, F.A., Bræk, R., Herrmann, P.: Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. In: Networking and Electronic Commerce Research Conference 2007 (NAEC 2007), pp. 194–220. ATSMA Inc., USA (2007)

    Google Scholar 

  18. Kraemer, F.A., Herrmann, P.: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In: Ehring, K., Giese, H. (eds.) Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007). Electronic Communications of the EASST, vol. 7 (2007)

    Google Scholar 

  19. Kraemer, F.A., Herrmann, P., Bræk, R.: Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In: Meersman, R., Tari, Z. (eds.) CoopIS, DOA, GADA, and ODBASE 2006. LNCS, vol. 4276, pp. 1613–1632. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  20. Kraemer, F.A., Samset, H., Bræk, R.: An Automated Method for Web Service Orchestration based on Reusable Building Blocks. In: Proceedings of the 7th International IEEE Conference on Web Services (ICWS) (to be published, 2009)

    Google Scholar 

  21. Lamport, L.: Specifying Systems. Addison-Wesley, Reading (2002)

    MATH  Google Scholar 

  22. Mencl, V.: Specifying Component Behavior with Port State Machines. Electr. Notes. Theor. Comput. Sci. 101, 129–153 (2004)

    Article  MATH  Google Scholar 

  23. Michał, R., Meland, P.-H., Floch, J., Domaszewicz, J.: Ontology-based Use Cases for Design-time and Runtime Composition of Mobile Services. In: Proceedings of the Mobile Data Management Workshops MDMW 2008, pp. 29–36. IEEE Computer Society Press, Washington (2009)

    Google Scholar 

  24. Object Management Group: Service Oriented Architecture Modeling Language (SoaML) - Specification for the UML Profile and Metamodel for Services (UPMS), version 2.0 (November 2008), http://www.omg.org/docs/ad/08-11-01.pdf

  25. Samset, H., Bræk, R.: Dealing with Active and Stateful Services in the Service-Oriented Architecture. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol. 4907, pp. 268–281. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  26. Sanders, R.: Collaborations, Semantic Interfaces and Service Goals: A Way Forward for Service Engineering. PhD thesis, Norwegian University of Science and Technology, Trondheim (2007)

    Google Scholar 

  27. Sanders, R., Bræk, R., von Bochmann, G., Amyot, D.: Service Discovery and Component Reuse with Semantic Interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 85–102. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  28. SIMS Project Website, http://www.ist-sims.org

  29. Slåtten, V.: Automatic Detection and Correction of Flaws in Service Specifications. Master’s thesis, Norwegian University of Science and Technology, Trondheim (2008)

    Google Scholar 

  30. Yu, Y., Manolios, P., Lamport, L.: Model Checking TLA +  Specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54–66. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Telematics, Norwegian University of Science and Technology (NTNU), N-7491, Trondheim, Norway

    Frank Alexander Kraemer

Authors
  1. Frank Alexander Kraemer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, Windermere, LA23 2DL, Cumbria, United Kingdom

    Rick Reed

  2. Ruhr-Universität Bochum, D-44801, Bochum, Germany

    Attila Bilgic

  3. Networked Systems Group, University of Kaiserslautern, D-67653, Kaiserslautern, Germany

    Reinhard Gotzhein

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kraemer, F.A. (2009). Automatic Generation of Compatible Interfaces from Partitioned UML Activities. In: Reed, R., Bilgic, A., Gotzhein, R. (eds) SDL 2009: Design for Motes and Mobiles. SDL 2009. Lecture Notes in Computer Science, vol 5719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04554-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04554-7_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04553-0

  • Online ISBN: 978-3-642-04554-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation