Automated Consistency Analysis for Legal Contracts
A Khoja, M Kölbl, S Leue, R Wilhelmi - International Symposium on Model …, 2022 - Springer
Contracts in business life, and in particular company purchase agreements, often comprise
a large number of provisions and are correspondingly long and complex. In practice, it is …
a large number of provisions and are correspondingly long and complex. In practice, it is …
Automaton-Based Data Consistency Detection
X Li, C Wang - 2023 IEEE International Conference on Systems …, 2023 - ieeexplore.ieee.org
Data plays a very important role in documents. Although much effort has been made in data
processing, little research has been done on data consistency. Data inconsistency may lead …
processing, little research has been done on data consistency. Data inconsistency may lead …
Enactable electronic contracts in e-commerce: models, technologies and architectures
A Burunova, A Ponomarev… - 2019 24th Conference of …, 2019 - ieeexplore.ieee.org
In an e-service environment contracts are important for attaining business process
interoperability and enforcing their proper enactment. An e-contract is the computerized …
interoperability and enforcing their proper enactment. An e-contract is the computerized …
[PDF][PDF] 3.14 Meta Aspects of Operational Conceptual Modeling for Complex Evolving Requirements
K Karlapalem - Next Generation Domain Specific … - dagstuhl.sunsite.rwth-aachen.de
The key idea is to question what does the model do? If it is only an understanding artifact
then how to apply the understanding and where. This, we explore the interplay between …
then how to apply the understanding and where. This, we explore the interplay between …