5th International Workshop on
Software Knowledge -
22 October, 2014 - Rome, Italy
In conjunction with the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - IC3K 2014
“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 SoftwareKnowledge.org.
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 Runnability and Meaning
- 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
- 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 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.
July 27, 2014 (expired)
August 4, 2014 (expired)
Camera Ready and Registration:
August 14, 2014 (expired)
UniversidadTécnica Federico Santa María, Chile
Knowledge Evolution, Inc., United States
IBM Research - Haifa, Israel
ISASE, United States
Jerusalem College of Technology (JCT), Israel
Carlos III of Madrid University, Spain
Cisuc - Universidade de Coimbra, Portugal
George Mason University, United States
SINTEF / University of Oslo, Norway
Warsaw University of Technology, Poland
University of Bonn, Germany
Universidad de Murcia, Spain
Azrieli - The Jerusalem College of Engineering, Israel
(list not yet complete)
Only the New? Knowledge Reuse in Innovation
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
Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR)
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 and Templates.
Papers should be submitted electronically via the web-based submission system at: http://www.insticc.org/Primoris
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 (http://www.scitepress.org/DigitalLibrary/
SciTePress is member of CrossRef (http://www.crossref.org/
For information on previous SKY Workshops please visit the SoftwareKnowledge.org
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.