"Informatyka Ekonomiczna 2013, nr 3(29)"

Spis treści

Preface 8

Vangel V. Ajanovski: Model and implementation of a self-adaptive social navigation system for public information systems 10

Lev Belava: Towards a platform for hybrid composition and grounding of web services 31

Marjan Gusev, Kiril Kiroski, Sasko Ristov: An e-Ordering and e-Invoicing cloud solution 52

Radosław Klimek, Piotr Szwed, Stanisław Jędrusik: Application of deductive reasoning to the verification of ArchiMate behavioral elements 77

Jerzy Korczak, Marcin Hernes, Maciej Bac: Consensus-based trading stra-tegy in A-Trader system 99

Dariusz Rogowski: Computer-aided tool based on Common Criteria related design patterns 112

Bidyut Biman Sarkar, Agostino Cortesi, Nabendu Chaki: Modeling demand forecast variance in a distributed supply chain network using generalized stochastic Petri Nets 129

Jadwiga Sobieska-Karpińska, Marcin Hernes: The n-optimality and incon-sistency of knowledge postulates of consensus determining in decision support systems 153

Mariusz Żytniewski, Andrzej Sołtysik, Radosław Kowal: Creation of software agents’ society from the perspective of implementation companies. The advantages of their use, the problems of construction and unique features 163