بیٹھے تے ساں راہاں مل
یار نہ آیا ساڈے ول
جھوٹے دا سنگ چھڈ دے توں
کچھ تاں کر انصاف دی گل
ایہہ تاں جانے پاک خدا
چنگی اج ہے یا ہے کل
عشقے پاگل کیتا اے
کر کوئی یار اساڈا حل
Fine Arts, shows the aesthetic side of any society and it is very important part of any culture, as its presence expresses the cultural diversity and richness and connects different segments of society. This article throws a light on the fine arts of Makkah society before the Prophet Hood. It is very common among historians and orientalists to accuse the society of Makkah void of any cultural expression apart from its love for poetry, which is not true. The matter of the fact is that this society was fully developed aesthetically despite its nomadic and barren desert life. The cultural expressions of storytelling, poetry, architecture, painting, sculpture making were true and pure to this part of world without any influence from outside world. The tradition of storytelling was an essential element of Makkah cultural life and it was common among the elite of Makkah to have night sittings, where along with drinking, music they used to narrate anecdotes of past. Although the architecture of Makkah people was simple, it was self-sufficient to the needs of the environment. This research paper is an attempt to look into the various forms of Fine Arts of Makkah and how these expressions were deeply embedded in the society.
The assurance of required quality properties is one of the major challenge in Self- Adaptive Systems (SAS). Self-adaptive systems have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment. Research in this field is being held since mid-sixties, and over the last decade the importance of self-adaptivity is being increased. In general a self-adaptive system is much difficult to specify and verify, because of its highly complex internal behavior and especially when time constraints are involved. In the proposed research, Colored Petri Net (CPN) formal language will be used to model self-adaptive multi-agent system. CPN is increasingly used to model self-adaptive complex concurrent systems due to its flexible formal specification and formal verification behavior. CPN is visually more expressive than simple Petri Nets enables diverse modeling approaches and provides a richer framework for such a complex formalism. The specification and verification of internal structure of each self-adaptive agent is being expressed through modal μ-calculus (Mμ). We propose SMACS (Self-adaptive Multi-Agent Concurrent System) framework, that is specifically designed for complex architectures, those contain inter-connected components in a heterogenous way. All agents of SMACS are also known as intelligent agents due to their self-adaptation behavior. The internal structure of SMACS framework is based on MAPE-K feedback loop. Each phase of the feedback loop works as an internal agent known as; Monitor Int-Agent, Analyzer Int-Agent, Planer Int-Agent and Executer Int-Agent. The agents adapt and update their behavior through interaction with the environment by using the decentralized approach. The Liveness, Safeness and Deadlock-freedom properties of self-adaptive agents are being verified through the TAPA model checker. For implementation of SMACS framework, Traffic Monitoring System (TMS) and Smart Computer Lab (SCL) are chosen as case studies. CPN based state space analysis will also be done to verify the behavioral properties of the model. The general objective of the proposed system is to maximize the utility generated over some predetermined time horizon. This research will provide new direction for modeling and verification of concurrent system. The main idea behind this work is to achieve true concurrency of multiple interconnected self-adaptive agents with their dynamic behavior.