Visual modeling languages are appealing because “a picture tells more than a thousand words”. The UML is such a visual language and is well known for its graphical notation and diagramming techniques. However, pictures often only tell half of the story and additional information needs to be captured in a different way. For this reason the UML includes the Object Constraint Language (OCL), a tex...

Philosophical problems concerning language are as old the philosophy itself. The works of Frege, Russell and Tarski brought closer to modern logic. Formal methods found in logic together with structural analysis natural languages we owe work Chomsky his school form backbone formal semantics, fertile discipline that has significantly improved our understanding mechanisms on which rest. We will d...

Web service composition is an important reuse way of service resources, through which large scale and complex applications based on Internet can get the newer and more reliable resources among the distributed nodes. An important challenge for web services composition is how to ensure the correctness and reliability of the composition process. CPN(Colored Petri Net)as a formal modeling and verif...

SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method for software development. SOFL integrates modeling techniques from VDM (for specifying system component state) and data flow diagrams with Petri nets (for specifying system behaviours and interaction). To support the s...

Software development process is on the basis of two important steps each of which has to be taken seriously, system requirement analysis and system modeling. There have been many different approaches in the literature that has their own strengths and weaknesses to tackle these two important steps, however, there is none comprehensive approach. Among them, formal methods by using their mathemati...

This paper presents new practical approach to automated formal modeling and validation of quality requirements. It relies on two paramount software industry standards: ISO/IEC 9126 for software quality and XML for formal notation. The xNoFun language allows composing formal quality models not only manually but via requirement management CASE tool IBM Rational RequisitePro. Efficient runtime mod...

The purpose of formal and so called semi-formal approaches to business process modeling is to provide a general technique for the development of workflow based information systems. For this, a concise and repeatable transformation of initial requirements into the final system must be achieved. Moreover, there is also a need for complex models to include justifications that explain the meaning a...

We propose modeling the architecture of web systems using the Specification and Description Language (SDL), which is a formal language. SDL is shown to be quite convenient for modeling features of web systems such as hyperlinks, sending and receiving data, and client-server communication. Hence, it facilitates our understanding of web applications. Further, we describe how to test web systems, ...

In this paper we argue that there is a value in providing a unified view of modeling and programming. Models are meant to describe a system at a high level of abstraction for the purpose of human understanding and analysis. Programs, on the other hand, are meant for execution. However, programming languages are becoming increasingly higher-level, with convenient notation for concepts that in th...

Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. Therefore meta-modelling, i.e....