Olegas Vasilecas

Bio: Olegas Vasilecas is an academic researcher from Vilnius Gediminas Technical University. The author has contributed to research in topics: Business rule & Business process modeling. The author has an hindex of 15, co-authored 155 publications receiving 963 citations. Previous affiliations of Olegas Vasilecas include Klaipėda University & University of Ljubljana.

Survey on Ontology Languages

Abstract: Nowadays a number of papers are presented on the research for the ontology application for a business system modelling. For this purpose formal and executable ontologies earn a lot of attention. However, formality and executability of an ontology depends on a language, which is used to present it. This paper presents a never completely account of languages that have been used for the research community for representing ontologies. The most popular four ontology languages (KIF, OWL, RDF + RDF(S) and DAML+OIL) are reviewed. Their advantages and disadvantages are discussed. Finally, thirteen comparison criteria are distinguished and chosen ontology languages are compared. The discussion is also presented in the paper.

Building ontologies from relational databases using reverse engineering methods

Abstract: The fast changing requirements are the main problem of creating and/or modifying conceptual data models. Most conceptual data models of information systems are created from scratch, wasting time and resources. Ontology represents the real-world domain knowledge. So ontology can be reused in conceptual model building. However ontology engineering is not mature enough. In this paper we propose the new approach to develop ontologies from relational databases using reverse engineering. The ontology can be evaluated, extended and reused as domain knowledge for other conceptual data models.

Information Systems Development: Advances in Theory, Practice, and Education

Abstract: This volume is comprised of the proceedings of the 13th International Conference on Information Systems Development held August 26th-28th, 2004, at Vilnius Gediminas Technical University, Vilnius, Lithuania. The aim of this volume is to provide a forum for the research and practices addressing current issues associated with Information Systems Development (ISD). Every day, new technologies, applications, and methods raise the standards for the quality of systems expected by organizations as well as end users. All are becoming dependent on systems reliability, scalability, and performance. Thus, it is crucial to exchange ideas and experiences, and to stimulate exploration of new solutions. This proceedings provides a forum for both technical and organizational issues.

Towards a formal method for the transformation of ontology axioms to application domain rules

Abstract: Ontologies in nowadays are widely used in the process of development of modern information systems (IS), since they are suitable to represent application domain knowledge. However, some aspects of ontology-based IS required to be developed. We propose a formal method for ontology axioms transformation into application domain rules, making them an important and integral part of each application domain and used to constrain or direct different aspects of business. Such rules can be consecutively transformed into an executable form and implemented in a software system of an IS. We propose to use the Z notation for formalisation of previously authors’ introduced ontology-based semi-formal method for development of application domain rules.

Out of the Crisis

Abstract: According to W. Edwards Deming, American companies require nothing less than a transformation of management style and of governmental relations with industry. In Out of the Crisis, originally published in 1982, Deming offers a theory of management based on his famous 14 Points for Management. Management's failure to plan for the future, he claims, brings about loss of market, which brings about loss of jobs. Management must be judged not only by the quarterly dividend, but by innovative plans to stay in business, protect investment, ensure future dividends, and provide more jobs through improved product and service. In simple, direct language, he explains the principles of management transformation and how to apply them.

The knowledge-creating company

Abstract: How have Japanese companies become world leaders in the automotive and electronics industries, among others? What is the secret of their success? Two leading Japanese business experts, Ikujiro Nonaka and Hirotaka Takeuchi, are the first to tie the success of Japanese companies to their ability to create new knowledge and use it to produce successful products and technologies. In The Knowledge-Creating Company, Nonaka and Takeuchi provide an inside look at how Japanese companies go about creating this new knowledge organizationally. The authors point out that there are two types of knowledge: explicit knowledge, contained in manuals and procedures, and tacit knowledge, learned only by experience, and communicated only indirectly, through metaphor and analogy. U.S. managers focus on explicit knowledge. The Japanese, on the other hand, focus on tacit knowledge. And this, the authors argue, is the key to their success--the Japanese have learned how to transform tacit into explicit knowledge. To explain how this is done--and illuminate Japanese business practices as they do so--the authors range from Greek philosophy to Zen Buddhism, from classical economists to modern management gurus, illustrating the theory of organizational knowledge creation with case studies drawn from such firms as Honda, Canon, Matsushita, NEC, Nissan, 3M, GE, and even the U.S. Marines. For instance, using Matsushita's development of the Home Bakery (the world's first fully automated bread-baking machine for home use), they show how tacit knowledge can be converted to explicit knowledge: when the designers couldn't perfect the dough kneading mechanism, a software programmer apprenticed herself withthe master baker at Osaka International Hotel, gained a tacit understanding of kneading, and then conveyed this information to the engineers. In addition, the authors show that, to create knowledge, the best management style is neither top-down nor bottom-up, but rather what they call "middle-up-down," in which the middle managers form a bridge between the ideals of top management and the chaotic realities of the frontline. As we make the turn into the 21st century, a new society is emerging. Peter Drucker calls it the "knowledge society," one that is drastically different from the "industrial society," and one in which acquiring and applying knowledge will become key competitive factors. Nonaka and Takeuchi go a step further, arguing that creating knowledge will become the key to sustaining a competitive advantage in the future. Because the competitive environment and customer preferences changes constantly, knowledge perishes quickly. With The Knowledge-Creating Company, managers have at their fingertips years of insight from Japanese firms that reveal how to create knowledge continuously, and how to exploit it to make successful new products, services, and systems.

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

Abstract: ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of