Skip to main content
SpringerLink
Log in

Automatic Generation of Program Families by Model Restrictions

  • Conference paper
Book cover Software Product Lines (SPLC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3154))

Included in the following conference series:

Abstract

We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for each of the family members. The model and the specifications are used in the automatic generation of restricted programs. We describe an application of the process of modeling reactive systems with statecharts. A trace inclusion refinement relation is established for automatically generated family members, inducing a behavioral inheritance hierarchy over the generated programs.

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 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.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. Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction. Essays in Honour of Robin Milner, Foundations of Computing Series, pp. 425–454. The MIT Press, Cambridge (2000)

    Google Scholar 

  2. Bulyonkov, M.A.: Polyvariant Mixed Computation for Analyzer Programs. Acta Informatica 21(5), 473–484 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  3. Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: An industrial experience report. In: Batory, D., Consel, C., Taha, W. (eds.) Generative Programming and Component Engineering (GPCE), Pittsburgh, PA, USA, October 2002. LNCS, vol. 2487, pp. 156–172. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)

    Google Scholar 

  5. Engels, G., Heckel, R., Küster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 272–286. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  7. Harel, D., Kupferman, O.: On object systems and behavioral inheritance. IEEE Transactions on Software Engineering 28(9), 889–903 (2002)

    Article  Google Scholar 

  8. Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logic and Model of Concurrent Systems, October 1985. NATO ASI, vol. 13, pp. 477–498. Springer, Heidelberg (1985)

    Google Scholar 

  9. Hatcliff, J., Mogensen, T.Æ., Thiemann, P. (eds.): Partial Evaluation: Practice and Theory. DIKU 1998 International Summer School. LNCS, vol. 1706. Springer, Copenhagen (1999)

    Google Scholar 

  10. Hoare, C.A.R.: Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  11. IAR Inc. IAR visualSTATE® . http://www.iar.com/Products/VS/

  12. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1993), http://www.dina.kvl.dk/sestoft/pebook

    MATH  Google Scholar 

  13. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and Beyond. In: Fifth Annual IEEE Symposium on Logic in Computer Science, Washington, D.C, pp. 1–33. IEEE Computer Society Press, Los Alamitos (1990)

    Google Scholar 

  14. Nielsen, J.B.L.: Verification of Large/State Event Systems. PhD thesis, Technical University of Denmark (April 2000)

    Google Scholar 

  15. Object Management Group. OMG Unified Modelling Language specification (1999), http://www.omg.org

  16. Parnas, D.L.: On the design and development of program families. IEEE Transactions on Software Engineering SE-2(1), 1–9 (1976)

    Article  Google Scholar 

  17. SCOPE: A statechart compiler (2003), http://www.mini.pw.edu.pl/wasowski/scope

  18. Tip, F.: A survey of program slicing techniques. Journal of Programming Languages 3(3), 121–189 (1995)

    Google Scholar 

  19. Wąsowski, A.: On Efficient Program Synthesis from Statecharts. In: ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES), San Diego, USA, June 2003, ACM Press, New York (2003)

    Google Scholar 

  20. Wąsowski, A., Sestoft, P.: On the formal semantics of visual- STATE statecharts. Technical Report TR-2002-19, IT University of Copenhagen (September 2002)

    Google Scholar 

  21. Ziadi, T., Jézéquel, J.-M., Fondement, F.: Product line derivation with UML. In: Software Variability Management Workshop, University of Groningen Departement of Mathematics and Computing Science (February 2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Innovation, IT University of Copenhagen, 2300, Copenhagen S, Denmark

    Andrzej Węsowski

Authors
  1. Andrzej Węsowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Institute, Carnegie Mellon University, 4500 Fifth Avenue, 15213, Pittsburgh, PA, USA

    Robert L. Nord

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Węsowski, A. (2004). Automatic Generation of Program Families by Model Restrictions. In: Nord, R.L. (eds) Software Product Lines. SPLC 2004. Lecture Notes in Computer Science, vol 3154. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28630-1_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-28630-1_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22918-6

  • Online ISBN: 978-3-540-28630-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation