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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Cortés-Calabuig, A., Denecker, M., Arieli, O.: On the Local Closed-World Assumption of Data-Sources. J. Logic Programming (2005)
Fagin, R., Kolaitis, P., Miller, R., Popa, L.: Data Exchange: Semantics and Query Answering. Theoretical Computer Science 336(1), 89–124 (2005)
Famelis, M., Ben-David, S., Chechik, M., Salay, R.: Partial Models: A Position Paper. In: Proc. of MoDeVVa 2011, pp. 1–6 (2011)
Famelis, M., Salay, R., Chechik, M.: Partial Models: Towards Modeling and Reasoning with Uncertainty (2011) (submitted)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM (JACM) 39(1), 95–146 (1992)
Haugen, O., Husa, K.E., Runde, R.K., Stolen, K.: STAIRS: Towards Formal Design with Sequence Diagrams. SoSyM 4(4), 355–357 (2005)
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)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006)
Larsen, K.G., Thomsen, B.: A Modal Process Logic. In: Proc. of LICS 1988, pp. 203–210 (1988)
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)
Sannella, D., Tarlecki, A.: Essential Concepts of Algebraic Specification and Program Development. Formal Aspects of Computing 9(3), 229–269 (1997)
Uchitel, S., Chechik, M.: Merging Partial Behavioural Models. In: FSE 2004, pp. 43–52 (2004)
Wei, O., Gurfinkel, A., Chechik, M.: On the Consistency, Expressiveness, and Precision of Partial Modeling Formalisms. J. Inf. Comput. 209(1), 20–47 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
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)