Kullanım Kılavuzu
Neden sadece 3 sonuç görüntüleyebiliyorum?
Sadece üye olan kurumların ağından bağlandığınız da tüm sonuçları görüntüleyebilirsiniz. Üye olmayan kurumlar için kurum yetkililerinin başvurması durumunda 1 aylık ücretsiz deneme sürümü açmaktayız.
Benim olmayan çok sonuç geliyor?
Birçok kaynakça da atıflar "Soyad, İ" olarak gösterildiği için özellikle Soyad ve isminin baş harfi aynı olan akademisyenlerin atıfları zaman zaman karışabilmektedir. Bu sorun tüm dünyadaki atıf dizinlerinin sıkça karşılaştığı bir sorundur.
Sadece ilgili makaleme yapılan atıfları nasıl görebilirim?
Makalenizin ismini arattıktan sonra detaylar kısmına bastığınız anda seçtiğiniz makaleye yapılan atıfları görebilirsiniz.
Kurumsal Referanslarımız SED Quartile İstatistik S.S.S. Kullanım Kılavuzu Bize Ulaşın
Kurumsal Başvuru Dergi Başvurusu
Türkçe English
 Görüntüleme 6
 İndirme 1
Menü
Mendeley
Endnote
On Termination of Transactions over Semantic Document Models
2020
Dergi:  
The Bulletin of Irkutsk State University Series Mathematics
Yazar:  
Özet:

We consider the framework of Document Modeling, which lays the formal basis for representing the document lifecycle in Business Process Management systems. We formulate document models in the scope of the logic-based Semantic Modeling language and study the question whether transactions given by a document model terminate on any input. We show that in general this problem is undecidable and formulate sufficient conditions, which guarantee decidability and tractability of computing effects of transactions.

Anahtar Kelimeler:

0
2020
Dergi:  
The Bulletin of Irkutsk State University Series Mathematics
Yazar:  
Atıf Yapanlar
Bilgi: Bu yayına herhangi bir atıf yapılmamıştır.
Benzer Makaleler
1. Document Modeling: Methodology and Applications
2020


  Detaylar
 PDF Görüntüle
2. Towards Semantic Document Modelling of Business Processes
2019


  Detaylar
 PDF Görüntüle
3. Development of the complex description of business processes in the organization
2016


  Detaylar
 PDF Görüntüle
4. AN ONTOLOGY DESIGN TO REPRESENT ACADEMIC RESEARCHES
2017


  Detaylar
 PDF Görüntüle
5. A coinstitution for abstract behavioral logic
2014


  Detaylar
 PDF Görüntüle
6. Object Theories over List Superstructures
2012


  Detaylar
 PDF Görüntüle
The Bulletin of Irkutsk State University Series Mathematics

Alan :   Fen Bilimleri ve Matematik

Dergi Türü :   Uluslararası

Metrikler
Makale : 601
Atıf : 1
Detaylı İncele
The Bulletin of Irkutsk State University Series Mathematics