Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Fundamental Approaches to Software Engineering

FASE 2012: Fundamental Approaches to Software Engineering pp 224–239Cite as

  1. Home
  2. Fundamental Approaches to Software Engineering
  3. Conference paper
Language Independent Refinement Using Partial Modeling

Language Independent Refinement Using Partial Modeling

  • Rick Salay18,
  • Michalis Famelis18 &
  • Marsha Chechik18 
  • Conference paper
  • 1634 Accesses

  • 34 Citations

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7212)

Abstract

Models express not only information about their intended domain but also about the way in which the model is incomplete, or “partial”. This partiality supports the modeling process because it permits the expression of what is known without premature decisions about what is still unknown, until later refinements can fill in this information. A key observation of this paper is that a number of partiality types can be defined in a modeling language-independent way, and we propose a formal framework for doing so. In particular, we identify four types of partiality and show how to extend a modeling language to support their expression and refinement. This systematic approach provides a basis for reasoning as well as a framework for generic tooling support. We illustrate the framework by enhancing the UML class diagram and sequence diagram languages with partiality support and using Alloy to automate reasoning tasks.

Keywords

  • Modeling Language
  • Class Diagram
  • Partial Model
  • Sequence Diagram
  • First Order Logic

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Download conference paper PDF

References

  1. Cortés-Calabuig, A., Denecker, M., Arieli, O.: On the Local Closed-World Assumption of Data-Sources. J. Logic Programming (2005)

    Google Scholar 

  2. Fagin, R., Kolaitis, P., Miller, R., Popa, L.: Data Exchange: Semantics and Query Answering. Theoretical Computer Science 336(1), 89–124 (2005)

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. Famelis, M., Ben-David, S., Chechik, M., Salay, R.: Partial Models: A Position Paper. In: Proc. of MoDeVVa 2011, pp. 1–6 (2011)

    Google Scholar 

  4. Famelis, M., Salay, R., Chechik, M.: Partial Models: Towards Modeling and Reasoning with Uncertainty (2011) (submitted)

    Google Scholar 

  5. Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM (JACM) 39(1), 95–146 (1992)

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Haugen, O., Husa, K.E., Runde, R.K., Stolen, K.: STAIRS: Towards Formal Design with Sequence Diagrams. SoSyM 4(4), 355–357 (2005)

    CrossRef  Google Scholar 

  7. Herrmann, T.: Systems Design with the Socio-Technical Walkthrough. In: Hndbk of Research on Socio-Technical Design and Social Networking Systems, pp. 336–351 (2009)

    Google Scholar 

  8. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006)

    Google Scholar 

  9. Larsen, K.G., Thomsen, B.: A Modal Process Logic. In: Proc. of LICS 1988, pp. 203–210 (1988)

    Google Scholar 

  10. Larsen, P.: The Expressive Power of Implicit Specifications. In: Leach Albert, J., Monien, B., Rodríguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol. 510, pp. 204–216. Springer, Heidelberg (1991)

    CrossRef  Google Scholar 

  11. Sannella, D., Tarlecki, A.: Essential Concepts of Algebraic Specification and Program Development. Formal Aspects of Computing 9(3), 229–269 (1997)

    CrossRef  MATH  Google Scholar 

  12. Uchitel, S., Chechik, M.: Merging Partial Behavioural Models. In: FSE 2004, pp. 43–52 (2004)

    Google Scholar 

  13. Wei, O., Gurfinkel, A., Chechik, M.: On the Consistency, Expressiveness, and Precision of Partial Modeling Formalisms. J. Inf. Comput. 209(1), 20–47 (2011)

    CrossRef  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, Toronto, Canada

    Rick Salay, Michalis Famelis & Marsha Chechik

Authors
  1. Rick Salay
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michalis Famelis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marsha Chechik
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, Universidad Autónoma de Madrid, Campus Cantoblanco, 28049, Madrid, Spain

    Juan de Lara

  2. School of Informatics, City University, Northampton Square, EC1V 0HB, London, UK

    Andrea Zisman

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Salay, R., Famelis, M., Chechik, M. (2012). Language Independent Refinement Using Partial Modeling. In: de Lara, J., Zisman, A. (eds) Fundamental Approaches to Software Engineering. FASE 2012. Lecture Notes in Computer Science, vol 7212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28872-2_16

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-28872-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28871-5

  • Online ISBN: 978-3-642-28872-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature