Process Oriented

A Formal language is an abstraction of the general characteristic of programming languages. It is used for system analysis, requirement analysis and system design. It describes the system at much higher level of abstraction than any programming language. Formal language can be categorized into model oriented, algebraic, process oriented, logical, imperative, and hybrid. Although there are several formal methods and languages, this paper emphasized basically on model oriented languages B, VDM, Z and process oriented languages CSP, CCS. Issues like abstraction, ambiguity, consistency, completeness, concurrency, looseness, readability and reusability have proven to be key for articulating this paper. This paper also addresses the scope of B and Event-B modeling along with other related technologies.

One spring day, the two of us were sipping tea together, and comparing notes on our experience in classrooms, first as learners and now as teachers. We were well into another semester of teaching, and our minds were preoccupied with classroom experiences. The challenges and struggles we faced as classroom teachers were being played out against the backdrop of our own schooling experience of oppressiveness, coercion, fear, anxiety, and boredom. There was a tragic atmosphere surrounding the recollection of our own classroom experiences.