The Effectiveness of the Gampong Qanun on the Care and Control of Livestock in Gampong Cot Seurani, Muara Batu District, North Aceh
DOI:
https://doi.org/10.29103/micoms.v3i.178Keywords:
Effectiveness, Gampong Qanun, Livestock, Cot SeuraniAbstract
This paper examines the application of qanuns regarding the maintenance and control of livestock in the village of Cot Seurani, Muara Batu District, North Aceh. Therefore, to understand the application of the qanun, this paper uses the perspective of legal effectiveness. The study of legal effectiveness carried out in this study basically follows Soerjono Soekanto's opinion in which according to him, the benchmark for the study of legal effectiveness boils down to 5 (five) factors, namely: the content of a law, law enforcement, facilities and infrastructure that support law enforcement, society and the culture of the society in which a law is enacted. The interweaving of these five factors becomes a measure of whether a law is effective or not. The research problem answered in this study is how effective the implementation of the qanun is. In this paper, the approach used is a qualitative approach with the socio-legal method. Research data were collected through in-depth interviews, observation, and literature review. The research results show that prior to implementation, the qanun had been disseminated to all village communities through announcements at meetings, banners attached to walls at several village road points, and also through social media groups. Since the enactment of the qanun, it has had a positive impact in accordance with its objectives. Every perpetrator who violates the qanun will be tried in a customary court. Sanctions given in the form of fines and compensation. The response of the village community to the qanun regarding the control of livestock was very good, because they also felt it was important that there were regulations regarding this matter.
References
E.M. Clarke, E.A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, in: D. Kozen (Eds.), Workshop on Logics of Programs, Lecture Notes in Computer Science, vol. 131, Springer, Berlin, Heidelberg, 1981, pp. 52–71. DOI: https://doi.org/10.1007/BFb0025774
J.P. Queille, J. Sifakis, Specification and verification of concurrent systems in CESAR, in: M.
Dezani-Ciancaglini and U. Montanari (Eds.), Proceedings of the 5th International Symposium on Programming, Lecture Notes in Computer Science, vol. 137, Springer, Berlin, Heidelberg, 1982, pp. 337–351. DOI: https://doi.org/10.1007/3-540-11494-7_22
C. Baier, J-P. Katoen, Principles of Model Checking, MIT Press, 2008.
M. Kwiatkowska, G. Norman, D. Parker, Stochastic model checking, in: M. Bernardo, J. Hillston
(Eds.), Proceedings of the Formal Methods for the Design of Computer, Communication and Software Systems:
Performance Evaluation (SFM), Springer, Berlin, Heidelberg, 2007, pp. 220–270. DOI: https://doi.org/10.1007/978-3-540-72522-0_6
V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, Automated verification techniques for probabilistic systems, in: M. Bernardo, V. Issarny (Eds.), Proceedings of the Formal Methods for Eternal Networked Software
Systems (SFM), Springer, Berlin, Heidelberg, 2011, pp. 53–113. DOI: https://doi.org/10.1007/978-3-642-21455-4_3
G.D. Penna, B. Intrigila, I. Melatti, E. Tronci, M.V. Zilli, Bounded probabilistic model checking with the muralpha verifier, in: A.J. Hu, A.K. Martin (Eds.), Proceedings of the Formal Methods in Computer-Aided Design, Springer, Berlin, Heidelberg, 2004, pp. 214–229. DOI: https://doi.org/10.1007/978-3-540-30494-4_16
E. Clarke, O. Grumberg, S. Jha, et al., Counterexample-guided abstraction refinement, in: E.A. Emerson, A.P. Sistla (Eds.), Computer Aided Verification, Springer, Berlin, Heidelberg, 2000, pp. 154–169. DOI: https://doi.org/10.1007/10722167_15
H. Barringer, R. Kuiper, A. Pnueli, Now you may compose temporal logic specifications, in:
Proceedings of the Sixteenth Annual ACM Symposium on the Theory of Computing (STOC), ACM, 1984, pp. 51–63. DOI: https://doi.org/10.1145/800057.808665
A. Pnueli, In transition from global to modular temporal reasoning about programs, in: K.R. Apt (Ed.), Logics and Models of Concurrent Systems, Springer, Berlin, Heidelberg, 1984, pp. 123–144. DOI: https://doi.org/10.1007/978-3-642-82453-1_5
B. Meyer, Applying "Design by Contract", Computer 25(10) (1992) 40–51. DOI: https://doi.org/10.1109/2.161279
S. Bensalem, M. Bogza, A. Legay, T.H. Nguyen, J. Sifakis, R. Yan, Incremental component-based construction and verification using invariants, in: Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Press, Piscataway, NJ, 2010, pp. 257–256.
H. Barringer, C.S. Pasareanu, D. Giannakopolou, Proof rules for automated compositional verification through learning, in Proc. of the 2nd International Workshop on Specification and Verification of Component Based Systems, 2003.
M.G. Bobaru, C.S. Pasareanu, D. Giannakopoulou, Automated assume-guarantee reasoning by abstraction refinement, in: A. Gupta, S. Malik (Eds.), Proceedings of the Computer Aided Verification, Springer,
Berlin, Heidelberg, 2008, pp. 135–148. DOI: https://doi.org/10.1007/978-3-540-70545-1_14
Downloads
Published
Issue
Section
License
Copyright (c) 2022 Fauzah Nur Aksa, T Saifullah, Johan
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
COPYRIGHT NOTICE
Authors retain copyright and grant the journal right of first publication and this work is licensed under a Creative Commons Attribution-ShareAlike 4.0 that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
All articles in this journal may be disseminated by listing valid sources and the title of the article should not be omitted. The content of the article is liable to the author.
Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
In the dissemination of articles, the author must declare https://proceedings.unimal.ac.id/micoms/index as the first party to publish the article.
