{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:39:05Z","timestamp":1742913545077,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466742"},{"type":"electronic","value":"9783662466759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_9","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T16:24:38Z","timestamp":1427819078000},"page":"133-148","source":"Crossref","is-referenced-by-count":11,"title":["A Generalized Formal Framework for Partial Modeling"],"prefix":"10.1007","author":[{"given":"Rick","family":"Salay","sequence":"first","affiliation":[]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-87875-9_2","volume-title":"Model Driven Engineering Languages and Systems","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z.: Algebraic Models for Bidirectional Model Synchronization. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 21\u201336. Springer, Heidelberg (2008)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In: Proc. of ASE 2008, pp. 99\u2013108 (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"9_CR3","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, vol.\u00a0373. Springer (2006)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Famelis, M., Chechik, M., Salay, R.: Partial Models: Towards Modeling and Reasoning with Uncertainty. In: Proc. of ICSE 2012, pp. 573\u2013583 (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Famelis, M., Santosa, S.: MAV-Vis: A Notation for Model Uncertainty. In: Proc. of MiSE 2013, pp. 7\u201312 (2013)","DOI":"10.1109\/MiSE.2013.6595289"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Fischbein, D., D\u2019Ippolito, N., Brunet, G., Chechik, M., Uchitel, S.: Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21(2) (2012)","DOI":"10.1145\/2089116.2089119"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Islam, S., Houmb, S.H.: Integrating Risk Management Activities into Requirements Engineering. In: Proc. of RCIS 2010, pp. 299\u2013310 (2010)","DOI":"10.1109\/RCIS.2010.5507389"},{"issue":"7","key":"9_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R. Keller","year":"1976","unstructured":"Keller, R.: Formal Verification of Parallel Programs. Communications of the ACM\u00a019(7), 371\u2013384 (1976)","journal-title":"Communications of the ACM"},{"key":"9_CR9","unstructured":"Larsen, K.G., Thomsen, B.: A Modal Process Logic. In: Proc. of LICS 1988 (1988)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-54233-7_135","volume-title":"Automata, Languages and Programming","author":"P. Larsen","year":"1991","unstructured":"Larsen, P.: The Expressive Power of Implicit Specifications. In: Leach Albert, J., Monien, B., Rodr\u00edguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol.\u00a0510, pp. 204\u2013216. Springer, Heidelberg (1991)"},{"key":"9_CR11","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, New York (1989)"},{"key":"9_CR12","unstructured":"OMG. Meta Object Facility (MOF) (2006)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., Linden, F.V.D.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer-Verlag New York Inc. (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-33666-9_5","volume-title":"Model Driven Engineering Languages and Systems","author":"A.J. Ramirez","year":"2012","unstructured":"Ramirez, A.J., Cheng, B.H.C., Bencomo, N., Sawyer, P.: Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 53\u201369. Springer, Heidelberg (2012)"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/s00766-006-0032-y","volume":"11","author":"M. Sabetzadeh","year":"2006","unstructured":"Sabetzadeh, M., Easterbrook, S.: View Merging in the Presence of Incompleteness and Inconsistency. J. Requirements Engineering\u00a011(3), 174\u2013193 (2006)","journal-title":"J. Requirements Engineering"},{"key":"9_CR16","unstructured":"Sabetzadeh, M., Nejati, S., Chechik, M., Easterbrook, S.: Reasoning about Consistency in Model Merging. In: Proc. of LWI 2010 (2010)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Salay, R., Chechik, M., Gorzny, J.: Towards a Methodology for Verifying Partial Model Refinements. In: Proc. of VOLT 2012 (April 2012)","DOI":"10.1109\/ICST.2012.199"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-28872-2_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Salay","year":"2012","unstructured":"Salay, R., Famelis, M., Chechik, M.: Language Independent Refinement Using Partial Modeling. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 224\u2013239. Springer, Heidelberg (2012)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-37057-1_3","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Salay","year":"2013","unstructured":"Salay, R., Gorzny, J., Chechik, M.: Change Propagation due to Uncertainty Change. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol.\u00a07793, pp. 21\u201336. Springer, Heidelberg (2013)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-32784-1_3","volume-title":"Coalgebraic Methods in Computer Science","author":"P. Soboci\u0144ski","year":"2012","unstructured":"Soboci\u0144ski, P.: Relational Presheaves as Labelled Transition Systems. In: Pattinson, D., Schr\u00f6der, L. (eds.) CMCS 2012. LNCS, vol.\u00a07399, pp. 40\u201350. Springer, Heidelberg (2012)"},{"key":"9_CR21","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"9_CR22","unstructured":"Ziv, H., Richardson, D., Kl\u00f6sch, R.: The Uncertainty Principle in Software Engineering (1996)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:28:34Z","timestamp":1559140114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}