publication . Part of book or chapter of book . Conference object . 2014

Target Oriented Relational Model Finding

Cunha, Alcino; Macedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira;
Open Access
  • Published: 01 Jan 2014
  • Publisher: Springer Berlin Heidelberg
  • Country: Brazil
Lecture Notes in Computer Science 8411, 2014 Model finders are becoming useful in many software engineering problems. Kodkod is one of the most popular, due to its support for relational logic (a combination of first order logic with relational algebra operators and transitive closure), allowing a simpler specification of constraints, and support for partial instances, allowing the specification of a priori (exact, but potentially partial) knowledge about a problem's solution. However, in some software engineering problems, such as model repair or bidirectional model transformation, knowledge about the solution is not exact, but instead there is a known target t...
free text keywords: Model repair, Theoretical computer science, Operator (computer programming), Transitive closure, Relational algebra, Relational model, First-order logic, Computer science, Cardinality, A priori and a posteriori, Model transformation, computer.programming_language, computer, Programming language, computer.software_genre
Related Organizations
Funded by
FCT| SFRH/BD/69585/2010
  • Funder: Fundação para a Ciência e a Tecnologia, I.P. (FCT)
  • Project Code: SFRH/BD/69585/2010
  • Funding stream: SFRH | Doutoramento
21 references, page 1 of 2

1. As n, R., Nieuwenhuis, R., Oliveras, A., Rodr guez-Carbonell, E.: Cardinality networks: a theoretical and empirical study. Constraints 16(2), 195{221 (2011)

2. Cha, B., Iwama, K., Kambayashi, Y., Miyazaki, S.: Local search algorithms for partial MAXSAT. In: AAAI'97. pp. 263{268. AAAI (1997)

3. Czarnecki, K., Foster, J., Hu, Z., Lammel, R., Schurr, A., Terwilliger, J.: Bidirectional transformations: A cross-discipline perspective. In: ICMT'09, LNCS, vol. 5563, pp. 260{283. Springer (2009)

4. Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: FSE'04. pp. 189{199. ACM (2004)

5. Fu, Z., Malik, S.: On solving the partial MAX-SAT problem. In: SAT'06. LNCS, vol. 4121, pp. 252{265. Springer (2006)

6. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, revised edn. (2012)

7. Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using Alloy. In: FASE'13. LNCS, vol. 7793, pp. 297 { 311. Springer (2013)

8. Macedo, N., Guimar~aes, T., Cunha, A.: Model repair and transformation with Echo. In: ASE'13. pp. 694{697. IEEE (2013) [OpenAIRE]

9. Maglalang, J.C.: Native cardinality constraints: More expressive, more e cient constraints. Honors Projects, Paper 19, Illinois Wesleyan University (2012)

10. Milicevic, A., Jackson, D.: Preventing arithmetic over ows in Alloy. In: ABZ'12. LNCS, vol. 7316, pp. 108{121. Springer (2012)

11. Miyazaki, S., Iwama, K., Kambayashi, Y.: Database queries as combinatorial optimization problems. In: CODAS'96. pp. 448{454 (1996)

12. Nelson, T., Sagha , S., Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Aluminum: principled scenario exploration through minimality. In: ICSE'13. pp. 232{241. IEEE (2013)

13. OMG: MOF 2.0 Query/View/Transformation speci cation (QVT), version 1.1 (January 2011),

14. Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: ASE'12. pp. 220{229. ACM (2012) [OpenAIRE]

15. Reiter, R.: A theory of diagnosis from rst principles. Arti cial Intelligence 32(1), 57{95 (1987) [OpenAIRE]

21 references, page 1 of 2
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue