Domain Engineering

Bjørner, Dines

doi:10.1007/978-1-84882-736-3_1

Cited by 25 publications

(12 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We can refer to a number of documents which give rather detailed domain models of air traffic [1], container line industry [9] 4 , financial service industry (banks, credit card companies, brokers, traders and securities and commodities exchanges, insurance companies, etc. )…”

Section: Discussionmentioning

confidence: 99%

On Mereologies in Computing Science

Bjørner¹

2010

Reflections on the Work of C.A.R. Hoare

Self Cite

View full text Add to dashboard Cite

In this paper we solve the following problems:• we give a formal model of a large class of mereologies, with simple entities modelled as parts and their relations by connectors; • we show that that class applies to a wide variety of societal infrastructure component domains; • we show that there is a class of CSP channel and process structures that correspond to the class of mereologies where mereology parts become CSP processes and connectors become channels; and where simple entity attributes become process states.We have yet to prove to what extent the models satisfy the axiom systems for mereologies of, for example, [13] and a calculus of individuals [14]. Mereology is the study, knowledge and practice of part-hood relations: of the relations of part to whole and the relations of part to part within a whole. By parts we shall here understand simple entities -of the kind illustrated in this paper. Manifest simple entities of domains are either continuous (fluid, gaseous) or discrete (solid, fixed), and if the latter, then either atomic or composite. It is how the sub-entities of a composite entity are "put together" that "makes up" a mereology of that composite entity -at least such as we shall study the mereology concept. In this paper we shall study some ways of modelling the mereology of composite entities. One way of modelling mereologies is using sorts, observer functions and axioms (McCarthy style), another is using CSP. IFIP WG2.3: A Laudatio and a MemoryThis paper is in honour of Sir Tony Hoare. And the paper is in memory of Douglas Taylor Ross (1929Ross ( -2007. The latter speculated quite a lot about mereologies at many IFIP WG 2.3 meetings; not quite all members and observers understood everything; certainly not I. But I somehow knew it was a relevant issue. I think I now understand what Doug was saying. Here then, in this paper, is my interpretation of Doug's discourses. The former, today's celebrant, has given us many deep, yet simple, hence elegant, concepts. CSP is one of them. Therefore CSP will be applied, at the end of the paper, to express mereologies. IFIP WG 2.3 meetings in my days certainly weren't boring. I think that today I present a simple explanation of what then appeared as a not so simple concept. And I think that I can relate it to CSP.

show abstract

Section: Discussionmentioning

confidence: 99%

On Mereologies in Computing Science

Bjørner¹

2010

Reflections on the Work of C.A.R. Hoare

Self Cite

View full text Add to dashboard Cite

show abstract

“…Before requirements can be expressed we must understand the domain" (Bjorner, 2010) this adapted version of Bjorner's introduction to 'Domain Engineering' is simple, yet it reflects that basic idea behind this modeling approach. From our literature and surveys it was found that the domain of SME has special rules and requirements.…”

Section: Domain Specific Engineeringmentioning

confidence: 99%

“…We see domain specific engineering as a method, which could help to adapt existing frameworks towards meeting 3 Journal of Innovation Management in Small & Medium Enterprises the needs and requirements of SMEs. Consequently, we must first establish precise descriptions of a domain; then, from these descriptions, we "derive" the domain's requirements; and from those we can model the appropriate processes and design the tools to support entities of this domain (Bjorner, 2010).…”

Section: Domain Specific Engineeringmentioning

confidence: 99%

IT Service Management for Small and Medium-Sized Enterprises: A Domain Specific Approach

Vogt¹,

Küller²,

Hertweck³

et al. 2012

JIMSME

View full text Add to dashboard Cite

Micro, small and medium-sized enterprises (SME) are socially and economically important, since they represent 99 % of all enterprises in the European Union (EU). They provide around 65 million jobs and contribute to entrepreneurship and innovation. Being an essential ingredient of presentday business, information technology (IT) on one hand works as an enabler for company's success but on the other, it is a source of many threats. This implies the need for an effective and efficient management of IT function within the organization. Over the past years, big corporations together with academia have elaborated a set of good practices, known in the literature as 'IT services methodology (ITSM) or ITSM frameworks. Due to their scope and complexity, these frameworks are not sufficiently tailored for SMEs needs. Effective and efficient management of IT function within SMEs requires the elaboration of more appropriate ITSM framework. The research project presented in this paper is aimed at closing this gap and fostering the utilization of IT Service Management in SMEs by means of a customized ITSM method. The research methodology is based on the three fundamental pillars: quantitative analysis, qualitative research and triangulation. Data gathered from160 surveys and 24 case studies conducted in SMEs across Central Europe have been analyzed in order to identify relevant barriers and requirements for ITSM application in the domain of SME. Based on these findings, a simplified ITSM method was developed and a BPM tool was also customized to support an effective and efficient use of the method.

show abstract

“…Our work has been inspired by Dines Bjørner's TripTych dogma and formal techniques for software development described in [Bjø06a,Bjø06b,Bjø06c,Bjø03a,Bjø06d,Bjø07].…”

Section: Related Workmentioning

confidence: 99%

A formal approach for the construction and verification of railway control systems

2011

View full text Add to dashboard Cite

This paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific language. This description is automatically transformed into an executable control system model expressed in SystemC. This model is then compiled into object code. Verification is performed using three main methods applied to different levels. (0) The domain-specific description is validated wrt. internal consistency by static analysis. (1) The crucial safety properties are verified for the SystemC model by means of bounded model checking. (2) The object code is verified to be I/O behaviourally equivalent to the SystemC model from which it was compiled.

show abstract

Domain Engineering

Cited by 25 publications

References 31 publications

On Mereologies in Computing Science

On Mereologies in Computing Science

IT Service Management for Small and Medium-Sized Enterprises: A Domain Specific Approach

A formal approach for the construction and verification of railway control systems

Contact Info

Product

Resources

About