Home      Log In      Contacts      FAQs      INSTICC Portal
5th International Workshop on Software Knowledge - SKY 2014

22 October, 2014 - Rome, Italy

In conjunction with the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - IC3K 2014

Iaakov Exman
JCE - Jerusalem College of Engineering

Juan Llorens
Carlos III of Madrid University

Call for Papers
Anabel Fraga
Carlos III of Madrid University

Juan Miguel Gómez
Universidad Carlos III de Madrid

"Software Knowledge" – in short SKY – means that software in its higher abstraction levels is a new kind of knowledge, Runnable knowledge. Thus, the classes and relationships of a software UML diagram are easily viewed as the classes and relationships of a knowledge ontology. For further details visit The main theme of the SKY2014 Workshop is Requirements and Software Knowledge. Time is ripe to investigate the promising implications of Software Knowledge ideas to real life Software Systems' Requirements.

The Workshop main objective is to discuss and propose practical tools to deal not only with experimental and laboratory research, but to facilitate formulation and verification of requirements for industrial grade and production software systems.
Topics of Interest
Software Knowledge is a runnable expression of meaning. Running facilitates understanding in a very general sense. This is the rationale for the debugging process in a micro scale, where one runs and breaks at desired points to understand the reason of software failures. This is the basis of agile methods to manufacture and test concurrently, in a medium scale. This is the possible source of great new tools, in a macro scale, from the software hierarchy highest abstraction levels down to executable code.

SKY2014 topics of relevance include but are not limited to:

Software-Knowledge Requirements, Tools and Operations
  • Software-Knowledge Requirements for Large Scale Systems
  • Abstract Operations for Industrial Applications
  • Software-Knowledge selectivity and traceability
  • Software-Knowledge Sharing: Meta-models, interchange formats, and tools
  • Knowledge Driven Architecture and Engineering
Software-Knowledge Runnability and Meaning
  • Ontologies in complex systems
  • Ontologies for Software Requirements verification
  • Semantics above and beyond design patterns
  • Runnable and testable knowledge representations
  • Software-Knowledge representation and modeling
  • Web dynamics and interestingness
Expected Outcomes
Expected outcomes of the SKY2014 Workshop are:

⇒ Proposals of new tools for large-scale Software-Knowledge Requirements verification and production.

⇒ A continuing effort to standardize a Software-Knowledge representation consisting of software models encompassing semantics as first class objects.


Paper Submission: July 27, 2014 (expired)
Authors Notification: August 4, 2014 (expired)
Camera Ready and Registration: August 14, 2014 (expired)


Hernan Astudillo, Informática, UniversidadTécnica Federico Santa María, Chile
Sidney Bailin, Independent Researcher, United States
Yishai Feldman, , Israel
Bill Frakes, Independent Researcher, United States
Reuven Gallant, Computer Science, JCT Lev Academic Center, Israel
Gonzalo Genova, Computer Science and Engineering Department, Carlos III University of Madrid, Spain
Paulo Gomes, Departamento De Engenharia Informática, Cisuc - Universidade de Coimbra, Portugal
David Rine, Volgenau School of Information Technology and Engineering, George Mason University, United States
Dumitru Roman, SINTEF / University of Oslo, Norway
Michal Smialek, Warsaw University of Technology, Poland
Daniel Speicher, Computer Science III, University of Bonn, Germany
Ioan Toma, University Innsbruck, Austria
Rafael Valencia-Garcia, Departamento de Informatica y Systemas, Universidad de Murcia, Spain
Reuven Yagel, Software Engineering, Azrieli - The Jerusalem College of Engineering, Israel

(list not yet complete)

Invited Speakers

Only the New? Knowledge Reuse in Innovation
John Favaro
Consulenza Informatica
Brief Bio
John Favaro is a consultant based in Pisa, Italy and Associate Editor of IEEE Software in the management area. He is a founding member of the International Society for the Advancement of Software Education and was Program Chair of the 13th International Conference on Software Reuse in 2013. In 1998 he introduced Value Based Software Reuse Investment, applying the ideas of Value Based Management to the analysis of investments in software reuse. Recently he has investigated the relationship of Value Based Management to agile development processes. He took his degrees in computer science at Yale University and the University of California at Berkeley.
Innovation is normally associated with the generation of entirely new knowledge. But a number of research results in recent years have yielded new insights on the way that the mind works to produce successful innovation. What is known as "strategic intuition" involves the intelligent recombination of precedents – reusable knowledge – to form new solutions to strategic innovation problems, and provides the elements of a systematic approach to innovation.

Towards an Ontology of Software
Nicola Guarino
Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR)
Brief Bio
Nicola Guarino is research director at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), where he leads the Laboratory for Applied Ontology (LOA) in Trento. Since 1991 he has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. His impact is testified by a long list of widely cited papers and many keynote talks and tutorials in major conferences involving different communities. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. Current research interests include conceptual modeling, service science, socio-technical systems, and e-government. He is founder and editor-in-chief (with Mark Musen) of the Applied Ontology journal, founder and past president of the International Association for Ontology and its Applications, and editorial board member of Int. Journal of Semantic Web and Information Systems and Journal of Data Semantics.
For many, software is just code, something intangible best defined in contrast with hardware, but this is not particularly illuminating. Microsoft Word turned 30 last year. During its lifetime it has been the subject of numerous changes, as its requirements, code and documentation have continuously evolved. Still a community of users recognizes it as "the same software product", a persistent object undergoing several changes through a social process involving owners, developers, salespeople and users, and it is still producing recognizable effects that meet the same core requirements. It is this process that makes software something different than just a piece of code, and justifies its intrinsic nature as a social artifact. Building on Jackson's and Zave's seminal work on foundations of requirements engineering, I will present in this talk a first attempt towards an ontology of software and related notions that accounts for such intuitions, and adopt it in software configuration management to provide a better understanding and control of software changes. This is ongoing work with Giancarlo Guizzardi, John Mylopoulos, and Xiaowei Wang.


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.
All accepted papers, including position papers, will be published in the workshop proceedings book and on CD-ROM support, under an ISBN reference.
All papers presented at the conference venue will be available at the SciTePress Digital Library (
SciTePress is member of CrossRef (
Previous Editions
For information on previous SKY Workshops please visit the web site.
Registration Information
At least one author of an accepted paper must register for the workshop, and the registration fees received by August 12, 2014, in order to have the paper published in the workshop proceedings book.