Business Process Retrieval Based on Behavioral Semantics

This paper develops a framework for retrieving business processes considering search requirements based on behavioral semantics properties; it presents a framework called "BeMantics" for retrieving business processes based on structural, linguistics, and behavioral semantics properties. The relevance of the framework is evaluated retrieving business processes from a repository, and collecting a set of relevant business processes manually issued by human judges. The "BeMantics" framework scored high precision values (0.717) but low recall values (0.558), which implies that even when the framework avoided false negatives, it prone to false positives. The highest pre- cision value was scored in the linguistic criterion showing that using semantic inference in the tasks comparison allowed to reduce around 23.6 % the number of false positives. Using semantic inference to compare tasks of business processes can improve the precision; but if the ontologies are from narrow and specific domains, they limit the semantic expressiveness obtained with ontologies from more general domains. Regarding the perform- ance, it can be improved by using a filter phase which indexes business processes taking into account behavioral semantics propertie

Defining and identifying the knowledge economy in Scotland: a regional perspective on a global phenomenon

The development and growth of a knowledge economy has become a key policy aim forgovernments in all advanced economies. This is based on recognition that technologicalchange, the swift growth of global communications, and the ease of mobility of capital across national borders has dramatically changed the patterns of international trade and investment. The economic fate of individual nations is now inseparably integrated into the ebb and flow of the global economy. When companies can quickly move capital to those geographical locations which offer the best return, a country's long term prosperity is now heavily dependent on its abilityto retain the essential factors of production that are least mobile. This has led to apremium being placed on the knowledge and skills embodied in a country's labourforce, as it has become a widely accepted view that a country which possesses a high level of knowledge and skills in its workforce will have a competitive advantage overothers with a lower domestic skill base. Knowledge and skills are thought to be thebasis for the development of a knowledge economy

Towards a Maude tool for model checking temporal graph properties

We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi. Our tool can be considered as an instantiation of our approach to counterpart semantics which allows for a neat handling of creation, deletion and merging in systems with dynamic structure. Our implementation is based on the object-based machinery of Maude, which provides the basics to deal with attributed graphs. Graph transformation systems are specified with term rewrite rules. The model checker evaluates logical formulae of second-order modal m-calculus in the automatically generated CounterpartModel (a sort of unfolded graph transition system) of the graph transformation system under study. The result of evaluating a formula is a set of assignments for each state, associating node variables to actual nodes