Organizational Culture Assessment In PTP

Article Sidebar

pdf
Published: Nov 9, 2023
DOI: https://doi.org/10.32834/jsda.v5i2.651

Main Article Content

Muhammad Jaka Baruna
Politeknik STIA LAN Jakarta
Saut Gracer Sijabat
Politeknik STIA LAN Jakarta

Abstract

PTP is a company that deals in human resource management (HR), transportation, logistics, and retail. This company passed through a transformation since 2021 to positively enhance the company's vision, mission, and values. This research aims to ascertain the current organizational culture and employee future expectations. The survey method applied the organizational culture assessment instrument (OCAI). It was aimed at the director, manager, supervisor, and staff, and was comprehensive with a quantitative descriptive approach. Furthermore, the current and expected profile of PTP organizational culture can still be analyzed in the future. The results obtained the differences in organizational culture currently felt by each management position, where the dominant culture is clan. Meanwhile, the expected culture in the future is that of market. This information and typology can be used for company policy-making appropriate to the PTP vision, mission, values, and culture of each position.
Keywords: culture assessment, culture typology, organizational culture, OCAI.

Article Details

Issue
Vol. 5 No. 2 (2023)
Section
Articles

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.

Nugroho, A. A., & Rahayu, N. S. (2020). Transformation of Innovation Values and Culture: Innovation Analysis of Regional Planning System in Special Region of Yogyakarta, Indonesia. International Journal of Innovation, 11(4)

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

Karunia, R. L. (2020). The Influence of Leadership, Organisational Structure, and Organisational Culture on the Company Performance of PT NK TBK. International Journal of Innovation, 11(2).

Silitonga, M. S., Anthonio, G., Heyse, L., & Wittek, R. (2016). Institutional Change and Corruption of Public Leaders: A Social Capital Perspective on Indonesia. In R. L. Holzhacker, R. Wittek, & J. Woltjer (Eds.), Decentralization and Governance in Indonesia (pp. 233–258). Springer International Publishing. https://link.springer.com/10.1007/978-3-319-22434-3_9

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

Karunia, R. L., Darmawansyah, D., Prasetyo, J. H., Triyadi, T., & Ariawan, J. (2023). The effectiveness of career development in mediating the influence of the working environment and training towards the performance of employee. International Journal of Applied Economics, Finance and Accounting, 17(2), 202–210. https://doi.org/10.33094/ijaefa.v17i2.1098

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.

Andrianto, N., Sudjali, I. P., & Karunia, R. L. (2021). Assessing the development of performance audit methodology in the supreme audit institution: The case of Indonesia. Jurnal Tata Kelola Dan Akuntabilitas Keuangan Negara, 19–37. https://doi.org/10.28986/jtaken.v7i1.554.

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