SearcharxivSearch

arXiv subjects

Kazuhiko Kato

Publications and source records attributed to Kazuhiko Kato.

2 recordsLinked to original sources

How the nature of web services drives vocabulary creation in social tagging

A social tagging system allows users to add arbitrary strings, called "tags", on a shared resource to organize and manage information. The Yule--Simon process, which has shown the ability to capture the population dynamics of social tagging behavior, does not handle the mechanism of new vocabulary creation because it assumes that new vocabulary creation is a Poisson-like random process. In this research, we focus on the mechanism of vocabulary creation from the microscopic perspective and discuss whether it also follows the random process assumed in the Yule--Simon process. To capture the microscopic mechanism of vocabulary creation, we focus on the relationship between the number of tags used in the same entry and the local vocabulary creation rate. We find that the relationship is not the result of a simple random process, and differs between services. Furthermore, these differences depend on whether the user's tagging attitudes are private or open. These results provide the potential for a new index to identify the service's intrinsic nature.

cs.SI

Model Checking of BPMN Models for Reconfigurable Workflows

Nowadays, business enterprises often need to dynamically reconfigure their internal processes in order to improve the efficiency of the business flow. However, modifications of the workflow usually lead to several problems in terms of deadlock freedom, completeness and security. A solid solution to these problems consists in the application of model checking techniques in order to verify if specific properties of the workflow are preserved by the change in configuration. Our goal in this work is to develop a formal verification procedure to deal with these problems. The first step consists in developing a formal definition of a BPMN model of a business workflow. Then, a given BPMN model is translated into a formal model specified in Promela. Finally, by using the SPIN model checker, the correctness of the reconfigured workflow is verified.

cs.SE