95 research outputs found
Representing and Verifying Intentions in Telephony Features Using Abstract Data Types
No full textData Types Bernard Stepien and Luigi Logrippo Telecommunications Software Engineering Research Group Department of Computer Science, University of Ottawa Ottawa, Ont. Canada, K1M 6N5 (bernard | luigi)@csi.uottawa.ca Abstract. Feature intentions describe the intended behavior of telephony features. A method for formally specifying feature intentions by abstract data types is given. Further, a method for detecting violation of certain types of feature intentions at the design stage is provided. Specification languages considered are SDL, Prolog, and LOTOS. If the specification is in LOTOS, detection can be helped by the use of goaloriented execution. Examples of specification and detection are provided, namely involving Originating Call Screening and Call Forwarding. 1. Introduction [CGL94] provide a survey of the many types of feature interactions possible in telecommunications systems, and propose some categorization schemes. In one of these they distinguish among three main cause..
2023 Hollister Lecture
No full textMr. Stepien graduated from Elmhurst College in 1965 and began his career as a middle school social studies teacher. In 1978, he became a program developer and senior author for the K-7 social studies series for the Scott, Foresman Company. When IMSA opened in 1985, he was tapped to plan curriculum, hire faculty, and help with facility design. Joining its faculty, he taught at IMSA for ten years. In 1994, Mr. Stepien became IMSA’s director of the Center for Problem-Based Learning, turning his full attention to research and writing about applications of PBL in elementary and secondary schools. He established the Consortium for Problem-Based Learning at Northern Illinois University in 1997 and became a national consultant in PBL for the Association for Supervision and Curriculum Development (ASCD). Mr. Stepien consulted with more than fifty schools every year, presented at numerous national meetings and conventions, and consulted with organizations such NASA, the Museum of Science and Industry (Chicago), Prime Time School Television, and The Wall Street Journal
An experience modelling telecommunications systems using ODP-DLcomp
No full text. The ODP-DLcomp language is intended to describe systems in the ODP computational model. It is object-oriented, implementation-independent and its formal semantics are based on LOTOS, thus it is a Formal Description Technique. It supports specification of interface and object templates, with appropriate creation and binding operations. An application of the language is demonstrated using the Plain Old Telephone System example. Keywords: Open Distributed Processing, OO Languages, Specification, Telephony 0. Introduction ODP-DLcomp was designed and implemented at GMD-FOKUS by Frank Koch [Koch94]. The first author participated in the group at the time. The motivation behind this new language was to offer a more readable and compact alternative to the LOTOS description of the ODP computational model [Vog93] but also to offer a bridge between Formal Description Techniques and Object Oriented implementation languages. In this paper, we show that ODP-DLcomp includes all the essential conc..
Feature Interaction Detection using Backward Reasoning with LOTOS
No full textThis paper concentrates on the problem of detecting ambiguous actions, which are seen as symptoms of feature interactions. Features are specified in LOTOS, and the specification is analyzed by using backward reasoning [DB78] [Hol85] [Lin 90]
Unknown God, Known in His Activities: Incomprehensibility of God during the Trinitarian Controversy of the 4th Century
No full textUnknown God, Known in His Activities: Incomprehensibility of God during the Trinitarian Controversy of the 4th Century (European Studies in Theology, Philosophy and History of Religions) Tomasz Stepien (Author), Karolina Kochanczyk-Boninska (Author), 2018. What can man know about God? This question became one of the main problems during the 4th-century Trinitarian controversy, which is the focus of this book. Especially during the second phase of the conflict, the claims of Anomean Eunomius ..
Graphic visualization and animation of LOTOS execution traces
No full textAbstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualization and animation of specifications of telephony systems. The use of these tools in software design is discussed briefly
Feature Interaction Detection using Backward Reasoning with LOTOS
No full textThis paper concentrates on the problem of detecting ambiguous actions, which are seen as symptoms of feature interactions. Features are specified in LOTOS, and the specification is analyzed by using backward reasoning [DB78] [Hol85] [Lin 90]
- …
