Skip to main content
SpringerLink
Log in
Book cover

International SDL Forum

SDL 2011: SDL 2011: Integrating System and Software Modeling pp 168–185Cite as

Separation of Concerns with Transactional Regions

  • Conference paper

  • 678 Accesses

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

Abstract

Orthogonal regions allow a system represented as a state machine to be decomposed into a set of semi-independent modules. Regions of a state machine are usually not completely independent and interact through synchronization and communication primitives, causing coupling between the regions. As the number of regions in the system grows, these interactions become harder to maintain and the behavior of the system as a whole becomes harder to reason about. We introduce a transactional composition semantics, which overcomes these scalability limitations by implicitly and non-invasively capturing dependencies between regions. The approach is evaluated by comparing a monolithic legacy implementation of a telecommunication component to an implementation based on transactional region composition. Our results show that region-based modularization can achieve complete separation of concerns between the features of a non-trivial system and that the proposed transactional composition semantics enable region-based decomposition to be performed on a large scale.

This is a preview of subscription content, 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   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  2. Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM) 5(4), 293–333 (1996)

    Article  Google Scholar 

  3. Harel, D., Kugler, H.: The rhapsody semantics of statecharts (or, on the executable core of the UML). In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 325–354. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Cottenier, T., van den Berg, A., Elrad, T.: The Motorola WEAVR: Model Weaving in a Large Industrial Context. In: AOSD 2007, Industry Track, Vancouver, Canada (2007)

    Google Scholar 

  5. Cottenier, T., van den Berg, A., Elrad, T.: Joinpoint Inference from Behavioral Specification to Implementation. In: Bateni, M. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 476–500. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Sant’Anna, C., et al.: On the Reuse and Maintenance of Aspect-Oriented Software: An Assessment Framework. In: Proceedings of the Brazilian Symposium on Software Engineering, Manaus, Brazil, pp. 19–34 (2003)

    Google Scholar 

  7. Garcia, A., et al.: Modularizing design patterns with aspects: a quantitative study. In: Proceedings of the 4th International Conference on Aspect-oriented Software Development, Chicago, USA, pp. 3–14 (2005)

    Google Scholar 

  8. Tarr, P., Ossher, H., Harrison, W., Sutton, S.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: Proceedings of the 21st International Conference on Software Engineering, Los Angeles, USA, pp. 107–119 (1999)

    Google Scholar 

  9. Baldwin, C., Clark, K.: Design Rules. The Power of Modularity, vol. I. MIT Press, Cambridge (2000)

    Google Scholar 

  10. Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: Proceedings of the 27th International Conference on Software Engineering, St Louis, USA, pp. 49–58 (2005)

    Google Scholar 

  11. Grisswold, W., et al.: Modular Software Design with Crosscutting Interfaces. IEEE Software 23(1), 51–60 (2006)

    Article  Google Scholar 

  12. Kienzle, J., Gray, J., Stein, D., Cottenier, T., Cazzola, W., Aldawud, O.: Report of the 14th International Workshop on Aspect-Oriented Modeling. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 98–103. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  13. Elrad, T., Aldawud, O., Bader, A.: Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design. In: Batory, D., Blum, A., Taha, W. (eds.) GPCE 2002. LNCS, vol. 2487, pp. 189–201. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Mahoney, M., Bader, A., Aldawud, O., Elrad, T.: Using Aspects to Abstract and Modularize Statecharts. In: The 5th Aspect-Oriented Modeling Workshop in Conjunction with the UML 2004 Conference, Lisbon, Portugal (2004)

    Google Scholar 

  15. Zhang, G., Hölzl, M., Knapp, A.: Enhancing UML State Machines with Aspects. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 529–543. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. McNeile, A., Roubtsova, E.: Aspect-Oriented Development Using Protocol Modeling. To appear in A Common Case Study for Aspect-Oriented Modeling Approaches, Transactions on Aspect Oriented Software Development. LNCS, vol. 7 (2010)

    Google Scholar 

  17. Campbell, R., Randell, B.: Error Recovery in Asynchronous Systems. IEEE Transactions on Software Engineering SE-12(8), 811–826 (1986)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. UniqueSoft LLC, Palatine, IL, USA

    Thomas Cottenier & Aswin van den Berg

  2. Dept. of Computer Science, Missouri University of Science and Technology, Rolla, MO, USA

    Thomas Weigert

Authors
  1. Thomas Cottenier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Aswin van den Berg
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Weigert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Université de Toulouse, IRIT, 118 route de Narbonne, 31062, Toulouse, France

    Iulian Ober

  2. IRIT - Université de Toulouse, 118, route de Narbonne, 31062, Toulouse, France

    Ileana Ober

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cottenier, T., van den Berg, A., Weigert, T. (2011). Separation of Concerns with Transactional Regions. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25264-8_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25263-1

  • Online ISBN: 978-3-642-25264-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation